ПОСТРОЕНИЕ ДЕСКРИПЦИОННОЙ ЛОГИКИ НА ОСНОВЕ РЕШЕТКИ ЗНАЧЕНИЙ ИСТИННОСТИ И ПРОЦЕДУРЫ ЛОГИЧЕСКОГО ВЫВОДА

ШЕРСТЮК, Владимир Григорьевич (2013) ПОСТРОЕНИЕ ДЕСКРИПЦИОННОЙ ЛОГИКИ НА ОСНОВЕ РЕШЕТКИ ЗНАЧЕНИЙ ИСТИННОСТИ И ПРОЦЕДУРЫ ЛОГИЧЕСКОГО ВЫВОДА. ПИТ, 01 (013). pp. 1-179. ISSN 1998-7005

[img] Text
21.pdf

Download (432kB)
Official URL: http://pit.hntu.com.ua/

Abstract

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

Item Type: Article
Uncontrolled Keywords: логика, концепт, роль, терминология, решетка, выполнимость, правдоподобный автомат, запуск, опустошение, интерпретация, разрешающая процедура
Subjects: Проблеми IT, Проблемы IT, IT issues > Випуск №13 (2013р.), Выпуск №13 (2013г.), Edition №13 (2013)
Depositing User: доцент Елена Николаевна Ляшенко
Date Deposited: 08 Dec 2015 10:09
Last Modified: 24 Dec 2015 08:18
URI: http://epr.kntu.net.ua/id/eprint/56

Actions (login required)

View Item View Item