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 条

[41] Reasoning About Study Regulations in Answer Set Programming
Hahn, Susana
Schaub, Torsten
Martens, Cedric
Nemes, Amade
Otunuya, Henry
Romero, Javier
Schellhorn, Sebastian
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, 24 (04) : 790 - 804
[42] About the temporal decrease of sets
Heinemann, B
EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 234 - 239
[43] Reasoning about actions for spacecraft redundancy management
Barry, Matthew
Watson, Richard
IEEE Aerospace Applications Conference Proceedings, 1999, 5 : 101 - 112
[44] Reasoning about actions in prioritized default theory
Son, TC
Pontelli, E
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 369 - 381
[45] Reasoning about Actions Meets Strategic Logics
Herzig, Andreas
Lorini, Emiliano
Walther, Dirk
LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 162 - 175
[46] A Logic for Reasoning about Actions and Explicit Observations
Rens, Gavin
Varzinczak, Ivan
Meyer, Thomas
Ferrein, Alexander
AI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2010, 6464 : 395 - +
[47] Logic for Reasoning about Components of Persuasive Actions
Budzynska, Katarzyna
Kacprzak, Magdalena
Rembelski, Pawel
FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2009, 5722 : 201 - +
[48] INTEGRATING REASONING ABOUT ACTIONS AND BAYESIAN NETWORKS
Martini, Yves
Thielscher, Michael
ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : 298 - 304
[49] Possibilistic Reasoning about Actions in Agent Systems
Fan, Tuan-Fang
Liau, Churn-Jung
2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 787 - 788
[50] An argumentation framework for reasoning about actions and change
Kakas, A
Miller, R
Toni, F
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 78 - 91

← 1 2 3 4 5 →