G. Governatori

AAMAS Conference 2007 Conference Paper

Contextual Deliberation of Cognitive Agents in Defeasible Logic

• M. Dastani
• G. Governatori
• A. Rotolo
• I. Song
• L. van der Torre

AAAI Conference 2000 Conference Paper

A Flexible Framework for Defeasible Logics

• G. Antoniou
• G. Governatori

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.

AAAI Conference 1999 Conference Paper

A Semantic Decomposition of Defeasible Logics

• M. J. Maher
• G. Governatori
• Griffith University

We investigate defeasible logics using a technique which decomposes the semantics of such logics into two parts: a specification of the structure of defeasible reasoning and a semantics for the meta-language in which the specification is written. We show that Nute’s Defeasible Logic corresponds to Kunen’s semantics, and develop a defeasible logic from the well-founded semantics of Van Gelder, Ross and Schlipf. We also obtain a new defeasible logic which extends an existing language by modifying the specification of Defeasible Logic. Thus our approach is productive in analysing, comparing and designing defeasible logics.