Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design
Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design
复制标题
DOI：
10.1109/mex.1986.4306977
复制
发表时间：
1986-09
期刊：
影响因子：
--
通讯作者：
B. Chandrasekaran
中科院分区：
文献类型：
--
作者：
B. Chandrasekaran
ル カ シ ュ ビ ッ ツ の 無限値 論理 をべ 一 ス に した フ ァ ジ ィ アブ ダク シ ョ ン を提案す る.一般 に多値論 埋 に おける modus ponens や modus tolens で は推 論結果 は 一 意 に決 まらず,真 理値 の 集合 と して 得 られる.本研究で は ある制限 さ れ た 状況で行なわ れ る modus ponens と modus tolens に つ い て 考察 し , そ の 状況下 で の 推論 (因 果推論 と呼ぶ )に関する仮説を導入 する.そ して そ れ に従 えば推 論結果が 一 意 に 定 まる こ とを示す。次 に , こ の 因果推論 に基づ い て導出可能とい う概念 と与えられ た フ ァ ジ ィ 集合 を導出す るフ ァ ジ ィ 説明 の 概念 を導入 し, それ らの 性質 と解構造 に つ い て 議 論す る,さら に フ ァ ジ ィ ア ブ ダクシ ョ ン を こ の フ ァ ジ ィ 説明 を導 く手続きとして 定義す る.最 後 に , 提 案 した フ ァ ジ ィ ア ブ ダ ク シ ョ ン を用 い た 計算例 を示す.