DocumentCode
2802716
Title
A new logical view of knowledge manipulation with PROLOG
Author
Jacquenet, François ; Foucherot, Irène
Author_Institution
Fac. des Sci. Mirand, Centre de Recherche en Inf. de Dijon, France
fYear
1996
fDate
18-20 Nov 1996
Firstpage
2
Lastpage
5
Abstract
Dynamic knowledge processing in PROLOG is currently done using assert/retract predicates. The first consequence of such a facility is that these predicates cause problems for the declarativeness of the PROLOG language. Moreover, a second consequence is that the consistency of the PROLOG programs that use such predicates is no longer guaranteed. To solve this latter problem, the authors introduce a new vision of assert/retract predicates in the PLEASE system
Keywords
PROLOG; knowledge based systems; knowledge engineering; logic programming; PLEASE system; PROLOG; PROLOG program consistency; assert predicates; declarativeness; dynamic knowledge processing; knowledge manipulation; logical view; retract predicates; Australia; Engines; Expert systems; Information systems; Intelligent systems; Logic design; Logic programming; Manipulator dynamics; Programming profession;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Information Systems, 1996., Australian and New Zealand Conference on
Conference_Location
Adelaide, SA
Print_ISBN
0-7803-3667-4
Type
conf
DOI
10.1109/ANZIIS.1996.573874
Filename
573874
Link To Document