Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf


Show entries of:

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

Action:

login to update
Options:









Author, Editor
Author(s):
Schmidt, Renate A.
Tishkovsky, Dmitry		dblp
dblp

BibTeX citekey*:

SchmidtTishkovsky02e

Title, Booktitle

Title*:

Multi-Agent Logic of Dynamic Belief and Knowledge

Vol, No, pp., Year

Month:

May
Year:

2003

Language:

English
Pages:

34

Abstract, Links, ©

Note:

Submitted for publication.

LaTeX Abstract:

This paper investigates a family of logics for reasoning about the
dynamic activities and informational attitudes of agents,
namely the agents' beliefs and knowledge.
The logics are based
on a new formalisation 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 the considered logics.
This means,
the logics are more expressive
than propositional dynamic logic with
an extra modality for belief or knowledge.
The logics remain decidable and belong to 2EXPTIME.
Versions of the considered logics express natural additional properties
of beliefs or knowledge and interaction of beliefs or knowledge with
actions.
It is shown a simulation of PDL can be constructed in one of these extensions.

Categories / Keywords:

agent systems, deductive systems, decidability

HyperLinks / References / URLs:


Personal Comments:


File Upload:




Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, university publications list, MPII FTP Server, working group publication list, MPG publications list, Fachbeirat

BibTeX Entry:
@UNPUBLISHED{SchmidtTishkovsky02e,
AUTHOR = {Schmidt, Renate A. and Tishkovsky, Dmitry},
 TITLE = {Multi-Agent Logic of Dynamic Belief and Knowledge},
 YEAR = {2003},
 PAGES = {34},
 MONTH = {May},
 NOTE = {Submitted for publication.},
}

Entry last modified by Renate A. Schmidt, 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)
Renate A. Schmidt		Created
02/03/2003 06:44:30 PM
Revision
1.
0.


Editor
Renate A. Schmidt
Renate A. Schmidt


Edit Date
05/05/2003 01:58:25 PM
02/03/2003 06:44:30 PM