General default logic

Authors:
Yi Zhou;Fangzhen Lin;Yan Zhang
Affiliations:
School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW, Australia;Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong;School of Computing and Mathematics, University of Western Sydney, Penrith South DC, NSW, Australia
Venue:
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Year:
2007

Citing 6
Cited 3

A logic of knowledge and justified assumptions

Artificial Intelligence
Nested expressions in logic programs

Annals of Mathematics and Artificial Intelligence
A Possible World Semantics for Disjunctive Databases

IEEE Transactions on Knowledge and Data Engineering
Compiling reasoning with and about preferences into default logic

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
From answer set logic programming to circumscription via logic of GK

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Answer sets for propositional theories

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning

Meta Level Reasoning and Default Reasoning

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Rule Calculus: Semantics, Axioms and Applications

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
General default logic

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, We propose a general default logic. It extends Reiter's default logic by adding rule connectives like disjunction in logic programming, and Ferraris's general logic program by allowing arbitrary propositional formulas to be the base in forming logic programs. We show the usefulness of this logic by applying it to formalizing rule constraints, generalized closed world assumptions, and conditional defaults.