面向功能的表达系统HAR

FUNCTION-ORIENTED REPRESENTATION SYSTEM HAR

HAR(Hypothesis Associative Representation)系统是一个面向功能的表达系统,由三部分组成:表达语言HARL、知识库管理子系统和推理机.HAR系统提供了三级描述和假设联想功能,把领域知识的表达和运用知识的推理控制策略紧密地结合在一起,实现对子问题求解的功能化表达.

HAR (Hypothesis Associative Representation) system is a function-oriented representation system, which is composed of three components: the representation language HARL, the subsystem for knowledge base management, and the inference engine. Because HAR system provides the function of three-level description and hypothesis-based association, the representation of domain knowledge can be combined closely with the inference control for using the knowledge so as to realize the functional representation of subproblem solving.