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:








Author, Editor

Author(s):

Hustadt, Ullrich

dblp



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

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:

15 December 2019

Event End Date:

15 December 2019

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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