PPQQRRはいずれも命題である。命題PPの真理値は真であり,命題(not P) or Q(\mathrm{not}\ P)\ \mathrm{or}\ Q及び命題(not Q) or R(\mathrm{not}\ Q)\ \mathrm{or}\ Rのいずれの真理値も真であることが分かっている。QQRRの真理値はどれか。ここで,X or YX\ \mathrm{or}\ YXXYYの論理和,not X\mathrm{not}\ XXXの否定を表す。

出典平成30年度 春期 基本情報技術者試験 午前 問3
"AならばBである"というルールを人間があらかじめ設定して,新しい知識を論理式で表現したルールに基づく推論の結果として,解を求めるものである。
厳密な解でなくてもなるべく正解に近い解を得るようにする方法であり,特定分野に特化せずに,広範囲で汎用的な問題解決ができるようにするものである。
人間の脳神経回路を模倣して,認識などの知能を実現する方法であり,ニューラルネットワークを用いて,人間と同じような認識ができるようにするものである。
判断ルールを作成できる医療診断などの分野に限定されるが,症状から特定の病気に絞り込むといった,確率的に高い判断ができる。