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

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.