機械加工における知識ベースの無矛盾管理システム

概要

論文の詳細を見る
It is possible to incorporate a system which manages a knowledge base into an expert system. Because, by using this system, we can rebuild knowledge bases which have no logical contradictions with knowledge of experts and phenomena which we experience daily. However, it is difficult to build beyond systems in the machining field due to the existence of many kinds of knowledge, if we want to achieve rebuilding of the knowledge bases using current representation language. Thus, we developed a truth maintenance system for knowledge bases by using a new predicate-logic representation language. This paper describes how to manage knowledge bases and how to treat the functions in a truth maintenance system using this system when contradictions occur in the practical machining problem.
一般社団法人日本機械学会の論文
1992-08-25