形式論理によって知識を構造化するアプローチの衰退

命題論理、述語論理、様相論理といった形式論理によって知識を構造化するアプローチは計算機科学では見捨てられつつあるという認識yuiseki.icon

エキスパートシステム

ルールベース

知識ベース

機械学習、深層学習に取って代わられた

Ubieはこのアプローチで結構うまくやってる

私もこの方針にゴリゴリにこだわるつもりはない

一方でこれにこだわり続けている人々もいる

また、チャットボットにおいては丁寧に作り込まれたルールベースでうまくいっている事例もあるようだ

私達の社会や生活を支える計算機科学は過去の偉人たちによる論理記述によって発展してきたという事実はある