论文部分内容阅读
该文以人工智能基础语言ＲＯＯＴ为背景，讨论了元级知识表示的论域结构。在ＲＯＯＴ语言中，对象（ｏｂｊｅｃｅ）是知识单元与方法的有机整体，方法通过对知识单元中知识的使用完成必要的推理行为。从语义上讲，方法是关于知识单元的元级程序设计，如何有效统一的描述方法的论域结构成为方法的语义问题的基础。这里需要权衡两个方面的问题：１．如何反映方法对知识单元灵活的处理手段；２．如何保持论域结构与知识单元各成份之间的自然对应关系。为此，引入了模式表（ｐａｔｔｅｒｎ ｌｉｓｔ）。进一步，根据知识单元的表示，定义了各种类型的合式模式表，讨论了它们的结构特征。结合ＲＯＯＴ的层次性、区域性的元级程序设计、思想，还讨论了符号属性的一致性问题。（本刊录）