IEEE Transactions on Automatic Control, Vol.45, No.7, 1347-1349, 2000
Logical control of an elevator with defeasible logic
The elevator control program described in this journal by Dyck and Caines [4] can be implemented more concisely in d-Prolog, a defeasible logic programming system developed by Nute [5], [7], [8]. To demonstrate this, the program is recast, first into ordinary Prolog and then into d-Prolog. In defeasible logic, more specific rules take precedence over more general ones. Thus, the d-Prolog programmer can state general rules and then give explicit exceptions, just as humans do when explaining complex regularities to each other.