Premium
Prolog/Rex inference engine
Author(s) -
Vraneš Sanja,
Stanojevic Mladen
Publication year - 1995
Publication title -
expert systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.365
H-Index - 38
eISSN - 1468-0394
pISSN - 0266-4720
DOI - 10.1111/j.1468-0394.1995.tb00113.x
Subject(s) - prolog , computer science , forward chaining , backward chaining , inference engine , heuristics , programming language , search engine indexing , inference , expert system , chaining , scheme (mathematics) , rule of inference , artificial intelligence , operating system , psychology , mathematical analysis , mathematics , psychotherapist
Prolog/Rex supports the construction of knowledge‐based systems, allowing frames (Prolog/Rex concepts) and rules to be combined, and providing language level support for hypothetical reasoning and assumption‐based truth maintenance (Prolog/Rex viewpoint mechanism). To increase run‐time performance during rule execution, Prolog/Rex provides two complementary rule compilation techniques: the simple indexing scheme and the heavily modified Rete expansion method. To improve the efficiency of the inference engine, we built an agenda‐based rule manager that uses priority mechanism and/or heuristics embedded in meta‐rules to control the rule firing order. Forward‐ and backward‐chaining can be combined within the same program.