Вы находитесь на странице: 1из 5

Министерство образования Республики Беларусь

Учреждение образования
“Белорусский государственный университет
информатики и радиоэлектроники”
Факультет информационных технологий и управления
Кафедра интеллектуальных информационных технологий

Лабораторная работа №2
по дисциплине «Логические основы интеллектуальных систем»

Выполнил Загорский А.Г.


студент группы
721702

Проверил Ивашенко В.П.

Минск 2020
Вариант: 16. Процедура равносильного преобразования дизъюнкции существования.
(A\/Exist(V,C)) <=> Exist(V,(A\/C))

Алгоритм:
- Достаём последнюю формулу из стека. Если формулы нет, выводим соответствующее
сообщение в лог.
- Проверяем тип формулы. Если он отличен от дизъюнкции, выводим сообщение о
неправильной входной функции.
- Получаем два дизъюнкта. Если дизъюнкт получить не удалось, выводим сообщение о
неправильной входной функции.
- Определяем, какой из дизъюнктов есть формула существования. Получаем три
подформулы.
- Получаем атомы из подформул для вывода в лог. Если атом получен не был, выводим
соответствующее сообщение в лог.
- Создаём новую дизъюнкцию из подформул.
- Создаём существование из дизъюнкции и подформулы.
- Выводим полученную цепочку в лог.
- Добавляем полученную формулу в стэк.
- Вызываем процедуру решения существования.
- Удаляем формулу существования.
- Передаём результат процедуры

Реализация: тут
Для запуска в main вызвать тестер

Тестирование:
1. Исходная цепочка: (Exist,(atom,V),(atom,C))
Получена ошибка о неправильной входной формуле
2. Исходная цепочка: (disjunction,(atom,A),(Exist,(atom,V),(atom,C)))
Полученная цепочка: (exist, (atom,V),(disjunction,(atom,A),(atom,C)))
3. Исходная цепочка: (disjunction,(Exist,(atom,V),(atom,C)),(atom,A))
Полученная цепочка: (exist, (atom,V),(disjunction,(atom,A),(atom,C)))
Вывод:

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


виде sc-цепочек на базе языка m4scp, была реализована процедура равносильного
преобразования дизъюнкции существования.

Представление логических формул осуществляется в следующем виде на примере


дизъюнкции существования: (disjunction,(Exist,(atom,V),(atom,C)),(atom,A)). Головным
элементом формулы является тип формулы. Остальные элементы -- подформулы.

Выполнено тестирование процедуры на различных наборах параметров, чтобы проверить


корректность их выполнения. Все ожидаемые результаты тестов совпали с полученными в
ходе выполнения тестовых программ результатами.