Publications Master Template: Proceedings Article: Multi-Agent Logic of Dynamic Belief and Knowledge

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

Options:

Goto entry point

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

URL of the conference:
URL for downloading the paper:
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:


(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

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

Attachment Section