English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic

Schmidt, R. A., Tishkovsky, D., & Hustadt, U. (2004). Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica, 78, 381-415.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-298B-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-298C-A
Genre: Journal Article

Files

show Files

Locators

show

Creators

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

Content

show
hide
Free keywords: -
 Abstract: This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents' activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent's awareness of her commitments), and interactions between knowledge and actions (expressing no learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable.

Details

show
hide
Language(s): eng - English
 Dates: 2005-04-272004
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 231268
Other: Local-ID: C1256104005ECAFC-2700048EC40F2286C1256EB5005DDF89-SchmidtTishkovskyHustadt04a
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Studia Logica
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 78 Sequence Number: - Start / End Page: 381 - 415 Identifier: ISSN: 0039-3215