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 条

[21] A multi-engine solver for quantified Boolean formulas
Pulina, Luca
Tacchella, Armando
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, 2007, 4741 : 574 - 589
[22] Implementing a relational theorem prover for modal logic K
Mora, A.
Munoz-Velasco, E.
Golinska-Pilarek, J.
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2011, 88 (09) : 1869 - 1884
[23] The theoretical foundations of LPTP (a logic program theorem prover)
Stark, RF
JOURNAL OF LOGIC PROGRAMMING, 1998, 36 (03): : 241 - 269
[24] SOLVING A PROBLEM IN RELEVANCE LOGIC WITH AN AUTOMATED THEOREM PROVER
OHLBACH, HJ
WRIGHTSON, G
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 496 - 508
[25] Theorem Prover for Intuitionistic Logic Based on the Inverse Method
V. A. Pavlov
V. G. Pak
Programming and Computer Software, 2018, 44 : 51 - 61
[26] Tutorial on Data Analytics in Multi-engine Environments
Kantere, Verena
Filatov, Maxim
DATABASE SYSTEMS FOR ADVANCED APPLICATIONS (DASFAA 2017), PT I, 2017, 10177 : 682 - 684
[27] Mix 'n' Match Multi-Engine Analytics
Doka, Katerina
Papailiou, Nikolaos
Giannakouris, Victor
Tsoumakos, Dimitrios
Koziris, Nectarios
2016 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2016, : 194 - 203
[28] Multi-engine outfits can be money savers
Marine Log, 1991, 97 (06)
[29] One-engine-inoperative procedures for multi-engine helicopters
Aerospace Engineering (Warrendale, Pennsylvania), 1997, 17 (1-2):
[30] Theorem Prover for Intuitionistic Logic Based on the Inverse Method
Pavlov, V. A.
Pak, V. G.
PROGRAMMING AND COMPUTER SOFTWARE, 2018, 44 (01) : 51 - 61

← 1 2 3 4 5 →