Controlling Knowledge Deduction in a Declarative Approach
Abstract
This paper is concerned with the problem of introducing user-defined heuristic control over the deduction process in a knowledge based system. Control information is seen as being just another piece of data, separated from the knowledge base the use of which it controls and from the theorem prover. A declarative approach to control expression was retained. Control information is embedded in user's metarules taken from the metalanguage presented in this paper. This metalanguage and a theorem prover interpreting it have been implemented. Examples of its use are given and discussed.
Cite
Text
Gallaire and Lasserre. "Controlling Knowledge Deduction in a Declarative Approach." International Joint Conference on Artificial Intelligence, 1979.Markdown
[Gallaire and Lasserre. "Controlling Knowledge Deduction in a Declarative Approach." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/gallaire1979ijcai-controlling/)BibTeX
@inproceedings{gallaire1979ijcai-controlling,
title = {{Controlling Knowledge Deduction in a Declarative Approach}},
author = {Gallaire, Hervé and Lasserre, Claudine},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {300},
url = {https://mlanthology.org/ijcai/1979/gallaire1979ijcai-controlling/}
}