Defeasible Logic on an Embedded Microcontroller |
| |
Authors: | Michael A Covington |
| |
Affiliation: | (1) Artificial Intelligence Center, The University of Georgia, Athens, GA 30602-7415, USA |
| |
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. |
| |
Keywords: | microcontroller logic programming defeasible logic defaults embedded systems |
本文献已被 SpringerLink 等数据库收录! |
|