 |
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция
Создание баз знаний на Прологе
Логические модели знаний основаны на исчислении высказываний и предикатов. Элементарному высказыванию соответствует операнд, а сложному – совокупность операндов, соединенных знаками логических операций (И, ИЛИ, НЕ, ЕСЛИ…ТО – конъюнкция 
дизъюнкция 
отрицание 
, импликация ЕСЛИ А, ТО В или 
где А – предпосылка, В – заключение).
Высказывание – это простое предложение, имеющее вполне определенное значение истинности: Истина (Т) или ложь (F).
Таблица истинности логических операций
| A | B |
| 
| 
| 
| 
|
| T | T | F | T | T | T | T |
| T | F | F | F | T | F | F |
| F | T | T | F | T | T | T |
| F | F | T | F | F | T | T |
Импликация как булева функция ложна лишь тогда, когда посылка истинна, а следствие ложно. Иными словами, импликация — это сокращённая запись для выражения .
Поиск по сайту: