sakstyle https://blog.hatena.ne.jp/sakstyle/ logical cypher scape2 https://sakstyle.hatenadiary.jp/ 哲学 昨日読んだ、人工知能の第一人者J・マッカーシー氏に聞く--AI研究、半世紀の歴史を振り返るに載っていた「非単調推論」がとても面白そう。 例えば、あるステートメントPがあり、これが複数のステートメントの集合Aから推論可能であるとします。また、別のステートメントの集合Bがあり、BにはAに含まれるすべてのステートメントが含まれているとします。通常の論理的な推論では、ステートメントPはBからも推論可能です。なぜなら、同じ証明が成り立つからです。ところが、人間はそうならないような推論をするのです。たとえば、私が、「ああ、11時には家にいるけれど、君の電話には出られないよ」と言ったとします。最初の「11時… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsakstyle.hatenadiary.jp%2Fentry%2F20060715%2F1153625906" title="昨日読んだ、面白い記事（AI） - logical cypher scape2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-07-15 12:38:26 rich https://sakstyle.hatenadiary.jp/entry/20060715/1153625906 1.0 100%