Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:









Author, Editor
Author(s):
Schmidt, Renate A.
Tishkovsky, Dmitry
Hustadt, Ullrich		dblp
dblp
dblp

BibTeX citekey*:

SchmidtTishkovskyHustadt02a

Title, Booktitle

Title*:

Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic

Vol, No, pp., Year

Month:


Year:

2002

Language:

English
Pages:

32

Abstract, Links, ©

Note:

Submitted for publication.

LaTeX 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.

Categories / Keywords:

agent systems, deductive systems, decidability

HyperLinks / References / URLs:


Personal Comments:


File Upload:




Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, university publications list, MPII FTP Server, working group publication list, MPG publications list, Fachbeirat

BibTeX Entry:
@UNPUBLISHED{SchmidtTishkovskyHustadt02a,
AUTHOR = {Schmidt, Renate A. and Tishkovsky, Dmitry and Hustadt, Ullrich},
 TITLE = {Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic},
 YEAR = {2002},
 PAGES = {32},
 NOTE = {Submitted for publication.},
}

Entry last modified by Renate A. Schmidt, 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:36:21 PM
Revision
1.
0.


Editor
Renate A. Schmidt
Renate A. Schmidt


Edit Date
02/03/2003 06:47:52 PM
02/03/2003 06:36:21 PM