Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








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

BibTeX cite key*:

Hustadt95b

Title, Booktitle

Title*:

Introducing Epistemic Operators into a Description Logic

Booktitle*:

Knowledge and Belief in Philosophie and Artificial Intelligence

Chapter:


Series:

Logica Nova

Language:

English

Publisher

Name*:

Akademie Verlag
URL:


Address*:

Berlin, Germany
Publication Type:


Vol, No, pp., Year

Volume:


Number:


Edition:


Pages*:

65-85

Month:


VG Wort Pages:


ISBN:

3-05-002791-6
Year*:

1995

Abstract, Links, ©

Note:


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.

URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@INBOOK{Hustadt95b,
AUTHOR = {Hustadt, Ullrich},
 EDITOR = {Laux, Arnim and Wansing, Heinrich},
 TITLE = {Introducing Epistemic Operators into a Description Logic},
 BOOKTITLE = {Knowledge and Belief in Philosophie and Artificial Intelligence},
 PUBLISHER = {Akademie Verlag},
 YEAR = {1995},
 PAGES = {65--85},
 SERIES = {Logica Nova},
 ADDRESS = {Berlin, Germany},
 ISBN = {3-05-002791-6},
}

Entry last modified by Ullrich Hustadt, 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
01/14/1995 06:53:16 PM
Revisions
18.
17.
16.
15.
14.		Editor(s)
Ullrich Hustadt
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
24/04/97 12:23:19
14/04/96 21:55:37
14/04/96 21:50:02
14/04/96 21:46:07
03/27/96 06:35:24 PM