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