A Flexible Framework For Defeasible Logics

Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: American National Conference on Artificial Intelligence (AAAI-2000), *, (401-405). *.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Antoniou, Grigoris
Billington, David
Governatori, Guido
Maher, Michael J.
Title of paper A Flexible Framework For Defeasible Logics
Conference name American National Conference on Artificial Intelligence (AAAI-2000)
Conference location *
Conference dates *
Publication Year 2000
Sub-type Fully published paper
Start page 401
End page 405
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.
Subjects 280403 Logics and Meanings of Programs
Keyword defeasible logic
logic programming
non-monotonic reasoning
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown
Additional Notes Copyright (c) 2000 AAAI, American Association for Artificial Intelligence

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Wed, 23 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of Scholarly Communication and Digitisation Service