Contents of Report


[Data of Report]

Report Number:
TM0248
Date of Registration:
1987.01
English Title:
Ascription;An Approach to Formalization of Non-monotonic Reasoning in the Wider Sense
Japanese Title:
***
English Author:
J.Arima
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tm0248.pdf

[Contents]

Abstract.... 2
1Introduction.... 3
2Ascription Schema.... 4
3Model Theory of ascription.... 6
4On consistency of ascription.... 7
5What reasoning can ascription formalize?.... 9
6Conclusion and remarks.... 15
Acknowledgements.... 16
References.... 16


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

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda