Using Model Theory to Specify AI Programs

Frisch, Alan M.

Using Model Theory to Specify AI Programs

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 148-153.

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 tha t 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 propert i es .

Alan M. Frisch. 1985. Using Model Theory to Specify AI Programs. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 148–153. https://ijcai.org/proceedings/1985/27

@inproceedings{ijcai1985p27,
  title     = {Using Model Theory to Specify AI Programs},
  author    = {Frisch, Alan M.},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {148--153},
  year      = {1985},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1985/27},
}

TY  - CPAPER
TI  - Using Model Theory to Specify AI Programs
AU  - Frisch, Alan M.
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 148
EP  - 153
UR  - https://ijcai.org/proceedings/1985/27
ER  -