Логическая модель представления знаний
Логическая модель основана на системе исчисления предикатов первого порядка. Знакомство с логикой предикатов начнем с исчисления высказываний. Высказыванием называется предложение, смысл которого можно выразить значениями: истина (Т) или ложь (F).…