帰属計算

帰属計算は、リシャルト・S・ミハルスキによって定義された論理・表現体系です。述語論理命題論理多値論理の要素を組み合わせたものです。帰属計算は、人間が読める形式で結果を得る帰納的学習プロセスである自然帰納のための形式言語を提供します。

参考文献

  • Michalski, RS、「ATTRIBUTIONAL CALCULUS: 自然帰納法のための論理および表現言語」、機械学習および推論研究所の報告書、MLI 04–2、ジョージ・メイソン大学、バージニア州フェアファックス、2004 年 4 月。