A FRAMEWORK FOR DEFAULT LOGICS

被引：0

作者：

FROIDEVAUX, C

MENGIN, J

机构：

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 633卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a general framework for default logics, which encompasses most of the existing variants of default logic. It allows us to compare those variants from a knowledge representation point of view. We then exploit this framework to generalize Brewka's work on cumulative default logic, and to give an operational definition of extensions. Proof theoretical and semantical aspects are investigated.

引用

页码：154 / 173

页数：20

共 50 条

[31] Revisiting Default Description Logics - and Their Role in Aligning Ontologies
Sengupta, Kunal
Hitzler, Pascal
Janowicz, Krzysztof
SEMANTIC TECHNOLOGY (JIST 2014), 2015, 8943 : 3 - 18
[32] Default assumption reasoning based on fuzzy description logics
Zhang, Min, 1600, Transport and Telecommunication Institute, Lomonosova street 1, Riga, LV-1019, Latvia (18):
[33] Where fail-safe default logics fail
Liberatore, Pacilo
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2007, 8 (02)
[34] The relationship between reasoning about privacy and default logics
Dix, J
Faber, W
Subrahmanian, VS
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 637 - 650
[35] On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription
Janhunen, T
LOGICS IN ARTIFICIAL INTELLIGENCE, 1998, 1489 : 216 - 232
[36] A default extension to description logics for use in an intelligent search engine
Lambrix, P
Shahmehri, N
Wahllof, N
PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL V: MODELING TECHNOLOGIES AND INTELLIGENT SYSTEMS TRACK, 1998, : 28 - 35
[37] Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
Lupea, Mihaiela
PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 47 - 53
[38] DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics
Areces, Carlos
Cassano, Valentin
Fervari, Raul
Hoffmann, Guillaume
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 37 - 48
[39] OPERATIONAL CONCEPTS OF NONMONOTONIC LOGICS .1. DEFAULT LOGIC
ANTONIOU, G
SPERSCHNEIDER, V
ARTIFICIAL INTELLIGENCE REVIEW, 1994, 8 (01) : 3 - 16
[40] A framework for linear authorization logics
Nigam, Vivek
THEORETICAL COMPUTER SCIENCE, 2014, 536 : 21 - 41

← 1 2 3 4 5 →