Using Model Theory to Specify AI Programs
Abstract
This paper proposes a method for adapting the traditional devices of model theory to the task of specifying the input/output behavior of artificial intelligence reasoning programs when viewed as inference engines. The method is illustrated by specifying two programs, one a toy example and the other a program for retrieving information from a declarative knowledge base. Close examination shows that many intuitions about the properties of a retriever can be stated rigorously in terms of inference and that the model-theoretic specification can then be used to prove that the retriever has these properties.
Cite
Text
Frisch. "Using Model Theory to Specify AI Programs." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Frisch. "Using Model Theory to Specify AI Programs." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/frisch1985ijcai-using/)BibTeX
@inproceedings{frisch1985ijcai-using,
title = {{Using Model Theory to Specify AI Programs}},
author = {Frisch, Alan M.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {148-154},
url = {https://mlanthology.org/ijcai/1985/frisch1985ijcai-using/}
}