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.
|