|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
Show full item record
checked on Feb 7, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.