Отрывок: Обозначим 𝔻 – множество конеразложимых элементов решетки 𝔽. Заметим, что 𝔻 образует верхнюю полурешетку [5]. Введем нижнюю полурешетку 𝕂 как замыкание множества 𝔻 относительно операции пересечения. Отображение 𝜏: 𝔽 → 𝕂, действующее по правилу 𝜏(𝑥) = 𝑑1 ∧ …∧ 𝑑𝑚, где 𝑑𝑖 ∈ 𝔻, 𝑖 = 1,… ,𝑚 – элементы ∧-несократимого представления 𝑥 в виде пересечения конеразложимых элементов [5],...
Название : | Основанная на дистрибутивной решетке модель рассуждений в продукционной логике нулевого порядка |
Другие названия : | Based on Distributive Lattice Reasoning Model in Production Zero-Order Logic |
Авторы/Редакторы : | Махортов, С.Д. Иванов, И.Ю. |
Дата публикации : | 2020 |
Издательство : | Самарский национальный исследовательский университет |
Библиографическое описание : | Махортов С.Д. Основанная на дистрибутивной решетке модель рассуждений в продукционной логике нулевого порядка / С.Д. Махортов, И.Ю. Иванов // Информационные технологии и нанотехнологии (ИТНТ-2020). Сборник трудов по. материалам VI Международной конференции и молодежной школы (г. Самара, 26-29 мая): в 4 т. / Самар. нац.-исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т систем. обраб. изобр. РАН-фил. ФНИЦ "Кристаллография и фотоника" РАН; [под ред. В. А. Соболева]. – Самара: Изд-во Самар. ун-та, 2020. – Том 3. Математическое моделирование физико-технических процессов и систем. – 2020. – С. 398-401. |
Серия/номер : | ;59 |
Аннотация : | Модели рассуждений играют важную роль в искусственном интеллекте. Одна из таких моделей лежит в основе продукционных систем, широко распространенных в информатике. Эти системы оперируют правилами, или продукциями, вида «если истинно 𝐴, то истинно 𝐵», где 𝐴, 𝐵 – элементы логики заданного порядка. В настоящей работе рассматривается пропозициональная логика, поэтому 𝐴, 𝐵 – элементарные факты или выражения над ними, построенные с помощью операций логики нулевого порядка. Существует два типа логического вывода, осуществляемого в продукционных системах: прямой и обратный. При обратном выводе возникает проблема уменьшения количества запросов к внешним источникам информации. В докладе предлагается подход к решению этой проблемы в случае логических продукционных систем, использующих в своих правилах только конъюнкции и дизъюнкции. Метод основывается на представлении множества правил продукционной системы дополнительным бинарным отношением на дистрибутивной решетке. Соответствующая алгебраическая система называется LP-структурой. Процесс обратного логического вывода моделируется как решение продукционно-логического уравнения в LP-структуре. Результаты применения предлагаемого подхода демонстрируются на примере тестовых баз знаний. Reasoning models play an important role in artificial intelligence. One of such models are logic-based production systems that are widespread in informatics. These systems are based on rules, or productions, of the form “if 𝐴 is true then 𝐵 is true” where 𝐴,𝐵 are the elements of logic of a particular order. In this paper, propositional logic is under consideration, thus 𝐴, 𝐵 are elementary facts or expressions over elementary facts constructed using propositional logic operators. There are two types of logical inference performed in production systems: forward chaining and backward chaining. In the backward chaining the problem of decreasing a number of queries to external sources of information arises. In the report, an approach to solving this problem is proposed in case of logic-based production systems that use conjunctions and disjunctions in its rules. This approach is based on representing a set of rules and its implications by an additional relation over a distribute lattice (the resulting algebraic system is a so-called LP structure). The process of backward chaining is modelled as a solution of a production-logical equation on a LP-structure. The results of the proposed approach application are demonstrated using test knowledge bases. |
URI (Унифицированный идентификатор ресурса) : | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Osnovannaya-na-distributivnoi-reshetke-model-rassuzhdenii-v-produkcionnoi-logike-nulevogo-poryadka-84929 |
ISBN : | 978-5-7883-1513-3 |
Другие идентификаторы : | Dspace\SGAU\20200731\84929 |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
paper 59.pdf | Основная статья | 301.87 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.