A Multi-engine Theorem Prover for a Description Logic of Typicality

被引：0

作者：

Giordano, Laura ^{[1
]}

Gliozzi, Valentina ^{[2
]}

Olivetti, Nicola ^{[3
]}

Pozzato, Gian Luca ^{[2
]}

Violanti, Luca ^{[4
]}

机构：

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

[2] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy

[3] Univ Toulon & Var, Aix Marseille Univ, ENSAM, LSIS UMR 7296, Toulon, France

[4] NCR Edinburgh United Kingdom, Edinburgh, Midlothian, Scotland

来源：

AI*IA 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE | 2015年 / 9336卷

关键词：

D O I：

10.1007/978-3-319-24309-2_13

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We describe DysToPic, a theorem prover for the preferential Description Logic ALC + T-min. This is a nonmonotonic extension of standard ALC based on a typicality operator T, which enjoys a preferential semantics. DysToPic is a multi-engine Prolog implementation of a labelled, two-phase tableaux calculus for ALC + T-min whose basic idea is that of performing these two phases by different machines. The performances of DysToPic are promising, and significantly better than the ones of its predecessor PreDeLo 1.0 recently introduced.

引用

页码：164 / 178

页数：15

共 50 条

[1] MULTI-ENGINE TEST FACILITY
不详
AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 1995, 67 (01): : 22 - 23
[2] Metamorphic Testing of Logic Theorem Prover
Tazl, Oliver A.
Wotawa, Franz
TESTING SOFTWARE AND SYSTEMS, ICTSS 2021, 2022, 13045 : 131 - 137
[3] MINLOG: A minimal logic theorem prover
Slaney, J
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 268 - 271
[4] Implementation of Theorem Prover of Relevant Logic
Yoshiura, Noriaki
CURRENT APPROACHES IN APPLIED ARTIFICIAL INTELLIGENCE, 2015, 9101 : 13 - 22
[5] Multi-Engine Training Manual
Bures, R.
Nemec, V.
Szabo, S.
TRANSPORT MEANS 2015, PTS I AND II, 2015, : 583 - 586
[6] The Lean Theorem Prover (System Description)
de Moura, Leonardo
Kong, Soonho
Avigad, Jeremy
van Doorn, Floris
von Raumer, Jakob
AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 378 - 388
[7] An annotated logic theorem prover for an extended possibilistic logic
Kullmann, P
Sandri, S
FUZZY SETS AND SYSTEMS, 2004, 144 (01) : 67 - 91
[8] A Description Logic of Typicality for Conceptual Combination
Lieto, Antonio
Pozzato, Gian Luca
FOUNDATIONS OF INTELLIGENT SYSTEMS (ISMIS 2018), 2018, 11177 : 189 - 199
[9] Coordination and Concurrency in Multi-engine Prolog
Tarau, Paul
COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, 2011, 6721 : 157 - 171
[10] SYMEVAL - A THEOREM PROVER BASED ON THE EXPERIMENTAL LOGIC
BROWN, FM
PARK, SS
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 756 - 757

← 1 2 3 4 5 →