Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL

被引：0

作者：

Giordano, Laura ^{[1
]}

Martelli, Alberto ^{[2
]}

Dupre, Daniele Theseider ^{[1
]}

机构：

[1] Univ Piemonte Orientale, DISIT, Alessandria, Italy

[2] Univ Torino, Dipartimento Informat, Turin, Italy

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022 | 2022年 / 13416卷

关键词：

MODEL CHECKING; RAMIFICATION;

D O I：

10.1007/978-3-031-15707-3_18

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We propose an approach for reasoning about actions with domain descriptions including an EL perpendicular to ontology in a temporal action theory. The action theory is based on a Dynamic Linear Time Temporal Logic, whose extensions are defined through temporal answer sets. The work provides conditions under which action consistency can be guaranteed with respect to an EL perpendicular to ontology, by polynomially encoding an EL perpendicular to knowledge base into a domain description of the temporal action theory.

引用

页码：231 / 244

页数：14

共 50 条

[21] Temporal granularity and indeterminacy in reasoning about actions and change: An approach based on the event calculus
Chittaro, L
Combi, C
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2002, 36 (1-2) : 81 - 119
[22] Reasoning about cooperation, actions and preferences
Kurzen, Lena
SYNTHESE, 2009, 169 (02) : 223 - 240
[23] Reasoning about actions and change in argumentation
Hadjisoteriou, E.
Kakas, A.
ARGUMENT & COMPUTATION, 2016, 6 (03) : 265 - 291
[24] Reasoning about effects of concurrent actions
Baral, C
Gelfond, M
JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 85 - 117
[25] Massively parallel reasoning about actions
Bornscheuer, Sven-Erik
Seiler, Torsten
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 1996, 1137
[26] Reasoning about Actions in Fuzzy Environment
Saad, Emad
Elmorsy, Shaimaa A.
Gabr, Mahmoud M. H.
Hassan, Yasser F. M.
PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 825 - 830
[27] Reasoning about Actions in a Probabilistic Setting
Baral, C
Tran, N
Tuan, LC
EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 507 - 512
[28] Automata theory for reasoning about actions
Ternovskaia, E
IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 153 - 158
[29] Reasoning about actions in narrative understanding
Narayanan, S
IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 350 - 355
[30] Reasoning about actions and change with ramification
Sandewall, E
COMPUTER SCIENCE TODAY, 1995, 1000 : 486 - 504

← 1 2 3 4 5 →