Трехзначные логики и их расширения: использование в информатике и искусственном интеллекте
ОСНОВНЫЕ ТРЕХЗНАЧНЫЕ ЛОГИКИ Логика Лукасевича L3 LML3 = 〈{1, 0.5, 0}, {⎤, →L}, {1}〉 0.5 – «возможноcть», «безразличие» Логика Клини K3 LMK3 = 〈{1, 0.5, 0}, {⎤, ∨}, {1}〉 0.5 – «неопределенность, «неизвестность», «неполнота информации» Логика Гейтинга H3 LMH3 = 〈{1, 0.5, 0}, {¬, ∧, ⇒}, {1}〉 0.5 – «половинчатая истина» Логика Бочвара B3 LMB3 = 〈{1, 0.5, 0}, {⎤, ∧, ∨ , →B}, {1}〉 0.5 – «бессмыслица», «абсурд» ОСНОВНЫЕ БЕСКОНЕЧНОЗНАЧНЫЕ ЛОГИКИ L3 → L∞ Бесконечнозначная логика Лукасевича L∞ LML∞ = 〈 [0,1], {⎤,→ L},{1}〉, K3 → К∞ Бесконечнозначная логика Клини К∞ (логика Заде) LMK∞ = 〈 [0,1], {⎤, ∨}, {1}〉 H3 → G∞ Бесконечнозначная логика Геделя G∞ LMG3 = 〈 [0,1], {¬, ∧, ⇒}, {1}〉 Бесконечнозначная логика Рейхенбаха R∞ LML∞ = 〈 [0,1], {⎤,→ R},{1}〉,