Условие задачи
Установите последовательность применяемых правил и новых фактов в процессе работы механизма прямого вывода для приведенных ниже фактов и правил, если первоначально в рабочей памяти хранятся факты с номерами 3 и 6.
Установите последовательность новых целей и их доказательств в процессе работы механизма обратного вывода для приведенных ниже фактов и правил, если необходимо доказать цель с номером 4.
П р а в и л а:
1. если ЗАПАСЫ ДОСТАТОЧНЫ то ЛИКВИДНОСТЬ ХОРОШАЯ.
2. если ЛИКВИДНОСТЬ ХОРОШАЯ и ПЛАТЕЖЕСПОСОБНОСТЬ ХОРОШАЯ то ОБЯЗАТЕЛЬСТВА МИНИМАЛЬНЫ.
3. если ОСТАТКИ СРЕДСТВ ДОСТАТОЧНЫ то УСТОЙЧИВОСТЬ ХОРОШАЯ.
4. если ОБЯЗАТЕЛЬСТВА МИНИМАЛЬНЫ то УСТОЙЧИВОСТЬ ХОРОШАЯ.
Ф а к т ы:
1. ЛИКВИДНОСТЬ ХОРОШАЯ.
2. ОСТАТКИ СРЕДСТВ ДОСТАТОЧНЫ.
3. ПЛАТЕЖЕСПОСОБНОСТЬ ХОРОШАЯ.
4. УСТОЙЧИВОСТЬ ХОРОШАЯ.
5. ОБЯЗАТЕЛЬСТВА МИНИМАЛЬНЫ.
6. ЗАПАСЫ ДОСТАТОЧНЫ.
Ответ
1) Установим последовательность применяемых правил и новых фактов в процессе работы механизма прямого вывода. В памяти хранятся факты 3. ПЛАТЕЖЕСПОСОБНОСТЬ ХОРОШАЯ и 6. ЗАПАСЫ ДОСТАТОЧНЫ.
По условию задания в рабочей памяти хранятся факты 3 (ПЛАТЕЖЕСПОСОБНОСТЬ ХОРОШАЯ) и 6 (ЗАПАСЫ ДОСТАТОЧНЫ). К ФАКТУ 6 (ЗАПАСЫ ДОСТАТОЧНЫ) применимо правило 1 (если ЗАПАСЫ ДОСТАТОЧНЫ то ЛИКВИДНОСТЬ ХОРОШАЯ). В рабоч...
