Proceedings Article, Paper @InProceedings Beitrag in Tagungsband, Workshop

 Show entries of: this year (2019) | last year (2018) | two years ago (2017) | Notes URL
 Action: login to update Options: Goto entry point

 Author, Editor
 Editor(s): Laux, Arnim Wansing, Heinrich dblp dblp

 Title, Booktitle
 Title*: Common and Mutual Belief for Agent Modeling Booktitle*: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94)

 Event, URLs
 URL of the conference: URL for downloading the paper: Event Address*: Saarbrücken, Germany Language: English Event Date* (no longer used): September 20-21, 1994 Organization: Event Start Date: 21 September 2019 Event End Date: 21 September 2019

 Publisher

 Vol, No, Year, pp.
 Series:
 Volume: Number: Month: Pages: Year*: 1994 VG Wort Pages: ISBN/ISSN: Sequence Number: DOI:

 Note: To appear in Knowledge and Belief in Philosophy and Artificial Intelligence', Akademie-Verlag, Berlin, 1995 (LaTeX) Abstract: We want to consider a dialog situation between a system and a heterogeneous group of dialog partners. Our problem is to find adequate representational means for describing the beliefs, goals, and plans of each agent. We assume that we can provide a sufficiently detailed description of the knowledge base of the system, but we don't have complete descriptions of the knowledge bases of all other participating agents. In this paper I propose an approach which is in line with the {\em modal logic approach\/} of Allgayer, Ohlbach, and Reddig (1992). The basic idea is to enhance a decidable fragment of first-order logic with modal operators for modeling the notions of belief, knowledge, and desires. To provide the initial knowledge base for agents, we support mutual and group beliefs, knowledge, and desires. Download Access Level:

 Correlation
 MPG Unit: Max-Planck-Institut für Informatik MPG Subunit: Programming Logics Group Audience: experts only Appearance: working group publication list

BibTeX Entry: