A Semantic Decomposition of Defeasible Logic

Maher, Michael J. and Governatori, Guido (1999). A Semantic Decomposition of Defeasible Logic. In: Proceedings : Sixteenth National Conference on Artificial Intelligence (AAAI-99) : Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99). 16th National Conference on Artificial Intelligence (AAAI-99) : 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99), Orlando, Florida, (299-305). 18-22 July, 1999.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Maher, Michael J.
Governatori, Guido
Title of paper A Semantic Decomposition of Defeasible Logic
Conference name 16th National Conference on Artificial Intelligence (AAAI-99) : 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99)
Conference location Orlando, Florida
Conference dates 18-22 July, 1999
Proceedings title Proceedings : Sixteenth National Conference on Artificial Intelligence (AAAI-99) : Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99)
Place of Publication Menlo Park, CA United States
Publisher AAAI Press
Publication Year 1999
Year available 1999
Sub-type Fully published paper
ISBN 0262511061
9780262511063
Start page 299
End page 305
Total pages 7
Language eng
Abstract/Summary Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several logics and, when necessary, combine the representations. In general, such an approach results in a very difficult problem of combination. However, if we can choose the logics from a uniform framework then the problem of combining them is greatly simplified. In this paper, we develop such a framework for defeasible logics. It supports all defeasible logics that satisfy a strong negation principle. We use logic meta-programs as the basis for the framework.
Keyword Defeasible Logic
Logic Programming
Kunen semantics
Well founded semantics
Nonmonotonic reasoning
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Non-UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Tue, 22 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering