知識と推論 - 初学者の箸置

何となく人工知能モードで読んでみることにしたんだけれど、どうなることやら。

とりあえずミニマックス、αβカットと、ゲーム屋には常識のレベルの所までは簡単に済んだ。さてここからだ。。。
＃なんか反復法の説明が間違ってはいないんだけど、なんか変。

労組の集会中に読む（ヒドイ）メソッド。

この章で学ぶのは形式論理。人間の持っている知識＆推論過程を形式的に扱う手法。
体系さまざまある。この本では

を学ぶ

命題記号で１つの命題を表す。たとえば　p: 「熱がある」 q: 「腹痛がある」 r:「風邪である」　としたとき $(p \wedge q\) \rightarrow r$ と表記するってやつ（全網羅はムチャ）。

知識とは正しいと（証明 or 初期条件にて）認められた命題、という解釈でよいんだろうか。

論理定数： $true$ と $false$ のこと
命題記号：命題となる文を表す。以降 $p,q,r...$ のようなアルファベット小文字
論理記号： $\wedge, \vee, \neg, \rightarrow, \leftrightarrow$ とか。面白いのは $p\rightarrow q \equiv \neg p \wedge q$ であること。よくある話でこの式から $p$ が $false$ だった場合、 $p\rightarrow q$ は常にtrue になる。