Defeasible Logic on an Embedded Microcontroller

Authors:
Michael A. Covington
Affiliations:
Artificial Intelligence Center, The University of Georgia, Athens, GA 30602-7415, USA. mc@ai.uga.edu
Venue:
Applied Intelligence
Year:
2000

Citing 4
Cited 0

Nonmonotonic logic and temporal projection

Artificial Intelligence
How to reason defeasibly

Artificial Intelligence
Non-monotonic temporal reasoning

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Prolog programming in depth

Prolog programming in depth

Quantified Score

Hi-index	0.00

Visualization

Abstract

Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper reports a successful application of defeasible logic to the implementation of an embedded control system. The system was programmed in d-Prolog (a defeasible extension of Prolog), and the inferences were compiled into a truth table that was encoded on a low-end PIC microcontroller.Advantages of defeasible logic include conciseness and correct handling of the passage of time. It is distinct from fuzzy logic and probabilistic logic, addressing a different set of problems.