Отчеты о проведении логического вывода
Пример 1.
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := Значение неизвестно
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 1
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
**********************************
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) -- Значение неважно
В(Покупатель, Магазин) -- Значение неважно
ЖесткийДиск.Объем -- Значение неважно
ЖесткийДиск.Цена -- Значение неважно
Кассир.Деньги -- Значение неважно
Кассир.Координаты -- Значение неважно
Кассир.Сдача -- Значение неважно
Купил(Покупатель, ЖесткийДиск) = true
Магазин.В_продаже_есть_ЖД -- Значение неважно
Магазин.Координаты -- Значение неважно
Покинул(Покупатель, Магазин) = true
Покупатель.Деньги -- Значение неважно
Покупатель.Координаты -- Значение неважно
Покупатель.ТребуемыйОбъем -- Значение неважно
Сдача(Кассир, Покупатель) -- Значение неважно
Устраивает(Покупатель, ЖесткийДиск) -- Значение неважно
Устраивает(Покупатель, Магазин) -- Значение неважно
===== Параметры АНАЛИЗА =====
********************************
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := Значение неизвестно
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 1
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
*************************************************************
ПРИМЕНЯЕМ Правило-Действие: "Войти в магазин":
Покупатель вошел в магазин
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
*************************************************
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
*************************************************************
В данной ситуации конфликтуют следующие Правила-Действия:
"Магазин торгует ЖД"
"Проверить в магазине ли покупатель"
Для применения было выбрано правило: "Магазин торгует ЖД"
ПРИМЕНЯЕМ Правило-Действие: "Магазин торгует ЖД":
Этот магазин нас устраивает, в нем есть ЖД.
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************************
В данной ситуации конфликтуют следующие Правила-Действия:
"Проверить в магазине ли кассир"
"Проверить в магазине ли покупатель"
"Позвать кассира"
Для применения было выбрано правило: "Проверить в магазине ли кассир"
ПРИМЕНЯЕМ Правило-Действие: "Проверить в магазине ли кассир":
Кассир стоит у кассы.
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************************
В данной ситуации конфликтуют следующие Правила-Действия:
"Проверить в магазине ли кассир"
"Проверить в магазине ли покупатель"
"Позвать кассира"
"У кассира нашлась сдача"
Для применения было выбрано правило: "У кассира нашлась сдача"
ПРИМЕНЯЕМ Правило-Действие: "У кассира нашлась сдача":
У кассира даже нашлась сдача.
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := true
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := true
Покупатель.Деньги := 2000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 5000
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := true
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := true
Покупатель.Деньги := 2000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.
Время работы = 151 мс
Пример 2.
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := Значение неизвестно
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 1
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
**********************************
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) -- Значение неважно
В(Покупатель, Магазин) -- Значение неважно
ЖесткийДиск.Объем -- Значение неважно
ЖесткийДиск.Цена -- Значение неважно
Кассир.Деньги -- Значение неважно
Кассир.Координаты -- Значение неважно
Кассир.Сдача -- Значение неважно
Купил(Покупатель, ЖесткийДиск) = false
Магазин.В_продаже_есть_ЖД -- Значение неважно
Магазин.Координаты -- Значение неважно
Покинул(Покупатель, Магазин) = true
Покупатель.Деньги -- Значение неважно
Покупатель.Координаты -- Значение неважно
Покупатель.ТребуемыйОбъем -- Значение неважно
Сдача(Кассир, Покупатель) -- Значение неважно
Устраивает(Покупатель, ЖесткийДиск) -- Значение неважно
Устраивает(Покупатель, Магазин) -- Значение неважно
===== Параметры АНАЛИЗА =====
********************************
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := Значение неизвестно
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 1
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
*************************************************************
ПРИМЕНЯЕМ Правило-Действие: "Войти в магазин":
Покупатель вошел в магазин
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
*************************************************
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := Значение неизвестно
===== Параметры АНАЛИЗА =====
*************************************************************
В данной ситуации конфликтуют следующие Правила-Действия:
"Магазин торгует ЖД"
"Проверить в магазине ли покупатель"
Для применения было выбрано правило: "Магазин торгует ЖД"
ПРИМЕНЯЕМ Правило-Действие: "Магазин торгует ЖД":
Этот магазин нас устраивает, в нем есть ЖД.
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := Значение неизвестно
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := Значение неизвестно
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := Значение неизвестно
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************************
В данной ситуации конфликтуют следующие Правила-Действия:
"Проверить в магазине ли кассир"
"Проверить в магазине ли покупатель"
"Позвать кассира"
Для применения было выбрано правило: "Проверить в магазине ли кассир"
ПРИМЕНЯЕМ Правило-Действие: "Проверить в магазине ли кассир":
Кассир стоит у кассы.
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************
************** Уточненное описание ситуации, ****************
*** Полученное путем применения вспомогательных правил ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := true
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := Значение неизвестно
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := Значение неизвестно
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := true
Устраивает(Покупатель, Магазин) := true
===== Параметры АНАЛИЗА =====
*************************************************************
В данной ситуации конфликтуют следующие Правила-Действия:
"Проверить в магазине ли кассир"
"У кассира нет сдачи"
"Позвать кассира"
"Проверить в магазине ли покупатель"
Для применения было выбрано правило: "У кассира нет сдачи"
ПРИМЕНЯЕМ Правило-Действие: "У кассира нет сдачи":
Сдачи нет, едем домой
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := false
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := false
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := true
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := false
Устраивает(Покупатель, Магазин) := false
===== Параметры АНАЛИЗА =====
*************************************************
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
В(Кассир, Магазин) := true
В(Покупатель, Магазин) := false
ЖесткийДиск.Объем := 500
ЖесткийДиск.Цена := 8000
Кассир.Деньги := 0
Кассир.Координаты := 2
Кассир.Сдача := 2000
Купил(Покупатель, ЖесткийДиск) := false
Магазин.В_продаже_есть_ЖД := true
Магазин.Координаты := 2
Покинул(Покупатель, Магазин) := true
Покупатель.Деньги := 10000
Покупатель.Координаты := 2
Покупатель.ТребуемыйОбъем := 500
Сдача(Кассир, Покупатель) := Значение неизвестно
Устраивает(Покупатель, ЖесткийДиск) := false
Устраивает(Покупатель, Магазин) := false
===== Параметры АНАЛИЗА =====
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.