Postdiction problems in dynamic logic

Samir Chopra; Dongmo Zhang

doi:10.1007/3-540-45656-2_11

Postdiction problems in dynamic logic

Samir Chopra, Dongmo Zhang

University of New South Wales

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

Abstract

We present a framework for backward and forward temporal projection that combines dynamic and temporal logic. A propositional dynamic logic for reasoning about actions is extended with temporal modalities; the syntax of this extension differs from the syntax of the converse of programs, previously understood as backwards modalities. An application is carried out to benchmark postdiction examples such as the Stanford Murder Mystery [1] and the Two-Buses Problem [8]. A method for automatically generating frame axioms is used; the axioms so generated are treated as supplementary axioms in the associated proof theory. In future work, we hope to embed this system into a more comprehensive logic for reasoning about actions that enables a unified treatment of the frame, qualification and ramification problems and to work with more ‘scaled-up’ examples.

Original language	English
Title of host publication	AI 2001
Subtitle of host publication	Advances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence, Proceedings
Editors	Markus Stumptner, Dan Corbett, Mike Brooks, Dan Corbett
Publisher	Springer Verlag
Pages	119-129
Number of pages	11
ISBN (Print)	9783540429609
DOIs	https://doi.org/10.1007/3-540-45656-2_11
Publication status	Published - 2001
Externally published	Yes
Event	14th Australian Joint Conference on Artificial Intelligence, AI 2001 - Adelaide, Australia Duration: 10 Dec 2001 → 14 Dec 2001

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2256
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th Australian Joint Conference on Artificial Intelligence, AI 2001
Country/Territory	Australia
City	Adelaide
Period	10/12/01 → 14/12/01

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.

Keywords

Commonsense reasoning
Temporal reasoning

Access to Document

10.1007/3-540-45656-2_11

Cite this

Chopra, S., & Zhang, D. (2001). Postdiction problems in dynamic logic. In M. Stumptner, D. Corbett, M. Brooks, & D. Corbett (Eds.), AI 2001: Advances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence, Proceedings (pp. 119-129). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2256). Springer Verlag. https://doi.org/10.1007/3-540-45656-2_11

Chopra, Samir ; Zhang, Dongmo. / Postdiction problems in dynamic logic. AI 2001: Advances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence, Proceedings. editor / Markus Stumptner ; Dan Corbett ; Mike Brooks ; Dan Corbett. Springer Verlag, 2001. pp. 119-129 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7d1db87a7f364336b1f63a35afb3fbb6,

title = "Postdiction problems in dynamic logic",

abstract = "We present a framework for backward and forward temporal projection that combines dynamic and temporal logic. A propositional dynamic logic for reasoning about actions is extended with temporal modalities; the syntax of this extension differs from the syntax of the converse of programs, previously understood as backwards modalities. An application is carried out to benchmark postdiction examples such as the Stanford Murder Mystery [1] and the Two-Buses Problem [8]. A method for automatically generating frame axioms is used; the axioms so generated are treated as supplementary axioms in the associated proof theory. In future work, we hope to embed this system into a more comprehensive logic for reasoning about actions that enables a unified treatment of the frame, qualification and ramification problems and to work with more {\textquoteleft}scaled-up{\textquoteright} examples.",

keywords = "Commonsense reasoning, Temporal reasoning",

author = "Samir Chopra and Dongmo Zhang",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 14th Australian Joint Conference on Artificial Intelligence, AI 2001 ; Conference date: 10-12-2001 Through 14-12-2001",

year = "2001",

doi = "10.1007/3-540-45656-2_11",

language = "English",

isbn = "9783540429609",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "119--129",

editor = "Markus Stumptner and Dan Corbett and Mike Brooks and Dan Corbett",

booktitle = "AI 2001",

}

Chopra, S & Zhang, D 2001, Postdiction problems in dynamic logic. in M Stumptner, D Corbett, M Brooks & D Corbett (eds), AI 2001: Advances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2256, Springer Verlag, pp. 119-129, 14th Australian Joint Conference on Artificial Intelligence, AI 2001, Adelaide, Australia, 10/12/01. https://doi.org/10.1007/3-540-45656-2_11

Postdiction problems in dynamic logic. / Chopra, Samir; Zhang, Dongmo.
AI 2001: Advances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence, Proceedings. ed. / Markus Stumptner; Dan Corbett; Mike Brooks; Dan Corbett. Springer Verlag, 2001. p. 119-129 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2256).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - Postdiction problems in dynamic logic

AU - Chopra, Samir

AU - Zhang, Dongmo

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2001.

PY - 2001

Y1 - 2001

N2 - We present a framework for backward and forward temporal projection that combines dynamic and temporal logic. A propositional dynamic logic for reasoning about actions is extended with temporal modalities; the syntax of this extension differs from the syntax of the converse of programs, previously understood as backwards modalities. An application is carried out to benchmark postdiction examples such as the Stanford Murder Mystery [1] and the Two-Buses Problem [8]. A method for automatically generating frame axioms is used; the axioms so generated are treated as supplementary axioms in the associated proof theory. In future work, we hope to embed this system into a more comprehensive logic for reasoning about actions that enables a unified treatment of the frame, qualification and ramification problems and to work with more ‘scaled-up’ examples.

AB - We present a framework for backward and forward temporal projection that combines dynamic and temporal logic. A propositional dynamic logic for reasoning about actions is extended with temporal modalities; the syntax of this extension differs from the syntax of the converse of programs, previously understood as backwards modalities. An application is carried out to benchmark postdiction examples such as the Stanford Murder Mystery [1] and the Two-Buses Problem [8]. A method for automatically generating frame axioms is used; the axioms so generated are treated as supplementary axioms in the associated proof theory. In future work, we hope to embed this system into a more comprehensive logic for reasoning about actions that enables a unified treatment of the frame, qualification and ramification problems and to work with more ‘scaled-up’ examples.

KW - Commonsense reasoning

KW - Temporal reasoning

UR - http://www.scopus.com/inward/record.url?scp=84944892102&partnerID=8YFLogxK

U2 - 10.1007/3-540-45656-2_11

DO - 10.1007/3-540-45656-2_11

M3 - Conference Paper

AN - SCOPUS:84944892102

SN - 9783540429609

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 119

EP - 129

BT - AI 2001

A2 - Stumptner, Markus

A2 - Corbett, Dan

A2 - Brooks, Mike

A2 - Corbett, Dan

PB - Springer Verlag

T2 - 14th Australian Joint Conference on Artificial Intelligence, AI 2001

Y2 - 10 December 2001 through 14 December 2001

ER -

Chopra S, Zhang D. Postdiction problems in dynamic logic. In Stumptner M, Corbett D, Brooks M, Corbett D, editors, AI 2001: Advances in Artificial Intelligence - 14th Australian Joint Conference on Artificial Intelligence, Proceedings. Springer Verlag. 2001. p. 119-129. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45656-2_11

Postdiction problems in dynamic logic

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this