Практикум. 
Символический искусственный интеллект: математические основы представления знаний

Контрольные вопросы.

• 1. В чем состоит дедуктивный синтез программ на основе метода резолюций? Какова область применимости этого метода?
• 2. В чем состоит структурный синтез программ на основе вычислительных семантических сетей? Какова область применимости этого метода?

Задачи для самостоятельного решения А. Специфицируйте формулами исчисления предикатов, сведите к дизъюнктам и синтезируйте методом примитивной резолюции программу (в форме блок-схемы) решения следующей задачи.

Задана точка р в прямоугольной системе координат, причем известно, что точка не лежит на осях координат. Заданы два предиката: Х (р), если абсцисса точки р больше нуля; Y (p), если ордината точки р больше нуля. Построить программу, определяющею номер квадранта, которому принадлежит точка р (квадранты нумеруются против часовой стрелки, начиная с того, где обе координаты положительны).

Б. Постройте семантическую вычислительную сеть для конкретной предметной области и синтезируйте программу решения конкретной задачи с помощью линейного алгоритма синтеза.

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