Постройте для бабушки совершенную логическую нейронную сеть для ее СПР, что откроет широкие возможности развития и модификации при реализации в ее нейрокомпьютере – записной книжке. Убедитесь в полноте и непротиворечивости полученной СПР.
Логическое описание СПР:
1. x1 ∧ x4 → R1= "Прогулка на велосипеде";2. (x1 ∧ x6) ∨ (x2 ∧ x4) → R2= "Шахматы";3. (x2 ∧ x5) ∨ (x1 ∧ x7) → R3= "Верховая езда";4. (x1 ∧ x5) ∨ (x2 ∧x6) → R4= "Байдарка";5. x3 ∧(x4 ∨ x6) → R5= "Дискотека";6. (x2 ∧ x7) ∨ (x3 ∧(x5 ∨ x7)) → R6= "Пешая прогулка"
x1 ∧ x4 → R1, x2 ∧ x5 → R3, x2 ∧ x6 → R4, x2 ∧ x6 → R4,x1 ∧ x6 → R2, x1 ∧ x7 → R3, x3 ∧ x4 → R5, x3 ∧ x5 → R6,x2 ∧ x4 → R2, x1 ∧ x5 → R4, x3 ∧ x6 → R5, x3 ∧ x7 → R6
cистема противоречива.
x1 ∧ x4 → R1, x2 ∧ x5 → R3, x2 ∧ x6 → R4, x2 ∧ x7 → R6,x1 ∧ x6 → R2, x1 ∧ x7 → R3, x3 ∧ x4 → R5, x3 ∧ x5 → R6,x2 ∧ x4 → R2, x1 ∧ x5 → R4, x3 ∧ x6 → R5, x3 ∧ x7 → R6
система полна и непротиворечива
(Верный ответ)x1 ∧ x4 → R1, x2 ∧ x5 → R3, x2 ∧ x6 → R4, x2 ∧ x7 → R6,x1 ∧ x6 → R2, x1 ∧ x7 → R3, x3 ∧ x4 → R5, x3 ∧ x7 → R6x2 ∧ x4 → R2, x1 ∧ x5 → R4, x3 ∧ x6 → R5,
система не полна.