Construct an object-oriented constraint logic for explanation based learning

Author

Zhou, Xiaoyou

Author_Institution

Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada

fYear

1992

fDate

28-30 May 1992

Firstpage

233

Lastpage

236

Abstract

Object-oriented constraint logic is a powerful paradigm combining constraint and structured knowledge representation. A prototype of such a logic and its application in explanation based learning is presented. The distinct feature of the proposed logic is its ability to use efficient constraint solving techniques together with the semantics modeled by an object-oriented language. It not only allows deliberate meta-reasoning about the knowledge in the domain theory but also facilitates finding explanation structures that yield conceptual definitions which are both operational and maximally general

Keywords

constraint handling; constraint theory; explanation; formal logic; knowledge representation; learning (artificial intelligence); logic programming; object-oriented languages; constraint knowledge representation; constraint solving; domain theory; explanation based learning; explanation structures; meta-reasoning; object-oriented constraint logic; object-oriented language; semantics; structured knowledge representation; Erbium; Inference algorithms; Knowledge representation; Labeling; Learning systems; Logic design; Object oriented modeling; Prototypes; Virtual manufacturing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on

Conference_Location

Toronto, Ont.

Print_ISBN

0-8186-2812-X

Type

conf

DOI

10.1109/ICCI.1992.227666

Filename

227666