В основе логических моделей лежит понятие формальной теории. В логических моделях отношения, существующие между отдельными единицами знаний (фактами) выражаются с помощью синтаксических знаний формальной теории (например, исчисление предикатов).Логические модели используют язык исчисления предикатов. Первому предикату соответствует имя отношения, а термину аргументы- объекты. Все логические выражения, используемые в логике предикатов, имеют значения истина или ложно.
 |
|
||||||||
|
2 семестр:
I семестр:
|
|||||||||
|
|||||||||
