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.