LEARNING OF OPERATOR FOR PLANNING PROBLEM

LEARNING OF OPERATOR FOR PLANNING PROBLEM

A method for inferring an operator including a precondition and an effect of the operator for a planning problem is disclosed. In the method, a set of examples, each of which includes a base state, an action and a next state after performing the action in the base state is prepared. In the method, v...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: AGRAVANTE, DON JOVEN RAVOY, Tatsubori, Michiaki, SAUTIER, CORENTIN JACQUES ANDRE
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
COMPUTING
COUNTING
HANDLING RECORD CARRIERS
PHYSICS
PRESENTATION OF DATA
RECOGNITION OF DATA
RECORD CARRIERS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator AGRAVANTE, DON JOVEN RAVOY
Tatsubori, Michiaki
SAUTIER, CORENTIN JACQUES ANDRE
description A method for inferring an operator including a precondition and an effect of the operator for a planning problem is disclosed. In the method, a set of examples, each of which includes a base state, an action and a next state after performing the action in the base state is prepared. In the method, variable lifting is performed in relation to the set of examples. In the method, a validity label is computed for each example in the set of examples. In the method, a model is trained by using the set of examples with the validity label so that the model is configured to receive an input state and a representation of an input action and output at least validity of the input action for the input state. In the method, the precondition of the operator based on the model and the effect of the operator are outputted.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2022309383A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2022309383A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2022309383A13</originalsourceid><addsrcrecordid>eNrjZND0cXUM8vP0c1fwd1PwD3ANcgzxD1JwA-IAH0c_sERAkL-Tj6svDwNrWmJOcSovlOZmUHZzDXH20E0tyI9PLS5ITE7NSy2JDw02MjAyMjawNLYwdjQ0Jk4VALkFJUQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>LEARNING OF OPERATOR FOR PLANNING PROBLEM</title><source>esp@cenet</source><creator>AGRAVANTE, DON JOVEN RAVOY ; Tatsubori, Michiaki ; SAUTIER, CORENTIN JACQUES ANDRE</creator><creatorcontrib>AGRAVANTE, DON JOVEN RAVOY ; Tatsubori, Michiaki ; SAUTIER, CORENTIN JACQUES ANDRE</creatorcontrib><description>A method for inferring an operator including a precondition and an effect of the operator for a planning problem is disclosed. In the method, a set of examples, each of which includes a base state, an action and a next state after performing the action in the base state is prepared. In the method, variable lifting is performed in relation to the set of examples. In the method, a validity label is computed for each example in the set of examples. In the method, a model is trained by using the set of examples with the validity label so that the model is configured to receive an input state and a representation of an input action and output at least validity of the input action for the input state. In the method, the precondition of the operator based on the model and the effect of the operator are outputted.</description><language>eng</language><subject>CALCULATING ; COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS ; COMPUTING ; COUNTING ; HANDLING RECORD CARRIERS ; PHYSICS ; PRESENTATION OF DATA ; RECOGNITION OF DATA ; RECORD CARRIERS</subject><creationdate>2022</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20220929&amp;DB=EPODOC&amp;CC=US&amp;NR=2022309383A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25563,76318</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20220929&amp;DB=EPODOC&amp;CC=US&amp;NR=2022309383A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>AGRAVANTE, DON JOVEN RAVOY</creatorcontrib><creatorcontrib>Tatsubori, Michiaki</creatorcontrib><creatorcontrib>SAUTIER, CORENTIN JACQUES ANDRE</creatorcontrib><title>LEARNING OF OPERATOR FOR PLANNING PROBLEM</title><description>A method for inferring an operator including a precondition and an effect of the operator for a planning problem is disclosed. In the method, a set of examples, each of which includes a base state, an action and a next state after performing the action in the base state is prepared. In the method, variable lifting is performed in relation to the set of examples. In the method, a validity label is computed for each example in the set of examples. In the method, a model is trained by using the set of examples with the validity label so that the model is configured to receive an input state and a representation of an input action and output at least validity of the input action for the input state. In the method, the precondition of the operator based on the model and the effect of the operator are outputted.</description><subject>CALCULATING</subject><subject>COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>HANDLING RECORD CARRIERS</subject><subject>PHYSICS</subject><subject>PRESENTATION OF DATA</subject><subject>RECOGNITION OF DATA</subject><subject>RECORD CARRIERS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2022</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZND0cXUM8vP0c1fwd1PwD3ANcgzxD1JwA-IAH0c_sERAkL-Tj6svDwNrWmJOcSovlOZmUHZzDXH20E0tyI9PLS5ITE7NSy2JDw02MjAyMjawNLYwdjQ0Jk4VALkFJUQ</recordid><startdate>20220929</startdate><enddate>20220929</enddate><creator>AGRAVANTE, DON JOVEN RAVOY</creator><creator>Tatsubori, Michiaki</creator><creator>SAUTIER, CORENTIN JACQUES ANDRE</creator><scope>EVB</scope></search><sort><creationdate>20220929</creationdate><title>LEARNING OF OPERATOR FOR PLANNING PROBLEM</title><author>AGRAVANTE, DON JOVEN RAVOY ; Tatsubori, Michiaki ; SAUTIER, CORENTIN JACQUES ANDRE</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2022309383A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2022</creationdate><topic>CALCULATING</topic><topic>COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>HANDLING RECORD CARRIERS</topic><topic>PHYSICS</topic><topic>PRESENTATION OF DATA</topic><topic>RECOGNITION OF DATA</topic><topic>RECORD CARRIERS</topic><toplevel>online_resources</toplevel><creatorcontrib>AGRAVANTE, DON JOVEN RAVOY</creatorcontrib><creatorcontrib>Tatsubori, Michiaki</creatorcontrib><creatorcontrib>SAUTIER, CORENTIN JACQUES ANDRE</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>AGRAVANTE, DON JOVEN RAVOY</au><au>Tatsubori, Michiaki</au><au>SAUTIER, CORENTIN JACQUES ANDRE</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>LEARNING OF OPERATOR FOR PLANNING PROBLEM</title><date>2022-09-29</date><risdate>2022</risdate><abstract>A method for inferring an operator including a precondition and an effect of the operator for a planning problem is disclosed. In the method, a set of examples, each of which includes a base state, an action and a next state after performing the action in the base state is prepared. In the method, variable lifting is performed in relation to the set of examples. In the method, a validity label is computed for each example in the set of examples. In the method, a model is trained by using the set of examples with the validity label so that the model is configured to receive an input state and a representation of an input action and output at least validity of the input action for the input state. In the method, the precondition of the operator based on the model and the effect of the operator are outputted.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2022309383A1
source esp@cenet
subjects CALCULATING
COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
COMPUTING
COUNTING
HANDLING RECORD CARRIERS
PHYSICS
PRESENTATION OF DATA
RECOGNITION OF DATA
RECORD CARRIERS
title LEARNING OF OPERATOR FOR PLANNING PROBLEM
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T23%3A13%3A49IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=AGRAVANTE,%20DON%20JOVEN%20RAVOY&rft.date=2022-09-29&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2022309383A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true