MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Schmidt, Renate A.
Tishkovsky, Dmitry		dblp
dblp
Not MPG Author(s):
Schmidt, Renate A.
Tishkovsky, Dmitry
Editor(s):
Flesca, Sergio
Greco, Sergio
Leone, Nicola
Ianni, Giovambattista		dblp
dblp
dblp
dblp
Not MPII Editor(s):
Flesca, Sergio
Greco, Sergio
Leone, Nicola
Ianni, Giovambattista
BibTeX cite key*:
SchmidtTishkovsky02c
Title, Booktitle
Title*:
Multi-Agent Logic of Dynamic Belief and Knowledge
Booktitle*:
Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Cosenza, Italy
Language:
English
Event Date*
(no longer used):
-- September 2002
Organization:
Event Start Date:
23 September 2002
Event End Date:
26 September 2002
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
2424
Number:
Month:
Pages:
38-49
Year*:
2002
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
This paper proposes a family of logics for reasoning about the
dynamic activities and informational attitudes, i.e.\ the beliefs
and knowledge, of agents.
The logics are based
on a new formalisations and semantics
of the test operator of
propositional dynamic logic
and a representation of actions which
distinguishes abstract actions from concrete actions.
The new test operator, called informational test,
can be used to formalise the beliefs and knowledge of particular agents
as dynamic modalities.
This approach is consistent
with the formalisation
of the agents' beliefs and knowledge
as K(D)45 and S5 modalities.
Properties concerning the preservation of informativeness,
truthfulness and belief
are proved for a derivative of the informational test operator.
It is shown that common belief and common knowledge
can be expressed in these logics.
As a consequence,
these logics are more expressive
than propositional dynamic logic with
an extra modality for belief or knowledge.
However, the logics are still decidable and in 2EXPTIME.
Versions of the considered logics express natural additional properties
of beliefs or knowledge and interaction of beliefs or knowledge with
actions.
A simulation of PDL is constructed in one of these extensions.
URL for the Abstract:
http://www.cs.man.ac.uk/~schmidt/publications/SchmidtTishkovsky02c.html
Keywords:
agent systems, deductive systems, decidability
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:



BibTeX Entry:
@INPROCEEDINGS{SchmidtTishkovsky02c,
AUTHOR = {Schmidt, Renate A. and Tishkovsky, Dmitry},
 EDITOR = {Flesca, Sergio and Greco, Sergio and Leone, Nicola and Ianni, Giovambattista},
 TITLE = {Multi-Agent Logic of Dynamic Belief and Knowledge},
 BOOKTITLE = {Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)},
 PUBLISHER = {Springer},
 YEAR = {2002},
 VOLUME = {2424},
 PAGES = {38--49},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Cosenza, Italy},
}

Entry last modified by Christine Kiesel, 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)
Renate A. Schmidt		Created
02/03/2003 06:40:18 PM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
01.09.2003 17:26:20
01.09.2003 16:50:33
12.08.2003 17:45:05
01.08.2003 15:49:54
29.07.2003 18:28:27