Главная » 2014 » Март » 13

Онтология

Четверг19:31

Информационная онтология предполагает формальное и явное описание всех общих концепций конкретной области знания.

Онтологии используются для построения концептуальных моделей.

Концептуализация это - процесс перехода от представления предметной области на естественном или ограниченном естественном языке к точной спецификации этого описания на некотором формальном языке, ориентированном на компьютерное представление. Концептуализация также трактуется как результат подобного процесса, т. е. описание множества понятий (концептов) предметной области, знаний о них и связях (отношениях) между ними.

Формальное описание области знаний, для которой указываются основные концепции и связи между ними. Каждый термин это - узел. Ребра сети - отношения между узлами.

Элементы онтологий

... Читать дальше »

Вывод на знаниях

Четверг19:28

Семантика исчисления предикатов обеспечивает основу для формализации логического вывода. Возможность логически выводить новые правильные выражения из набора истинных утверждений очень важна. Логически выведенные утверждения корректны, и они совместимы со всеми предыдущими интерпретациями первоначального набора выражений. Обсудим вышесказанное неформально и затем введем необходимую формализацию.

В исчислении высказываний основным объектом является переменное высказывание (предикат), истинность или ложность которого зависит от значений входящих в него переменных. Так, истинность предиката "x был физиком" зависит от значения переменной x. Если x - П. Капица, то предикат истинен, если x - М. Лермонтов, то он ложен. На языке исчисления предикатов утверждение ... Читать дальше »

Меню сайта
Наш опрос
Что вас привлекает в информатике?
Всего ответов: 15
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0