命題論理の融合法という推論規則について調べた。推論を機械化できるのはすごい。何も考えなくても記号を組み合わせるだけで結論を出せるのは驚きだ。古い人工知能は物理記号システム仮説を基礎においていると習ったことがある。 物理記号システム仮説 Physi…