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):

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:




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
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: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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section