G検定模擬試験第5回問14・人工知能をめぐる動向（知識表現とエキスパートシステム）

述語論理

「すべての人間は死ぬ。ソクラテスは人間である。ゆえにソクラテスは死ぬ」のような推論を、記号と量化子（すべての、ある）を使って厳密に表すための知識表現として、最も適切なものを1つ選べ。

正解と解説を見る

正解：A

述語論理は、量化子（∀、∃）を使って対象の性質や関係を表す論理。エキスパートシステムなどの知識表現・推論の基礎になる。

学習のポイント：真偽だけを扱う命題論理より表現力が高い。

このサイトの問題は、各試験の公開されているシラバスに沿って作ったオリジナルの模擬問題です。本試験の問題ではありません。日本ディープラーニング協会（JDLA）・一般社団法人生成AI活用普及協会（GUGA）の公式サービスではありません。