Установите последовательность применяемых правил и новых фактов для...

Установите последовательность применяемых правил и новых фактов для базы знаний ЭИС, используемых в процессе работы механизма прямого вывода для приведенных в таблице фактов и правил, если первоначально в рабочей памяти хранятся факты с заданными номерами. Также установите последовательность новых целей базы знаний и их доказательств в процессе работы механизма обратного вывода для приведенных ниже фактов и правил, если необходимо доказать цель с заданным номером
Правила в базе знаний
1. Если акции «А» ликвидны и акции «В» ликвидны, то акции «С» ликвидны
2. Если акции «С» ликвидны, то акции «F» ликвидны
3. Если акции «D» ликвидны, то акции «В» ликвидны
4. Если акции «А» ликвидны, то акции «Е» ликвидны
Факты в базе знаний -
1. Акции «А» ликвидны
2. Акции «В» ликвидны
3. Акции «С» ликвидны
4. Акции «D» ликвидны
5. Акции «Е» ликвидны
6. Акции «F» ликвидны
Номера фактов в рабочей памяти базы знаний -1,
Номер цели для доказательства в базе знаний - 6