Contents of Report
[Data of Report]
Report Number:
TM0030
Date of Registration:
1983.11
English Title:
***
Japanese Title:
様相命題論理にもとづいた知的主題のモデルの実験
English Author:
K.Mukai
Japanese:
向井 国昭
Name of Organization to which author belongs:
ICOT
PDF:
tm0030.pdf
[Contents]
1
はじめに
.... 3
2
3賢人問題
.... 5
3
knowの形式化
.... 8
4
様相命題計算
.... 9
5
今後の課題
.... 10
付録1
要素魚命題計算プログラム
.... 12
付録2
3賢人問題
.... 16
付録3
3賢人問題の別解
.... 18
End
.... 19
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda