Contents of Report


[Data of Report]

Report Number:
TR0238
Date of Registration:
1987.03
English Title:
On Semantics of Logic Programs with Uncertainties
Japanese Title:
***
English Author:
Y.Sakakibara
Japanese:
榊原 康文
Name of Organization to which author belongs:
Fujitsu
PDF:
tr0238.pdf

[Contents]

Title.... 2
Abstract.... 3
1Introduction.... 4
2Logic Programs with Uncertainties.... 5
3Semantics for Logic Programs with Uncertainties.... 6
4Proof procedure for Logic Programs with Uncertainties.... 9
5Negation as failure in Logic Programs with Uncertainties.... 13
6Certainties as Control.... 19
7Conclusions.... 19
Acknowledgements.... 21
References.... 22


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports