</>
[pic]

...  ↑

lidenskap_frost

Он там привлекает различные математические и не очень способы, для моделирования рассуждений: исчисление высказываний, исчисление предикатов, силлогистику, семантические сети. Как я понял, книга ориентируется на возможность моделирования рассуждений в свете создания искусственного интеллекта.

12 комментариев

сначала старые сначала новые