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

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

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

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