| Название: | Логический Вывод в Модели «Состояние-Контекст-Свойство» |
|---|---|
| Аннотация: | В данной работе описывается модель представления знаний состояние-контекст-свойство и связанная с ней модель описания динамики. Для этих моделей будет приведено понятие логического вывода, введены основные понятия и операции. Далее будут описаны назначение, результаты и процедуры вывода. В конце будут приведены примеры реализации и применения модели. |
| Секция: | |
| 6.1 Базы знаний. | |
| Ф.И.О.: | Организация: | Должность: |
|---|---|---|
| Шумский Леонид Дмитриевич | НИЯУ МИФИ | Аспирант каф. 22 |