MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Hustadt, Ullrichdblp
Editor(s):
Laux, Arnim
Wansing, Heinrich		dblp
dblp
BibTeX cite key*:
Hustadt94b
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
Conference URL::
Downloading URL:
Event Address*:
Saarbrücken, Germany
Language:
English
Event Date*
(no longer used):
September 20-21, 1994
Organization:
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:

URL:
Address*:
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
Year*:
1994
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
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:
@INPROCEEDINGS{Hustadt94b,
AUTHOR = {Hustadt, Ullrich},
 EDITOR = {Laux, Arnim and Wansing, Heinrich},
 TITLE = {Common and Mutual Belief for Agent Modeling},
 BOOKTITLE = {Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94)},
 YEAR = {1994},
 NOTE = {To appear in `Knowledge and Belief in Philosophy and
Artificial Intelligence', Akademie-Verlag, Berlin, 1995},
}

Entry last modified by Ullrich Hustadt/AG2/MPII/DE, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
02/29/1996 04:08:01 PM
Revisions
6.
5.
4.
3.
2.		Editor(s)
Ullrich Hustadt/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE		Edit Dates
02/29/96 04:06:44 PM
24/02/95 11:36:28
20/02/95 11:25:09
20/02/95 10:35:43
02/02/95 13:29:31