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