The inheritance mechanism of a System Integrating Logic in Objects

Author

Hatzilygeroudis, Ioannis ; Reichgelt, Han

Author_Institution

Computer Technol. Inst., Patras, Greece

fYear

1994

fDate

6-9 Nov 1994

Firstpage

724

Lastpage

727

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on

Conference_Location

New Orleans, LA

Print_ISBN

0-8186-6785-0

Type

conf

DOI

10.1109/TAI.1994.346416

Filename

346416