|
Logic & Semantics |
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.