Тестирование системы

Для проверки экспертной системы будем использовать логические схемы, приведенные на рис. 14.2—14.4. Создайте три файла: scheme- 1.CLP, scheme-2.CLP и scheme-З.СLР. Содержание этих файлов приведено ниже.

Пример 14.19. Содержимое файла scheme-1.CLP

(definstances circuit

(S-l of SOURCE)

(S-2 of SOURCE)

(P-l of SPLITTER)

(P-2 of SPLITTER)

(N-l of NOT-GATE)

(O-1 of OR-GATE)

(X-l of XOR-GATE)

(L-l of LED)

(L-2 of LED)

)

(deffunction connect-circuit ()

(connect [S-l] [P-l])

(connect [S-2] [X-l] 2)

(connect [P-l] 1 [N-l])

(connect [P-l] 2 [O-l] 2)

(connect [N-1] [O-l] 1)

(connect [O-l] [P-2])

(connect [P-2] 1 [L-l])

(connect [P-2] 2 [X-l] 1)

(connect [X-l] [L-2])

Пример 14.20. Содержимое файла scheme-2.CLP

(definstances circuit

(S-l of SOURCE)

(S-2 of SOURCE)

(P-l of SPLITTER)

(P-2 of SPLITTER)

(A-l of AND-GATE)

(N-1 of NOT-GATE)

(N-2 of NOT-GATE)

(N-3 of NOT-GATE)

(O-1 of OR-GATE)

(X-l of XOR-GATE)

(L-l of LED)

)

(deffunction connect-circuit ()

(connect [S-l] [P-l])

(connect [S-2] [P-2])

(connect [P-l] 1 [A-l] 1)

(connect [P-l] 2 [N-2])

(connect [P-2] 1 [A-l] 2)

(connect [P-2] 2 [N-3])

(connect [A-1] [N-l])

(connect [N-2] [O-1] 1)

(connect [N-3] [O-l] 2)

(connect [N-1] [X-l] 1)

(connect [O-l] [X-1] 2)

(connect [X-1] [L-l])

)

Пример 14.21. Содержимое файла scheme-3.CLP

(definstances circuit

(S-l of SOURCE)

(S-2 of SOURCE)

(S-3 of SOURCE)

(S-4 of SOURCE)

(S-5 of SOURCE)

(S-6 of SOURCE)

(P-l of SPLITTER)

(P-2 of SPLITTER)

(P-3 of SPLITTER)

(P-4 of SPLITTER)

(N-1 of NOT-GATE)

(N-2 of NOT-GATE)

(N-3 of NOT-GATE)

(O-1 of OR-GATE)

(O-2 of OR-GATE)

(X-l of XOR-GATE)

(X-2 of XOR-GATE)

(A-l of AND-GATE)

(D-l of NAND-GATE)

(D-2 of NAND-GATE)

(L-l of LED)

(L-2 of LED)

(L-3 of LED)

)

(deffunction connect-circuit ()

(connect [S-l] [P-l])

(connect [S-2] [P-2])

(connect [S-3] [P-3])

(connect [S-4] [A-1] 2)

(connect [S-5] [D-1] 2)

(connect [S-6] [O-2] 2)

(connect [P-l] 1 [O-l] 1)

(connect [P-l] 2 [N-1])

(connect [P-2] 1 [N-2])

(connect [P-2] 2 [A-l] 1)

(connect [P-3] 1 [X-1] 2)

(connect [P-3] 2 [D-1] 1)

(connect [N-1] [X-1] 1)

(connect [N-2] [O-l] 2)

(connect [O-l] [X-2] 1)

(connect [X-1] [X-2] 2)

(connect [A-1] [D-2] 1)

(connect [D-l] [O-2] 1)

(connect [X-2] [P-4])

(connect [O-2] [D-2] 2)

(connect [P-4] 1 [N-3])

(connect [P-4] 2 [L-2])

(connect [D-2] [L-3])

(connect [N-3] [L-1])

)