Книга «Топологическая модель проблемной области на естественном языке»

oblojka-topologicheskaya-model-reviakin

Автор – Сергей Ревякин

Издательство – самостоятельное издание

ISBN — 9785990409415

Формат: электронная книга (epub)

Аннотация

Предложена перспективная топологическая модель проблемной области на естественном языке. Описание проблемной области замкнуто относительно правил вывода и операций алгебры множеств.

Рассмотрены возможные пути использования топологической модели в прикладных задачах искусственного интеллекта.

Предназначена специалистам, интересующимся проблемами искусственного интеллекта.

Купить

Как купить книгу (пошаговая инструкция)

Отрывок из книги Сергея Ревякина «Топологическая модель проблемной области на естественном языке»

Показать »

Идея топологической интерпретации логических исчислений была впервые предложена А. Тарским в 1938 г. и с тех пор практически не использовалась в задачах искусственного интеллекта. Преимущества предлагаемого подхода с очевидностью вытекают из основных свойств топологических моделей — замкнутости относительно правил вывода и относительно операций алгебры множеств, выводимости в исчислении высказываний всех формул, общезначимых в модели и наоборот, а также возможности представления всех фактов и знаний в виде индексных файлов с записями одинаковой структуры.

Для того чтобы использовать эти свойства, предложен способ представления текста из высказываний в виде замкнутой системы множеств, которая удовлетворяет аксиомам определения топологического пространства. Каждое атомарное высказывание в модели рассматривается как  одноэлементное множество. Базы знаний в виде топологического пространства удобны для постановки и решения многих интеллектуальных задач.

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

Язык и топологическая модель обладают важными для приложений свойствами:

— база знаний замкнута относительно правил вывода и относительно

произвольных операций алгебры множеств,

— в исчислении высказываний выводимы все формулы, общезначимые

в точных топологических моделях и наоборот,

— непротиворечивость модели делает ее удобной для пополнения новыми знаниями,

— стандартное представление данных и знаний на предлагаемом подмножестве естественного языка позволит избежать нерегулярностей и двусмысленностей.

В работе выделено два вида стандартного представления правил:

— на логическом уровне стандартной формой является хорновское высказывание  ,

— при машинной реализации, соответственно, атомарная импликация  где    A1, …, An, Aj  – атомарные высказывания или их отрицания из ALL.

Тождество означает, что при машинной реализации проблемной области дизъюнкты Хорна  можно представить в виде набора импликаций  — записей индексного файла с одинаковой структурой, . После представления формул  в виде списка атомарных импликаций модель проблемной области включает атомарные высказывания Ai и их отрицания и, соответственно, атомарные импликации .

Машинное представление всех правил в виде индексных файлов с записями  одинаковой структуры позволит:

— существенно сократить время поиска за счет индексного доступа к файлам,

— осуществлять одношаговый поиск по индексу непроверенных формул Хорна  с истинными гипотезами A1, …, An,

— автоматически решать, какие формулы  в модели позволяют вывести истинное высказывание Aj из гипотез A1, …, An, , а какие не позволяют,

— автоматически исключить с помощью индексного доступа формулы , анализ которых считается бесперспективным,

— эффективно использовать индексный доступ в задачах экспоненциальной сложности,

— существенно увеличить эффективность дедуктивного вывода за счет сокращения пространства поиска посредством индексного доступа к данным и знаниям.

 

Запись опубликована в рубрике Научная литература, Самостоятельные издания, Специализированная литература с метками , , , , , , , , , , , . Добавьте в закладки постоянную ссылку.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *