Probabilistic Logic for Reasoning About Actions in Time

被引：0

作者：

Dautovic, Sejla ^{[1
]}

Doder, Dragan ^{[2
]}

机构：

[1] Matemat Inst SANU, Belgrade, Serbia

[2] IRIT Paul Sabatier Univ, Toulouse, France

来源：

SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019 | 2019年 / 11726卷

关键词：

Probabilistic logic; Temporal logic; Action; AXIOMATIZATION;

D O I：

10.1007/978-3-030-29765-7_32

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：385 / 396

页数：12

共 50 条

[1] Reasoning about Actions in a Probabilistic Setting
Baral, C
Tran, N
Tuan, LC
[J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 507 - 512
[2] Reasoning about probabilistic sequential programs in a probabilistic logic
Ying, MS
[J]. ACTA INFORMATICA, 2003, 39 (05) : 315 - 389
[3] Reasoning about probabilistic sequential programs in a probabilistic logic
M. Ying
[J]. Acta Informatica, 2003, 39 : 315 - 389
[4] A propositional probabilistic logic with discrete linear time for reasoning about evidence
Ognjanovic, Zoran
Markovic, Zoran
Raskovic, Miodrag
Doder, Dragan
Perovic, Aleksandar
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 65 (2-3) : 217 - 243
[5] A propositional probabilistic logic with discrete linear time for reasoning about evidence
Zoran Ognjanović
Zoran Marković
Miodrag Rašković
Dragan Doder
Aleksandar Perović
[J]. Annals of Mathematics and Artificial Intelligence, 2012, 65 : 217 - 243
[6] A Logic for Reasoning about Actions and Explicit Observations
Rens, Gavin
Varzinczak, Ivan
Meyer, Thomas
Ferrein, Alexander
[J]. AI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2010, 6464 : 395 - +
[7] Logic for Reasoning about Components of Persuasive Actions
Budzynska, Katarzyna
Kacprzak, Magdalena
Rembelski, Pawel
[J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2009, 5722 : 201 - +
[8] Dynamic logic for reasoning about actions and agents
Meyer, JJC
[J]. LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 281 - 311
[9] A dynamic description logic for representation and reasoning about actions
Chang, Liang
Lin, Fen
Shi, Zhongzhi
[J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
[10] Probabilistic Temporal Logic for Reasoning about Bounded Policies
Motamed, Nima
Alechina, Natasha
Dastani, Mehdi
Doder, Dragan
Logan, Brian
[J]. PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 3296 - 3303

← 1 2 3 4 5 →