A Flexible Framework for Defeasible Logics

G. Antoniou, D. Billington, G. Governatori, M. J. Maher

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

78 Citations (Scopus)

Abstract

Logics for knowledge representation suffer from overspecialization: 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.

Original languageEnglish
Title of host publicationProceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000
EditorsHenry A. Kautz, Bruce W. Porter
PublisherAAAI press
Pages405-410
Number of pages6
ISBN (Electronic)0262511126, 9780262511124
Publication statusPublished - 2000
Externally publishedYes
Event17th National Conference on Artificial Intelligence - Austin, United States
Duration: 30 Jul 20003 Aug 2000
Conference number: 17

Conference

Conference17th National Conference on Artificial Intelligence
Abbreviated titleAAA1 2000
Country/TerritoryUnited States
CityAustin
Period30/07/003/08/00

Fingerprint

Dive into the research topics of 'A Flexible Framework for Defeasible Logics'. Together they form a unique fingerprint.

Cite this