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

Page view(s)

33
checked on Jan 31, 2025

Google ScholarTM

Check


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