Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
Defeasible Logic on an Embedded Microcontroller: Michael A. Covington
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > Defeasible Logic on an Embedded Microcontroller: Michael A. Covington

Speaker: Michael A. Covington, University of Georgia
Title: 20th March, 1998
Time: Defeasible Logic on an Embedded Microcontroller, 14:00
Abstract:

Embedded control of machines is a very fast-growing segment of the computer industry; the average home now contains 40 to 100 CPUs, all of which need software. Many of the rules for controlling machinery are conveniently expressed as defeasible logic rules. However, the cheapest embedded controllers are too small to run a defeasible inference engine directly. This paper describes a technique of compiling a defeasible rule set into a truth table that can be downloaded into a microcontroller. A working prototype that demonstrates an air-conditioner control algorithm has been built.