Agents that look at one another

Agents that look at one another

Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means of runs and clock time functions, one of the things that strikes one when studying multiagent logics is how abstract their semantics are. Contrasting this fact is the fact that real agents l...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logic journal of the IGPL 2013-06, Vol.21 (3), p.438-467
Hauptverfasser: Balbiani, P., Gasquet, O., Schwarzentruber, F.
Format: Artikel
Sprache:eng
Schlagworte:
Artificial Intelligence
Computation and Language
Computer Science
Logic in Computer Science
Machine Learning
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 467
container_issue 3
container_start_page 438
container_title Logic journal of the IGPL
container_volume 21
creator Balbiani, P.
Gasquet, O.
Schwarzentruber, F.
description Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means of runs and clock time functions, one of the things that strikes one when studying multiagent logics is how abstract their semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual characters in video games have strong links with their spatial environment. In this article, we introduce multiagent logics which semantics can be defined by means of purely geometrical notions: possible states are defined by means of the positions in ℝn occupied by agents and the sections of ℝn seen by agents whereas accessibility relations are defined by means of the ability of agents to imagine possible states compatible with what they currently see.
doi_str_mv 10.1093/jigpal/jzs052
format Article
fullrecord <record><control><sourceid>hal_cross</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_01138505v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>oai_HAL_hal_01138505v1</sourcerecordid><originalsourceid>FETCH-LOGICAL-c310t-8f9352c894e5f018f40fbd3fe39ee84f180a43de7743b2de1e3fd84d662c54143</originalsourceid><addsrcrecordid>eNo9kEFLw0AQhRdRsFaPns3Vw9qZzG6yOYairRDwoudlm8w2iTEp2SDor7c14uk9hvfewCfELcIDQkarttkfXLdqvwPo-EwskBIjM5Op81-fSkg1XoqrEFoAUCbWC3GX77mfQjTVboq6YXiPjjr0HLl-mGoer8WFd13gmz9direnx9f1VhYvm-d1XsiSECZpfEY6Lo-_WHtA4xX4XUWeKWM2yqMBp6jiNFW0iytGJl8ZVSVJXGqFipbift6tXWcPY_Phxi87uMZu88KeboBIRoP-xGNWztlyHEIY2f8XEOyJhJ1J2JkE_QBkTFF_</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Agents that look at one another</title><source>EBSCOhost Business Source Complete</source><source>Oxford Journals</source><creator>Balbiani, P. ; Gasquet, O. ; Schwarzentruber, F.</creator><creatorcontrib>Balbiani, P. ; Gasquet, O. ; Schwarzentruber, F.</creatorcontrib><description>Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means of runs and clock time functions, one of the things that strikes one when studying multiagent logics is how abstract their semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual characters in video games have strong links with their spatial environment. In this article, we introduce multiagent logics which semantics can be defined by means of purely geometrical notions: possible states are defined by means of the positions in ℝn occupied by agents and the sections of ℝn seen by agents whereas accessibility relations are defined by means of the ability of agents to imagine possible states compatible with what they currently see.</description><identifier>ISSN: 1367-0751</identifier><identifier>EISSN: 1368-9894</identifier><identifier>DOI: 10.1093/jigpal/jzs052</identifier><language>eng</language><publisher>Oxford University Press (OUP)</publisher><subject>Artificial Intelligence ; Computation and Language ; Computer Science ; Logic in Computer Science ; Machine Learning</subject><ispartof>Logic journal of the IGPL, 2013-06, Vol.21 (3), p.438-467</ispartof><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c310t-8f9352c894e5f018f40fbd3fe39ee84f180a43de7743b2de1e3fd84d662c54143</citedby><cites>FETCH-LOGICAL-c310t-8f9352c894e5f018f40fbd3fe39ee84f180a43de7743b2de1e3fd84d662c54143</cites><orcidid>0000-0002-3569-9160 ; 0000-0002-1228-4333</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,314,780,784,885,27924,27925</link.rule.ids><backlink>$$Uhttps://hal.science/hal-01138505$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Balbiani, P.</creatorcontrib><creatorcontrib>Gasquet, O.</creatorcontrib><creatorcontrib>Schwarzentruber, F.</creatorcontrib><title>Agents that look at one another</title><title>Logic journal of the IGPL</title><description>Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means of runs and clock time functions, one of the things that strikes one when studying multiagent logics is how abstract their semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual characters in video games have strong links with their spatial environment. In this article, we introduce multiagent logics which semantics can be defined by means of purely geometrical notions: possible states are defined by means of the positions in ℝn occupied by agents and the sections of ℝn seen by agents whereas accessibility relations are defined by means of the ability of agents to imagine possible states compatible with what they currently see.</description><subject>Artificial Intelligence</subject><subject>Computation and Language</subject><subject>Computer Science</subject><subject>Logic in Computer Science</subject><subject>Machine Learning</subject><issn>1367-0751</issn><issn>1368-9894</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><recordid>eNo9kEFLw0AQhRdRsFaPns3Vw9qZzG6yOYairRDwoudlm8w2iTEp2SDor7c14uk9hvfewCfELcIDQkarttkfXLdqvwPo-EwskBIjM5Op81-fSkg1XoqrEFoAUCbWC3GX77mfQjTVboq6YXiPjjr0HLl-mGoer8WFd13gmz9direnx9f1VhYvm-d1XsiSECZpfEY6Lo-_WHtA4xX4XUWeKWM2yqMBp6jiNFW0iytGJl8ZVSVJXGqFipbift6tXWcPY_Phxi87uMZu88KeboBIRoP-xGNWztlyHEIY2f8XEOyJhJ1J2JkE_QBkTFF_</recordid><startdate>20130601</startdate><enddate>20130601</enddate><creator>Balbiani, P.</creator><creator>Gasquet, O.</creator><creator>Schwarzentruber, F.</creator><general>Oxford University Press (OUP)</general><scope>AAYXX</scope><scope>CITATION</scope><scope>1XC</scope><scope>VOOES</scope><orcidid>https://orcid.org/0000-0002-3569-9160</orcidid><orcidid>https://orcid.org/0000-0002-1228-4333</orcidid></search><sort><creationdate>20130601</creationdate><title>Agents that look at one another</title><author>Balbiani, P. ; Gasquet, O. ; Schwarzentruber, F.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c310t-8f9352c894e5f018f40fbd3fe39ee84f180a43de7743b2de1e3fd84d662c54143</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Artificial Intelligence</topic><topic>Computation and Language</topic><topic>Computer Science</topic><topic>Logic in Computer Science</topic><topic>Machine Learning</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Balbiani, P.</creatorcontrib><creatorcontrib>Gasquet, O.</creatorcontrib><creatorcontrib>Schwarzentruber, F.</creatorcontrib><collection>CrossRef</collection><collection>Hyper Article en Ligne (HAL)</collection><collection>Hyper Article en Ligne (HAL) (Open Access)</collection><jtitle>Logic journal of the IGPL</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Balbiani, P.</au><au>Gasquet, O.</au><au>Schwarzentruber, F.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Agents that look at one another</atitle><jtitle>Logic journal of the IGPL</jtitle><date>2013-06-01</date><risdate>2013</risdate><volume>21</volume><issue>3</issue><spage>438</spage><epage>467</epage><pages>438-467</pages><issn>1367-0751</issn><eissn>1368-9894</eissn><abstract>Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means of runs and clock time functions, one of the things that strikes one when studying multiagent logics is how abstract their semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual characters in video games have strong links with their spatial environment. In this article, we introduce multiagent logics which semantics can be defined by means of purely geometrical notions: possible states are defined by means of the positions in ℝn occupied by agents and the sections of ℝn seen by agents whereas accessibility relations are defined by means of the ability of agents to imagine possible states compatible with what they currently see.</abstract><pub>Oxford University Press (OUP)</pub><doi>10.1093/jigpal/jzs052</doi><tpages>30</tpages><orcidid>https://orcid.org/0000-0002-3569-9160</orcidid><orcidid>https://orcid.org/0000-0002-1228-4333</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 1367-0751
ispartof Logic journal of the IGPL, 2013-06, Vol.21 (3), p.438-467
issn 1367-0751
1368-9894
language eng
recordid cdi_hal_primary_oai_HAL_hal_01138505v1
source EBSCOhost Business Source Complete; Oxford Journals
subjects Artificial Intelligence
Computation and Language
Computer Science
Logic in Computer Science
Machine Learning
title Agents that look at one another
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-07T18%3A27%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Agents%20that%20look%20at%20one%20another&rft.jtitle=Logic%20journal%20of%20the%20IGPL&rft.au=Balbiani,%20P.&rft.date=2013-06-01&rft.volume=21&rft.issue=3&rft.spage=438&rft.epage=467&rft.pages=438-467&rft.issn=1367-0751&rft.eissn=1368-9894&rft_id=info:doi/10.1093/jigpal/jzs052&rft_dat=%3Chal_cross%3Eoai_HAL_hal_01138505v1%3C/hal_cross%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