A Denotational Semantics of Defeasible Logic

Authors:
Michael J. Maher
Affiliations:
-
Venue:
CL '00 Proceedings of the First International Conference on Computational Logic
Year:
2000

Citing 13
Cited 3

Negation in logic programming

Journal of Logic Programming
Defeasible reasoning and decision support systems

Decision Support Systems
Equivalences of logic programs

Foundations of deductive databases and logic programming
Floating conclusions and zombie paths: two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets

Artificial Intelligence
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
A compositional semantics for logic programs

FGCS'921 Selected papers of the conference on Fifth generation computer systems
Normal forms for defeasible logic

JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A declarative approach to business rules in contracts: courteous logic programs in XML

Proceedings of the 1st ACM conference on Electronic commerce
Logic and programming languages

Communications of the ACM
A Study of Provability in Defeasible Logic

AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
On the Analysis of Regulations using Defeasible Rules

HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6

Embedding Defeasible Logic into Logic Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Relating Defeasible Logic to Extended Logic Programs

SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Human and unhuman commonsense reasoning

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Defeasible logic is an efficient non-monotonic logic for defeasible reasoning. It is defined through a proof theory, and has no model theory. In this paper a denotational semantics is given for defeasible logic, as a step towards a full model theory. The logic is sound and complete wrt this semantics, but the semantics is not completely satisfactory as a model theory. We indicate directions for research that might resolve these issues.