Event calculus and temporal action logics compared
We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignme...
Gespeichert in:
| Veröffentlicht in: | Artificial intelligence 2006-08, Vol.170 (11), p.1017-1029 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1029 |
|---|---|
| container_issue | 11 |
| container_start_page | 1017 |
| container_title | Artificial intelligence |
| container_volume | 170 |
| creator | Mueller, Erik T. |
| description | We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent, then the formalisms are not equivalent. We argue that equivalence cannot be restored by using more general TAL action type specifications. We prove however that, if the formalisms are further restricted to single-step actions, then they are logically equivalent. |
| doi_str_mv | 10.1016/j.artint.2006.05.001 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_57678219</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0004370206000567</els_id><sourcerecordid>28674282</sourcerecordid><originalsourceid>FETCH-LOGICAL-c444t-8c27b481081451bed98a14064b73d13f9d671457d17db3614b5a801abf0de83a3</originalsourceid><addsrcrecordid>eNqFkE1LxDAQhoMouK7-Aw-96K11Jk2T9CLIsn7Aghc9hzRJJUu_TNoF_71dKnjT0zDM884MDyHXCBkC8rt9psPouzGjADyDIgPAE7JCKWgqSoqnZAUALM0F0HNyEeN-bvOyxBWh24PrxsToxkzNFBPd2WR07dAH3STajL7vkqb_8CYmpm8HHZy9JGe1bqK7-qlr8v64fds8p7vXp5fNwy41jLExlYaKikkEiazAytlSamTAWSVyi3ldWi7mibAobJVzZFWhJaCuarBO5jpfk9tl7xD6z8nFUbU-Gtc0unP9FFUhuJAUy39BKrlgVNIZZAtoQh9jcLUagm91-FII6mhS7dViUh1NKijUbHKO3fzs13EWVQfdGR9_s6LkNOfHP-4Xzs1WDt4FFY13nXHWB2dGZXv_96Fv8-2J0A</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>28674282</pqid></control><display><type>article</type><title>Event calculus and temporal action logics compared</title><source>Elsevier ScienceDirect Journals</source><source>EZB Electronic Journals Library</source><creator>Mueller, Erik T.</creator><creatorcontrib>Mueller, Erik T.</creatorcontrib><description>We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent, then the formalisms are not equivalent. We argue that equivalence cannot be restored by using more general TAL action type specifications. We prove however that, if the formalisms are further restricted to single-step actions, then they are logically equivalent.</description><identifier>ISSN: 0004-3702</identifier><identifier>EISSN: 1872-7921</identifier><identifier>DOI: 10.1016/j.artint.2006.05.001</identifier><identifier>CODEN: AINTBB</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Applied sciences ; Artificial intelligence ; Commonsense reasoning ; Computer science; control theory; systems ; Connectionism. Neural networks ; Event calculus ; Exact sciences and technology ; Reasoning about action and change ; Temporal action logics (TAL)</subject><ispartof>Artificial intelligence, 2006-08, Vol.170 (11), p.1017-1029</ispartof><rights>2006 Elsevier B.V.</rights><rights>2006 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c444t-8c27b481081451bed98a14064b73d13f9d671457d17db3614b5a801abf0de83a3</citedby><cites>FETCH-LOGICAL-c444t-8c27b481081451bed98a14064b73d13f9d671457d17db3614b5a801abf0de83a3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.sciencedirect.com/science/article/pii/S0004370206000567$$EHTML$$P50$$Gelsevier$$Hfree_for_read</linktohtml><link.rule.ids>314,776,780,3536,27903,27904,65309</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17962369$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Mueller, Erik T.</creatorcontrib><title>Event calculus and temporal action logics compared</title><title>Artificial intelligence</title><description>We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent, then the formalisms are not equivalent. We argue that equivalence cannot be restored by using more general TAL action type specifications. We prove however that, if the formalisms are further restricted to single-step actions, then they are logically equivalent.</description><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Commonsense reasoning</subject><subject>Computer science; control theory; systems</subject><subject>Connectionism. Neural networks</subject><subject>Event calculus</subject><subject>Exact sciences and technology</subject><subject>Reasoning about action and change</subject><subject>Temporal action logics (TAL)</subject><issn>0004-3702</issn><issn>1872-7921</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2006</creationdate><recordtype>article</recordtype><recordid>eNqFkE1LxDAQhoMouK7-Aw-96K11Jk2T9CLIsn7Aghc9hzRJJUu_TNoF_71dKnjT0zDM884MDyHXCBkC8rt9psPouzGjADyDIgPAE7JCKWgqSoqnZAUALM0F0HNyEeN-bvOyxBWh24PrxsToxkzNFBPd2WR07dAH3STajL7vkqb_8CYmpm8HHZy9JGe1bqK7-qlr8v64fds8p7vXp5fNwy41jLExlYaKikkEiazAytlSamTAWSVyi3ldWi7mibAobJVzZFWhJaCuarBO5jpfk9tl7xD6z8nFUbU-Gtc0unP9FFUhuJAUy39BKrlgVNIZZAtoQh9jcLUagm91-FII6mhS7dViUh1NKijUbHKO3fzs13EWVQfdGR9_s6LkNOfHP-4Xzs1WDt4FFY13nXHWB2dGZXv_96Fv8-2J0A</recordid><startdate>20060801</startdate><enddate>20060801</enddate><creator>Mueller, Erik T.</creator><general>Elsevier B.V</general><general>Elsevier</general><scope>6I.</scope><scope>AAFTH</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>E3H</scope><scope>F2A</scope></search><sort><creationdate>20060801</creationdate><title>Event calculus and temporal action logics compared</title><author>Mueller, Erik T.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c444t-8c27b481081451bed98a14064b73d13f9d671457d17db3614b5a801abf0de83a3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Commonsense reasoning</topic><topic>Computer science; control theory; systems</topic><topic>Connectionism. Neural networks</topic><topic>Event calculus</topic><topic>Exact sciences and technology</topic><topic>Reasoning about action and change</topic><topic>Temporal action logics (TAL)</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Mueller, Erik T.</creatorcontrib><collection>ScienceDirect Open Access Titles</collection><collection>Elsevier:ScienceDirect:Open Access</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Library & Information Sciences Abstracts (LISA)</collection><collection>Library & Information Science Abstracts (LISA)</collection><jtitle>Artificial intelligence</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mueller, Erik T.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Event calculus and temporal action logics compared</atitle><jtitle>Artificial intelligence</jtitle><date>2006-08-01</date><risdate>2006</risdate><volume>170</volume><issue>11</issue><spage>1017</spage><epage>1029</epage><pages>1017-1029</pages><issn>0004-3702</issn><eissn>1872-7921</eissn><coden>AINTBB</coden><abstract>We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent, then the formalisms are not equivalent. We argue that equivalence cannot be restored by using more general TAL action type specifications. We prove however that, if the formalisms are further restricted to single-step actions, then they are logically equivalent.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/j.artint.2006.05.001</doi><tpages>13</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0004-3702 |
| ispartof | Artificial intelligence, 2006-08, Vol.170 (11), p.1017-1029 |
| issn | 0004-3702 1872-7921 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_57678219 |
| source | Elsevier ScienceDirect Journals; EZB Electronic Journals Library |
| subjects | Applied sciences Artificial intelligence Commonsense reasoning Computer science control theory systems Connectionism. Neural networks Event calculus Exact sciences and technology Reasoning about action and change Temporal action logics (TAL) |
| title | Event calculus and temporal action logics compared |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T18%3A57%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Event%20calculus%20and%20temporal%20action%20logics%20compared&rft.jtitle=Artificial%20intelligence&rft.au=Mueller,%20Erik%20T.&rft.date=2006-08-01&rft.volume=170&rft.issue=11&rft.spage=1017&rft.epage=1029&rft.pages=1017-1029&rft.issn=0004-3702&rft.eissn=1872-7921&rft.coden=AINTBB&rft_id=info:doi/10.1016/j.artint.2006.05.001&rft_dat=%3Cproquest_cross%3E28674282%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=28674282&rft_id=info:pmid/&rft_els_id=S0004370206000567&rfr_iscdi=true |