【摘要】 本文简要介绍了工具系统MES1的知识获取子系统的语法、语义检查模块包含的元知识.通过对与"方法"中的一个条目"GENERAL"和任务规则集的一些相关的元知识的描述,阐明了MES1借助元知识进行一致性、完备性检验的基本方法.本文最后给出了比较两条产生式规则前件所使用的化任意逻辑表达式为标准型的LISP函数.更多还原

【Abstract】 This paper briefly introduces some meta-knowledge which arc volved in grammatical and semantic checking modules of knowledge acquisition sub-system of tool system MESl. We clarify some basic methods checking consistency and completeness of knowledge base by describing some meta-knowledge relevant to the term GENERAL of"method" and the task-rule set. Lastly,the paper shows a LISP function to turn any logical expression into a standard form.更多还原