| Authors: | Dautović, Šejla Doder, Dragan |
| Title: | Probabilistic logic for reasoning about actions in time |
| Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume: | 11726 LNAI |
| First page: | 385 |
| Last page: | 396 |
| Conference: | 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019 |
| Issue Date: | 1-Jan-2019 |
| Rank: | M33 |
| ISBN: | 978-3-030-29764-0 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-030-29765-7_32 |
| Abstract: | In this paper, we develop a probabilistic logic for reasoning about preconditions, postconditions and execution of actions in time. The language of our logic allows statements like “precondition of the action A will hold in the next moment” and uncertain information like “probability that the precondition of A will hold in the next moment is at least one half.” We axiomatize this logic, provide corresponding semantics built on branching-time temporal models, and prove that the axiomatization is sound and strongly complete. |
| Keywords: | Action | Probabilistic logic | Temporal logic |
| Publisher: | Springer Link |
| Project: | Representations of logical structures and formal languages and their application in computing ANR-11-LABX-0040-CIMI |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.