A LOGIC PROGRAMMING APPROACH TO HYBRID KNOWLEDGE REPRESENTATION
作者:
SANGKI HAN,
D. W. SHIN,
Y. KIM,
Y. P. JUN,
S. R. MAENG,
J. W. CHO,
期刊:
Applied Artificial Intelligence
(Taylor Available online 1988)
卷期:
Volume 2,
issue 2
页码: 93-127
ISSN:0883-9514
年代: 1988
DOI:10.1080/08839518808949905
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
A new hybrid system called Sphinx is presented which combines classification-based reasoning with logic programming technique. It consists of two major components: a terminological component and an assertional one. The former uses a frame-based knowledge representation scheme based on classification and the latter is a theorem prover based on Horn logic. The assertional component can also handle a first-order query language and wh-questions. A new knowledge base maintenance mechanism based on the negation as failure inference rule enables Sphinx to support incremental assertions and retractions. In addition, Sphinx provides explanation capability to help the user in developing and debugging knowledge bases.
点击下载:
PDF (1039KB)
返 回