Материал: Описание самостоятельной работы студентов по дисциплине Cистемы представления знаний
10.Какое основное ограничение накладывается на предметную область семантическими вычислительными сетями?
11.Что такое структурный синтез программ?
12.Что такое предложение вычислимости?
13.Что такое многоточечное выражение?
6.2.Задачи для самостоятельного решения
6.2.1. Определение квадранта
Задана точка Р в прямоугольной системе координат. Имеются два примитивных предиката
Х(Р)= true, если абсцисса точки Р больше нуля false в противном случае.
Y(P)=true, если ордината точки Р больше нуля false в противном случае
Cпецифицировать формулами исчисления предикатов и синтезировать методом резолюций программу, определяющую номер квадранта, которому принадлежит точка Р (номера квадрантов считают примитивными константами)
2 1
3 4
26
6.2.2. Элементарная физика
Известен закон Ома и правила определения тока и напряжения для последовательного и параллельного соединения. Построить модель предметной области для данной схемы.
Рассмотреть применение алгоритмов структурного синтеза программ для решения следующих задач:
1)дано R1, R2, R3, U. Найти I.
2)дано R1, R2, R3. Найти R всей схемы.
R1
R3
R2
I
U
6.2.3. Максимум
Специфицировать формулами исчисления предикатов и синтезировать методом резолюций программу вычисления
Z = max (x, y), считая, что предикат P(x, y) = x > y примитивный.
27