[userpic]

... 

lidenskap_frost в посте Metapractice (оригинал в ЖЖ)

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

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

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