At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and...At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.展开更多
实际生产活动中,常有一类关键生产过程,耗资巨大不宜重复或无法重复为了保证这类过程的工作质量,需要不断地通过“事后”的质量分析来改善“事前”拟定的工艺或操作规程。本文论述了针对上述质量分析问题借助于 MIS 给以辅助的方法。包...实际生产活动中,常有一类关键生产过程,耗资巨大不宜重复或无法重复为了保证这类过程的工作质量,需要不断地通过“事后”的质量分析来改善“事前”拟定的工艺或操作规程。本文论述了针对上述质量分析问题借助于 MIS 给以辅助的方法。包括专家经验分解,建立五库模式,实体分析等主要内容。展开更多
文摘At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.