Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

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

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Schmidt, Renate A.
Tishkovsky, Dmitry

dblp
dblp

Not MPG Author(s):

Tishkovsky, Dmitry

BibTeX cite key*:

SchmidtTishkovsky03c

Title

Title*:

Multi-Agent Dynamic Logics with Informational Test

Journal

Journal Title*:

Annals of Mathematics and Artificial Intelligence

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Kluwer

Publisher's URL:

http://www.kluweronline.com/issn/1012-2443

Publisher's
Address:

Dordrecht

ISSN:

1012-2443

Vol, No, pp, Date

Volume*:

42

Number:

1

Publishing Date:

2004

Pages*:

5-36

Number of
VG Pages:


Page Start:

5

Page End:

36

Sequence Number:


DOI:


Note, Abstract, ©

Note:

To appear

(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 informativeness, truthfulness and
preservation of beliefs
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 that a simulation of PDL can be constructed in one of these extensions.

URL for the Abstract:

http://www.cs.man.ac.uk/~schmidt/publications/SchmidtTishkovsky03c.html

Categories,
Keywords:

Agent-based systems, dynamic logic, modal logic, epistemic logic, doxastic logic

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort


BibTeX Entry:

@ARTICLE{SchmidtTishkovsky03c,
AUTHOR = {Schmidt, Renate A. and Tishkovsky, Dmitry},
TITLE = {Multi-Agent Dynamic Logics with Informational Test},
JOURNAL = {Annals of Mathematics and Artificial Intelligence},
PUBLISHER = {Kluwer},
YEAR = {2004},
NUMBER = {1},
VOLUME = {42},
PAGES = {5--36},
ADDRESS = {Dordrecht},
ISBN = {1012-2443},
NOTE = {To appear},
}


Entry last modified by Anja Becker, 01/28/2008
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
06/17/2004 07:17:38 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Renate A. Schmidt
Renate A. Schmidt
Renate A. Schmidt
Edit Dates
02.02.2005 14:50:04
02.02.2005 14:49:20
06/18/2004 01:41:19 PM
06/17/2004 07:20:19 PM
06/17/2004 07:17:38 PM