Contents of Report
[Data of Report]
Report Number:
TR0639
Date of Registration:
1991.04
English Title:
Boolean-valued Logic Programming Language Scheme LIFE-III
Japanese Title:
***
English Author:
J.Yamaguchi
Japanese:
***
Name of Organization to which author belongs:
Kanagawa Univ.
PDF:
tr0639.pdf
[Contents]
Introduction
.... 3
The Idea of Life-
.... 4
Boolean algebraic semantic of SLD-resolution
.... 7
Boolean-valued logic Programming language Scheme LIFE-I
.... 9
Generalization
.... 11
Concluding Remarks
.... 13
1
Definition of LIFE-III and Its Theoretical Background
.... 15
1.1
Declarative semantics of Boolean-valued model
.... 18
1.2
Procedual semantics of Boolean-valued unification
.... 23
1.3
Soundness of LIFE-III
.... 31
1.4
Fixed point semantics of LIFE-III
.... 40
1.5
Completeness of LIFE-III
.... 46
2
Relativized Completeness
.... 52
2.1
Preliminaries
.... 52
2.2
J-faithfulness
.... 54
2.3
( , )-absoluteness
.... 63
2.4
More about Logical Completeness
.... 72
3
Some Remarks with Examples
.... 75
4
Universal Unification from a Viewpoint of LIFE-III
.... 86
4.1
Universal Unification
.... 88
4.2
B-valued unification from a viewpoint of universal unification
.... 97
4.3
Universal unification from a viewopoint of B-valued unification
.... 99
4.4
logical completeness of universal unification from a viewpoint of LIFE-III
.... 106
4.5
Conclusion
.... 109
5
A L-fuzzy Inferential System;F-LIFE
.... 110
5.1
Definition of F-LIFE
.... 110
5.2
Theoretical Background of F-LIFE
.... 117
6
Qualitative Deduction,Universal Unification and Non-monotonic Resoning
.... 125
6.1
A Preliminary example of qualitative deduction
.... 127
6.2
Two-lane unification
.... 131
6.3
A.B.F.E.-unification and non-monotonic reasoning
.... 136
6.4
Boolean-valued interpretation
.... 140
References
.... 146
End
.... 149
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports