Contents of Report

[Data of Report]

Report Number:
TR0895
Date of Registration:
1994.10
English Title:
***
Japanese Title:
状況理論による法的推論の形式化
English Author:
S.Tojo,S.Wong,K.Nitta,K.Yokota
Japanese:
東条 敏,***,新田 克己,横田 一正
Name of Organization to which author belongs:
MRI,Univ of California,ICOT,ICOT
PDF:
tr0895.pdf

[Contents]

概要.... 2
1はじめに.... 2
2法的推論の形式的モデル.... 3
2.1状況理論の導入.... 3
2.2状況理論の一般概念.... 4
2.3インフォンおよび状況の一致.... 4
2.4状況推論のルール.... 5
2.5置換とアンカー.... 7
3Quixoteによる実装.... 7
3.1インフォン,状況,一致の概念およびルールの実装.... 7
3.2事件およびルールの改正.... 9
3.3質問の処理と応答.... 10
4おわりに.... 11
5参考文献.... 12
End.... 16

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

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