A Forward Inference Engine to Aid in Understanding Specifications
Abstract
An important part of understanding a specification is recognizing the consequences of what is stated. We describe a program that can help a user acquire this understanding. It does this by deriving interesting, though not deep consequences of a set of input axioms, while avoiding (a typically much larger set of) uninteresting consequences. The heuristics for obtaining that effect are described and justified. The program has been used in a symbolic evaluator that helps a user to understand and debug specifications written in the Gist specification language.
Cite
Text
Cohen. "A Forward Inference Engine to Aid in Understanding Specifications." AAAI Conference on Artificial Intelligence, 1984.Markdown
[Cohen. "A Forward Inference Engine to Aid in Understanding Specifications." AAAI Conference on Artificial Intelligence, 1984.](https://mlanthology.org/aaai/1984/cohen1984aaai-forward/)BibTeX
@inproceedings{cohen1984aaai-forward,
title = {{A Forward Inference Engine to Aid in Understanding Specifications}},
author = {Cohen, Donald},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1984},
pages = {56-60},
url = {https://mlanthology.org/aaai/1984/cohen1984aaai-forward/}
}