Инженерия знаний – Логика первого порядка – Искусственный интеллект – 15A05606 – Модуль 2 – Логич...

Модуль 2 – Логическое мышление
Логика первого порядка / Логика предикатов – Часть III – Инженерия знаний
Инженер знаний – это тот, кто
исследует конкретную предметную область,
узнаёт, какие концепции важны в этой области, и
создаёт формальное представление объектов и отношений в этой предметной области.
База знаний общего назначения
Поддержка запросов по всему спектру человеческих знаний.
В этом случае мы можем ожидать любого типа запроса, который база знаний должна будет вывести.
База знаний специального назначения
С ограниченной предметной областью (специфической для конкретной задачи), где ожидаемые запросы известны заранее.

Этапы процесса инженерии знаний
Определение задачи
Сбор соответствующих знаний
Выбор словаря предикатов, функций и констант
Кодирование общих знаний о предметной области
Кодирование описания конкретного экземпляра проблемы
Задача запросов к процедуре вывода и получение ответов
Отладка базы знаний

1. Определение задачи.
Определение задачи, аналогичной проектированию PEAS.
Инженер по знаниям должен описать круг вопросов, которые будет поддерживать база знаний.
Найти факты, доступные для каждого конкретного случая проблемы.
Действительно ли схема корректно складывается? (проверка схемы).

2. Собрать соответствующие знания.
Состоит из проводов и вентилей;

Типы вентилей (И, ИЛИ, ИСКЛЮЧАЮЩЕЕ ИЛИ, НЕ).

Не имеет значения: размер, форма, цвет, стоимость вентилей.

3. Определить словарь.
Перевести важные понятия уровня предметной области в имена уровня логики.
После того, как сделан выбор между предикатами, функциями и константами, результатом становится словарь, который представляет собой онтологию предметной области. Тип(X1) = XOR
Тип(X1, XOR)
XOR(X1)

Тип(X2) = XOR
Тип(X2, XOR)
XOR(X2)

Тип(A1) = AND
Тип(A1, AND)
AND(A1)

Тип(A2) = AND
Тип(A2, AND)
AND(A2)

Тип(O1) = OR
Тип(O1, OR)
OR(O1)

4. Кодирование общих знаний о предметной области
t1, t2 Connected(t1, t2)  Signal(t1) = Signal(t2) (t = терминал, g = вентиль)
t Signal(t) = 1  Signal(t) = 0, 1 ≠ 0
t1, t2 Connected(t1, t2)  Connected(t2, t1)
g Тип(g) = ИЛИ  Сигнал(Выход(1,g)) = 1  n Сигнал(Вход(n,g)) = 1
g Тип(g) = И  Сигнал(Выход(1,g)) = 0  n Сигнал(Вход(n,g)) = 0
g Тип(g) = Исключающее ИЛИ  Сигнал(Выход(1,g)) = 1  Сигнал(Вход(1,g)) ≠ Сигнал(Вход(2,g))
g Тип(g) = НЕ  Сигнал(Выход(1,g)) ≠ Сигнал(Вход(1,g))

5. Закодируйте конкретный тип экземпляра задачи
(X1) = Исключающее ИЛИ Тип(X2) = Исключающее ИЛИ
Тип(A1) = И Тип(A2) = И
Тип(O1) = ИЛИ Тип(C1) = Схема
Подключено(Выход(1,X1),Вход(1,X2)) Подключено(Вход(1,C1),Вход(1,X1))
Подключено(Выход(1,X1),Вход(2,A2)) Подключено(Вход(1,C1),Вход(1,A1))
Подключено(Выход(1,A2),Вход(1,O1)) Подключено(Вход(2,C1),Вход(2,X1))
Подключено(Выход(1,A1),Вход(2,O1)) Подключено(Вход(2,C1),Вход(2,A1))
Подключено(Выход(1,X2),Вход(1,C1)) Подключено(Вход(3,C1),Вход(2,X2))
Подключено(Выход(1,O1),Вход(2,C1)) Подключено(Вход(3,C1),Вход(1,A2))

6. Подача запросов к Процедура вывода
Каковы возможные наборы значений всех выводов схемы сумматора?

i1,i2,i3,o1,o2 Сигнал(Вх(1,C1)) = i1  Сигнал(Вх(2,C1)) = i2  Сигнал(Вх(3,C1)) = i3  Сигнал(Вых(1,C1)) = o1  Сигнал(Вых(2,C1)) = o2
Происходит замена переменных i1,i2,i3 значениями (1/0).
Окончательный запрос вернёт полный набор с заданными входами и выходами устройства.
Это следует использовать для проверки корректности суммирования входов.
Это называется проверкой схемы.

7. Отладка базы знаний
Нам нужно просматривать базу знаний разными способами.
Система не может выдать выходные данные при отсутствии сигналов.
Если все входные данные равны 000, то выходные данные также равны 00.
И т. д.
Возможно, были пропущены утверждения, например, 1 ≠ 0.

Подпишитесь на этот канал, оставляйте комментарии и делитесь с друзьями.

Для получения учебной программы, учебников, материалов, экзаменационных работ прошлых лет и важных вопросов.
Подпишитесь на меня в
Блоге: https://dsumathi.blogspot.com/
Странице в Facebook: https://www.facebook.com/profile.php?...
Instagram:   / dsumathiphd