Controlling knowledge deduction in a declarative approach

Authors:
Herve Gallaire;Claudine Lasserre
Affiliations:
ENSAE, CERT, Toulouse Cedex, France;ENSAE, Toulouse Cedex, France
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Year:
1979

Citing 4
Cited 1

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Generalized procedure calling and content-directed invocation

Proceedings of the 1977 symposium on Artificial intelligence and programming languages
From PLANNER to CONNIVER: a genetic approach

AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
In defense of logic

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1

Multimodal reasoning for automatic model construction

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

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.