Отрывок: Обозначим 𝔻 – множество конеразложимых элементов решетки 𝔽. Заметим, что 𝔻 образует верхнюю полурешетку [5]. Введем нижнюю полурешетку 𝕂 как замыкание множества 𝔻 относительно операции пересечения. Отображение 𝜏: 𝔽 → 𝕂, действующее по правилу 𝜏(𝑥) = 𝑑1 ∧ …∧ 𝑑𝑚, где 𝑑𝑖 ∈ 𝔻, 𝑖 = 1,… ,𝑚 – элементы ∧-несократимого представления 𝑥 в виде пересечения конеразложимых элементов [5],...
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Махортов, С.Д. | - |
dc.contributor.author | Иванов, И.Ю. | - |
dc.date.accessioned | 2020-08-03 15:30:49 | - |
dc.date.available | 2020-08-03 15:30:49 | - |
dc.date.issued | 2020 | - |
dc.identifier | Dspace\SGAU\20200731\84929 | ru |
dc.identifier.citation | Махортов С.Д. Основанная на дистрибутивной решетке модель рассуждений в продукционной логике нулевого порядка / С.Д. Махортов, И.Ю. Иванов // Информационные технологии и нанотехнологии (ИТНТ-2020). Сборник трудов по. материалам VI Международной конференции и молодежной школы (г. Самара, 26-29 мая): в 4 т. / Самар. нац.-исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т систем. обраб. изобр. РАН-фил. ФНИЦ "Кристаллография и фотоника" РАН; [под ред. В. А. Соболева]. – Самара: Изд-во Самар. ун-та, 2020. – Том 3. Математическое моделирование физико-технических процессов и систем. – 2020. – С. 398-401. | ru |
dc.identifier.isbn | 978-5-7883-1513-3 | - |
dc.identifier.uri | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Osnovannaya-na-distributivnoi-reshetke-model-rassuzhdenii-v-produkcionnoi-logike-nulevogo-poryadka-84929 | - |
dc.description.abstract | Модели рассуждений играют важную роль в искусственном интеллекте. Одна из таких моделей лежит в основе продукционных систем, широко распространенных в информатике. Эти системы оперируют правилами, или продукциями, вида «если истинно 𝐴, то истинно 𝐵», где 𝐴, 𝐵 – элементы логики заданного порядка. В настоящей работе рассматривается пропозициональная логика, поэтому 𝐴, 𝐵 – элементарные факты или выражения над ними, построенные с помощью операций логики нулевого порядка. Существует два типа логического вывода, осуществляемого в продукционных системах: прямой и обратный. При обратном выводе возникает проблема уменьшения количества запросов к внешним источникам информации. В докладе предлагается подход к решению этой проблемы в случае логических продукционных систем, использующих в своих правилах только конъюнкции и дизъюнкции. Метод основывается на представлении множества правил продукционной системы дополнительным бинарным отношением на дистрибутивной решетке. Соответствующая алгебраическая система называется 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. | ru |
dc.description.sponsorship | Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 19-07-00037. | ru |
dc.language.iso | rus | ru |
dc.publisher | Самарский национальный исследовательский университет | ru |
dc.relation.ispartofseries | ;59 | - |
dc.title | Основанная на дистрибутивной решетке модель рассуждений в продукционной логике нулевого порядка | ru |
dc.title.alternative | Based on Distributive Lattice Reasoning Model in Production Zero-Order Logic | ru |
dc.type | Article | ru |
dc.textpart | Обозначим 𝔻 – множество конеразложимых элементов решетки 𝔽. Заметим, что 𝔻 образует верхнюю полурешетку [5]. Введем нижнюю полурешетку 𝕂 как замыкание множества 𝔻 относительно операции пересечения. Отображение 𝜏: 𝔽 → 𝕂, действующее по правилу 𝜏(𝑥) = 𝑑1 ∧ …∧ 𝑑𝑚, где 𝑑𝑖 ∈ 𝔻, 𝑖 = 1,… ,𝑚 – элементы ∧-несократимого представления 𝑥 в виде пересечения конеразложимых элементов [5],... | - |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
paper 59.pdf | Основная статья | 301.87 kB | Adobe PDF | Просмотреть/Открыть |
Показать базовое описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.