Аннотация
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.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)