Проблемы искусственного интеллекта

Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран.

Для научных работников и инженеров, занимающихся проблемами искусственного... (Подробнее)

Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний, особое внимание... (Подробнее)

Книга посвящена проблеме формализации языковых данных в интеллектуальных системах. Основное внимание уделено языковым средствам представления знаний и вопросам распознавания межфразовых связей в деловых текстах. Подробно рассматривается "гипотеза индикации", определяющая методы анализа большого... (Подробнее)

Практические задачи проектирования автоматизированных банков данных стимулировали развитие новых методов математического моделирования, предназначенных для отражения семантики предметных областей и для обеспечения жизнеспособности и эффективности разрабатываемых систем. Эти методы широко используют аппарат... (Подробнее)