@article{oai:sucra.repo.nii.ac.jp:00012722,
 author = {長坂, 保美 and 秋山, 牧雄 and 大滝, 英征 and 石川, 義雄},
 issue = {552},
 journal = {日本機械学會論文集. C編},
 month = {},
 note = {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., text, application/pdf},
 pages = {2560--2565},
 title = {機械加工における知識ベースの無矛盾管理システム},
 volume = {58},
 year = {1992},
 yomi = {ナガサカ, ヤスミ and アキヤマ, マキオ and オオタキ, ヒデユキ and イシカワ, ヨシオ}
}