Title :
The inheritance mechanism of a System Integrating Logic in Objects
Author :
Hatzilygeroudis, Ioannis ; Reichgelt, Han
Author_Institution :
Computer Technol. Inst., Patras, Greece
Abstract :
The inheritance mechanism of SILO, a System Integrating Logic in Objects, is presented. It comprises two components, a hardwired and a user-definable. In the hardwired component, apart from overriding, solution invalidation is also used. The user-definable component consists of a number of user-definable functions to control inheritance, called meta-functions. The architecture employed to realize explicit representation of control knowledge is based on a partial reflection meta-level architecture
Keywords :
inheritance; knowledge representation; logic programming; object-oriented programming; SILO; System Integrating Logic in Objects; control knowledge; explicit representation; first-order logic; general purpose knowledge representation system; hardwired component; inheritance mechanism; logic programming; meta-functions; object-based framework; overriding; partial reflection meta-level architecture; solution invalidation; user-definable component; user-definable functions; Control systems; Knowledge representation; Logic; Message passing; Reflection;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346416
