{"type":"ScholarlyArticle","title":"CONTROLLING KNOWLEDGE DEDUCTION IN A DECLARATIVE APPROACH","authors":[{"name":"Hervé Gallaire","slug":"herve-gallaire","given":"Hervé","family":"Gallaire","affiliation":"ENSAE -CERT 2 , Avenue Edouard Belin 310SS Toulouse Cedex France"},{"name":"Claudine Lasserre","slug":"claudine-lasserre","given":"Claudine","family":"Lasserre","affiliation":"ENSAE 10 , Avenue Edouard Belin 310SS Toulouse Cedex France"}],"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 metarul e s 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.","doi":null,"url":"https://ijcai.org/proceedings/1979/236","pdf":"https://ijcai.org/proceedings/1979/0236.pdf","markdown":"https://ijcai.org/proceedings/1979/236.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/236","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":236,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[{"position":1,"raw":"REFERENC~:s","title":"REFERENC~","authors":null,"year":null,"venue":"REFERENC~","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"I Chang, C.L. and Lee, R. \"Symbolic Logic and Mechanical Theorem Proving\" Academic Press, 1973 S-6","title":"Symbolic Logic and Mechanical Theorem Proving","authors":"C L Chang, R Lee","year":"1973","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Davis, R. \"Generalized Procedure Calling and Content Directed Invocation.\" In Proc. Symposium on AI and Programming Languages, Rochester, Au- gust 1977, p 45-54","title":"Generalized Procedure Calling and Content Directed Invocation","authors":"R Davis","year":"1977","venue":"Proc. Symposium on AI and Programming Languages","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Davis, R. and Buchanan, B.G. \"Metalevel know- ledge Overview and Applications.\" In Proc. IJCAI- 2I• MIT, Mass., August 1977, pp 920-927.","title":"Metalevel knowledge Overview and Applications","authors":"R Davis, B G Buchanan","year":"1977","venue":"Proc. IJCAI-2I• MIT","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Friedman, D. and Wise, D. \"Unbounded Computa- tional Structures.\" Software, Practice and Expe- rience. Vol. 8, pp 407-416 (1978).","title":"Unbounded Computational Structures","authors":"D Friedman, D Wise","year":"1978","venue":"Software, Practice and Experience","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Hayes, P. \"In Defence of Logic.\" In Proc. IJCAI-77, pp 559-565.","title":"In Defence of Logic","authors":"P Hayes","year":null,"venue":"Proc. IJCAI-77","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Hill, R. \"Lush Resolution and its Complete-: ness.\" DCL-Memo 78, University of Edinburgh, Aug. 1974.","title":"Lush Resolution and its Complete-: ness","authors":"R Hill","year":"1974","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Kowalski, R. \"Algorithm = Logic + Control.\" Depart. of Computing and Control. Imperial Colle- ge, London, 1976.","title":"Algorithm = Logic + Control","authors":"R Kowalski","year":"1976","venue":"Depart. of Computing and Control","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Kowalski, R. \"Logic for Problem Solving\" DCL- memo 75, University of Edinburgh, 1974.","title":"Logic for Problem Solving","authors":"R Kowalski","year":"1974","venue":"DCLmemo 75","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Lasserre, C. \"Apport de la logique mathemati- que dans les systemes de decision en robotique.\" These Universite Paul Sabatier, Toulouse, 1978.","title":"Apport de la logique mathematique dans les systemes de decision en robotique","authors":"C Lasserre","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Latombe, J.C. (Ed.) \"Artificial Intelligence and Pattern Recognition in Computer Aided Design.\" North Holland, 1978.","title":"Artificial Intelligence and Pattern Recognition in Computer Aided Design","authors":null,"year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Me Cabe, F.G. \"Programmer's Guide to IC- PROLOG 0.7.\" Department of Computing and Control. Imperial College, London, 1979.","title":"Programmer's Guide to IC-PROLOG 0.7","authors":"F G Me Cabe","year":"1979","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Nicolas, J.M. and Gallaire, H. \"Data Base- Theory vs Interpretation.\" In Logic and Data Bases, Plenum Pub. Co, 1978.","title":"Data Base-Theory vs Interpretation","authors":"J M Nicolas, H Gallaire","year":"1978","venue":"Logic and Data Bases","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Roussel, Ph. \"PROLOG : Manuel de Reference et d 'utilisation.\" Groupe d' Intelligence Artifi- cielle. UER de Marseille-Luminy.","title":"PROLOG : Manuel de Reference et d 'utilisation","authors":"Ph Roussel","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"Sussman, G. and Me Dermott, D. \"From Planner to Conniver.\" In Proc. FJCC 1972, pp I 171-1179.","title":"From Planner to Conniver","authors":"G Sussman, D Me Dermott","year":null,"venue":"Proc. FJCC 1972","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"Winograd, T. \"FrameRepresentations and the declarative procedural controversy'' In Represen- tation and Understanding. Academic Press, 1975.","title":"FrameRepresentations and the declarative procedural controversy","authors":"T Winograd","year":"1975","venue":"Representation and Understanding","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Colmerauer, A. Personal Communication.","title":"Personal Communication","authors":"A Colmerauer","year":null,"venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}