推論
ってなんだろな
知識表現
、
モデル化
方法が定まってからの話になると思う
内包的情報
から
定義
してしまってもいいだろうか？
もちろん
自然演繹
などと
整合性
を保つ必要はある。