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
Hustadt, Ullrich

dblp
dblp
dblp

Not MPG Author(s):

Tishkovsky, Dmitry
Hustadt, Ullrich

BibTeX cite key*:

SchmidtTishkovskyHustadt04a

Title

Title*:

Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic

Journal

Journal Title*:

Studia Logica

Journal's URL:

http://www.kluweronline.com/issn/0039-3215/

Download URL
for the article:

?

Language:

English

Publisher

Publisher's
Name:

Kluwer

Publisher's URL:

http://www.kluweronline.com/

Publisher's
Address:


ISSN:

0039-3215

Vol, No, pp, Date

Volume*:

78

Number:

3

Publishing Date:

2004

Pages*:

381-415

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


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

URL for the Abstract:

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

Categories,
Keywords:

Agent logic, dynamic logic, modal 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


BibTeX Entry:

@ARTICLE{SchmidtTishkovskyHustadt04a,
AUTHOR = {Schmidt, Renate A. and Tishkovsky, Dmitry and Hustadt, Ullrich},
TITLE = {Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic},
JOURNAL = {Studia Logica},
PUBLISHER = {Kluwer},
YEAR = {2004},
NUMBER = {3},
VOLUME = {78},
PAGES = {381--415},
ISBN = {0039-3215},
}


Entry last modified by Christine Kiesel, 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/16/2004 07:05:20 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Renate A. Schmidt
Anja Becker
Renate A. Schmidt
Renate A. Schmidt
Edit Dates
27.04.2005 10:32:02
03/12/2005 04:23:53 PM
03.02.2005 10:17:07
06/18/2004 01:47:46 PM
06/16/2004 07:05:20 PM