Знания – это адекватное отображение реального мира в мысленной модели (которое позволяет объективно рассуждать о внешнем мире).
- Интерпретируемость знаний.
Понятия – базовые конструкции,
Суждения – высказывания со статусом истинности (правдоподобия),
Умозаключения – конструкции вида:
Если <суждение посылка >, то <суждение результат>
Треугольник Фреге
Десигнант – синтактика (как?)
Концепт – семантика (что?)
Денотат – прагматика (для чего?)
(образ понятия)
концепт (смысл)
имя денотат
образ
Интерпретируемость означает, что должны быть заданы все составляющие.
смысл
имя образ
прагматика
- Структурируемость знаний.
Отношение ISA, моделирует состояние:
класс – подкласс
множество – подмножество
род – вид
A ISA B
Ext(A)
Ext(B)
Например: PC ISA Компьютер
Отношение Part of (часть - целое)
A Part of B
A
B
Отношение Instant of
Например: Человек Instant of Млекопитающее
- Ситуативность. (Динамичность).
Знания могут меняться в зависимости от окружающей среды. Для их описания применяются пространственно-временные, причинно-следственные логики.
Пример:
Отношение “быть рядом”.
a r b
? b r a Всё зависит от точки зрения.
Пусть a – гора, b – муравей.
Гора рядом с муравьём, но муравей не рядом с горой.
Данные – не ситуативные.
- Наличие статуса истинности (правдоподобия).
Данные – достоверны,
Знания – правдоподобны.
- Активность знаний.
(данные - пассивны).
СОД: Решение = данные + алгоритм.
СОЗ: Решение = знания + поиск вывода + обоснования.