確定節で表された知識ベースの無矛盾性維持に関する研究

定语从句表达的知识库一致性维护研究

• 批准号: 63633508
• 负责人: 中川 裕志
• 金额: $ 1.15万
• 依托单位: Yokohama National University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-63633508/
• 关键词: 論理プログラム; 否定; プログラム変換; 層状プログラム; 展開-たたき込み; プログラムの意味論

本年度は、知識ベースの無矛盾性維持の基礎理講となる「否定」の扱いに関して、意味論的及び手続き論的観点から以下の研究を行った。1.否定に関する意味論的考察否定情報を含む論理プログラムは、一般論理プログラムと呼ばれるが、その意味論は、未だ不完全な部分が多い。しかし、最近の研究成果としてプログラムの各述語に呼び出し関係から導ける順位付けを行い、その順位付けが一定の条件を満たす層状プログラムという概念が提案されている。この条件とは、否定の述語の定義がその述語以外の述語によって定義されなければならないことを要請するものである。このような制限を付けた層状プログラムでは、完全モデルと呼ばれる意味論が有力であり、しかも、完全モデル意味論は、従来の極小限度と密接に関係していることが明らかにされている。我々は、層状プログラムにおいて否定で用いられている述語を、正の述語のみによって定義できることを示し、否定の意味論を明らかにした。2.手続き的意味論1.で述べた意味論に従って述語の否定を陽に定義するためには、述語の否定を別の正の述語のみで定義した形に変換しなければならない。我々は、このような変換が可能な論理プログラムの性質を明らかにした。すなわち、ある述語が展開、たたみ込みなどの等価性を維持するプログラム変換によって、本体部のみに現れる変数(内部変数と呼ばれる)を含まないプログラムに変換できればよい。つまり、このクラスのプログラムに対しては、述語の否定の定義を機械的に計算する方法がある。そして、内部変数のないプログラムに変換可能なプログラムの性質を明らかにし、同時にこの変換を自動的に行う方法を提案した。

This year は, knowledge ベ ー ス の no contradiction between maintaining の basic principle about と な る "negative" の Cha い に masato し て, mean theory and hand び 続 き theory point of 観 か ら following の を line っ た. 1. No に masato す る means negation of intelligence を containing む logical プ ロ グ ラ ム は, general logical プ ロ グ ラ ム と shout ば れ る が, そ は の mean theory part, not だ incomplete な が い. し か し, recent advances の と し て プ ロ グ ラ ム の each predicate に shout び out し masato is か ら guide け る line to pay け を い, そ の line to pay け certain conditions の が を against た す layered プ ロ グ ラ ム と い う concept proposed が さ れ て い る. こ の conditions と は, negative の adnex の definition が そ の adnex outside の adnex に よ っ て definition さ れ な け れ ば な ら な い こ と を to please す る も の で あ る. Limitations こ の よ う な を pay け た layered プ ロ グ ラ ム で は, completely モ デ ル と shout ば れ る mean theory が powerful で あ り, し か も, completely モ デ は ル mean theory, 従 の minimum limit と contact に masato is し て い る こ と が Ming ら か に さ れ て い る. I 々 は, layered プ ロ グ ラ ム に お い て negative で with い ら れ て い る adnex を, is の adnex の み に よ っ て definition で き る こ と を し, theory of negative の mean を Ming ら か に し た. 2. Hand 続 き mean theory 1. で above べ た mean theory に 従 っ て adnex を Yang に の negation definition す る た め に は, predicate の negative を don't の is の adnex の み で definition し た form に variations in し な け れ ば な ら な い. I 々 は, こ の よ う な variations in が might な logical プ ロ グ ラ ム の nature を Ming ら か に し た. す な わ ち, あ る adnex が unrolling, た た み 込 み な ど の 価 such as sexual を maintain す る プ ロ グ ラ ム variations in に よ っ て, ontology の み に now れ る - number (number of internal - と shout ば れ る) contains を ま な い プ ロ グ ラ ム に variations in で き れ ば よ い. Youdaoplaceholder0 ま がある, <s:1> <s:1> ラス ラス ラス ラス プログラムに for て て, the statement <s:1> negates がある defines the に calculation する method がある of を machinery がある. そ し て, internal - の な い プ ロ グ ラ ム に variations in May な プ ロ グ ラ ム の nature を Ming ら か に し, at the same time に こ の variations in を automatic line に う method proposed を し た.

项目成果

中川裕志: 情報処理. 29-6. (1989)

中川宏：信息处理。29-6。

中川裕志: コンピュータソフトウェア(日本ソフトウェア科学会誌). 6-2. (1989)

中川浩：计算机软件（日本软件学会杂志）6-2。

沈涵: 人工知能学会誌. 4-3. (1989)

申瀚：人工智能学会学报，1989。