A Flexible Framework for Defeasible Logics

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

A Flexible Framework for Defeasible Logics

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000
Editors	Henry A. Kautz, Bruce W. Porter
Publisher	AAAI press
Pages	405-410
Number of pages	6
ISBN (Electronic)	0262511126, 9780262511124
Publication status	Published - 2000
Externally published	Yes
Event	17th National Conference on Artificial Intelligence - Austin, United States Duration: 30 Jul 2000 → 3 Aug 2000 Conference number: 17

Conference

Conference	17th National Conference on Artificial Intelligence
Abbreviated title	AAA1 2000
Country/Territory	United States
City	Austin
Period	30/07/00 → 3/08/00

Cite this

@inproceedings{cff08ba7a7cf4330b431d1515fbe6254,

title = "A Flexible Framework for Defeasible Logics",

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.",

keywords = "Flexible Framework, Defeasible logics",

author = "G. Antoniou and D. Billington and G. Governatori and Maher, {M. J.}",

note = "Funding Information: This research was supported by the Australia Research Council under Large Grant No. A49803544. Publisher Copyright: Copyright {\textcopyright} 2000, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.; 17th National Conference on Artificial Intelligence, AAA1 2000 ; Conference date: 30-07-2000 Through 03-08-2000",

year = "2000",

language = "English",

pages = "405--410",

editor = "Kautz, {Henry A.} and Porter, {Bruce W.}",

booktitle = "Proceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000",

publisher = "AAAI press",

address = "United States",

}

Antoniou, G, Billington, D, Governatori, G & Maher, MJ 2000, A Flexible Framework for Defeasible Logics. in HA Kautz & BW Porter (eds), Proceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000. AAAI press, pp. 405-410, 17th National Conference on Artificial Intelligence, Austin, Texas, United States, 30/07/00.

A Flexible Framework for Defeasible Logics. / Antoniou, G.; Billington, D.; Governatori, G. et al.

Proceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000. ed. / Henry A. Kautz; Bruce W. Porter. AAAI press, 2000. p. 405-410.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Flexible Framework for Defeasible Logics

AU - Antoniou, G.

AU - Billington, D.

AU - Governatori, G.

AU - Maher, M. J.

N1 - Conference code: 17

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

KW - Flexible Framework

KW - Defeasible logics

UR - http://www.scopus.com/inward/record.url?scp=85029884593&partnerID=8YFLogxK

UR - https://dblp.org/db/conf/aaai/aaai2000.html#AntoniouBGM00

M3 - Conference contribution

AN - SCOPUS:85029884593

SP - 405

EP - 410

BT - Proceedings of the 17th National Conference on Artificial Intelligence and 12fth Conference on Innovative Applications ofArtificial Intelligence, AAAI 2000

A2 - Kautz, Henry A.

A2 - Porter, Bruce W.

PB - AAAI press

T2 - 17th National Conference on Artificial Intelligence

Y2 - 30 July 2000 through 3 August 2000

ER -

A Flexible Framework for Defeasible Logics

Abstract

Conference

Other files and links

Fingerprint

Cite this