12/01/04 21:45:22.34
>>87
ハード計算が計算機の立場の情報処理技術、
ソフト計算が人間の立場の情報処理技術。
論理について考えると、
命題論理・一階述語論理はハード計算。
様相論理・時相論理・多値論理・関係論理・ﾊﾟﾗｺﾝｼｽﾃﾝﾄ論理・曖昧論理・
ファジー論理はソフト計算。
だから命題論理や一階述語論理の応用である論理プログラムもハード計算になる。
12/01/04 21:45:22.34
>>87
ハード計算が計算機の立場の情報処理技術、
ソフト計算が人間の立場の情報処理技術。
論理について考えると、
命題論理・一階述語論理はハード計算。
様相論理・時相論理・多値論理・関係論理・ﾊﾟﾗｺﾝｼｽﾃﾝﾄ論理・曖昧論理・
ファジー論理はソフト計算。
だから命題論理や一階述語論理の応用である論理プログラムもハード計算になる。