English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Multi-Agent Dynamic Logics with Informational Test

Schmidt, R. A., & Tishkovsky, D. (2004). Multi-Agent Dynamic Logics with Informational Test. Annals of Mathematics and Artificial Intelligence, 42, 5-36.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Schmidt, Renate A.1, Author           
Tishkovsky, Dmitry, Author
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2005-02-022004
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 231267
Other: Local-ID: C1256104005ECAFC-E49AD91EC328DED4C1256EB6005EFFDD-SchmidtTishkovsky03c
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Annals of Mathematics and Artificial Intelligence
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 42 Sequence Number: - Start / End Page: 5 - 36 Identifier: ISSN: 1012-2443