論理プログラムとして表された知識ベ-スの無矛盾性維持に関する研究

逻辑程序表示的知识库一致性维护研究

• 批准号: 01633509
• 负责人: 田村 直良
• 金额: $ 1.09万
• 依托单位: Yokohama National University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-01633509/
• 关键词: 述語論理; 論理プログラム; 層状プログラム; 否定; 意味論; モデル論

論理型言語で用いられる否定は「失敗による否定」だが、これでは、「ある性質を持たないもの」を具体的に求めることができない。例えば、「ペンギンは飛ばないか?即ち?-not(fly(penguin))」という質問にYesと答えることはできるが、「飛ばないものは?即ち-not(fly(X))」という質問に対して「X=ペンギン」という具体値を返せない。また、否定の述語がプログラムの頭部に現われることもできない。本年度は、主として頭部に否定が現れるプログラムの意味論について検討した。1.意味論:否定が本体部にしか現れないプログラムで、各述語に計算の優先順位をつけた層状プログラムの場合については、既にpryzimusinskiによって完全モデル意味論が確立されている。しかし、頭部に否定が現れる場合についての明確な意味はない。これは、ある述語とその否定との両方が証明できてしまう場合(矛盾)に、複数のモデルがプログラムから導かれるが、どのモデルを選択するかを決める方法が明確でないことによる。そこで、ここでは、層状プログラムに見られるような述語単位の優先順位の他にフログラム節間での優先順位を定義した。したがって、矛盾の場合には、優先順位の高いプログラム節から導かれた方の結果を採用する。これによって頭部に否定が現われるプログラムに意味を与えることができた。2.計算:直接に実行すると効率が悪いと予想される1.のモデルを持つプログラムについて、それと等価な、頭部に否定を持たないプログラムが定義でき、さらにそのようなプログラムに元のプログラムを変換する方法を与えた。そして、このように変換されたプログラムが、実は、完全モデルを持つ層状プログラムに一致することを証明した。したがって、頭部に否定を含むプログラムのある部分は通常の論理プログラムと同程度の計算で実行できるプログラムである。

Logical speech is used to negate "failure","nature" and "concrete". For example," That's right. not(fly(penguin))" i.e.,"not fly(X)","X= fly","concrete"," The head of the word "negative" appears on the screen. This year, the main topic of discussion is the discussion of the meaning of the topic. 1. Meaning theory: negation of ontology, calculation of precedence of terms, layer-by-layer arrangement, pryzimusinski, complete meaning theory, establishment of meaning theory. When the head is negative, the meaning is clear. The method of proving the negation of the statement is clear in the case of contradiction, in the case of plural, in the case of choice. The order of precedence of the unit of expression and the order of precedence of the internode of expression are defined. In case of contradiction, priority shall be given to the application of the results of the above procedures. This is the first time I've ever seen a woman. 2. Calculation: Direct implementation of the efficiency rate to be expected 1. The number of items to be held in the list of items to be defined, the number of items to be held in the list of items to be defined, the number of items to be held in the list of items to be changed, etc. This is a proof that the system is consistent with the system. The head of the head is negative, and the head of the head is negative. The head is negative. The

项目成果

沈涵: "内部変数なしの論理プログラムへの変換" 人工知能学会誌. 4. 456-463 (1989)

沉瀚：“转换为没有内部变量的逻辑程序”人工智能学会杂志4. 456-463（1989）。

董方清: "完全モデルに基づく否定の宣言的意味論" Proc.of the Logic Programming Conf.'89. 59-68 (1989)

董芳庆：“基于完整模型的否定的声明语义”，逻辑编程会议89（1989）。