The restricted language architecture of a hybrid representation system

Authors:
Marc Vilain
Affiliations:
BBN Laboratories, Cambridge, MA
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 3
Cited 5

Truth Maintenance Systems for Problem Solving

Truth Maintenance Systems for Problem Solving
Determining Type, Part, Color, and Time Relationships

Computer
Krypton: A Functional Approach to Knowledge Representation

Computer

An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Counterfactual reasoning with direct models

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Counterfactual reasoning with direct models

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Deduction as parsing: tractable classification in the KL-ONE framework

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Semantic web reasoners and languages

Artificial Intelligence Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

Hybrid architectures have been used in several recent knowledge representation systems. This paper explores some distinctions between various hybrid representation architectures, focusing in particular on systems built around restricted representation languages. This restricted language architecture is illustrated by describing KL-TWO, a hybrid reasoner based on the restricted representation facility RUP. The bulk of this paper discusses KL-TWO, its subcomponents, and the techniques used to interface them.