Article,
Reason Maintenance in a Hybrid Reasoning System
Workshop Proceedings, Inference in Computational Semantics, (1999)
Abstract
One can gain eciency in an inference system by using special-purpose representations for reasoning about certain predicates, but some such representations make it impossible for the system to keep track of the reasons for which it holds each of its beliefs. We illustrate the potential con ict with some examples, and distill some general principles for designing representations that can support both ecient special-purpose inference and some form of reason maintenance.
