Ученые записки Архив 2013


МАТЕМАТИКА И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ.

Унификация в модели логического вывода / UNIFICATION IN THE MODEL OF INFERENCE

Автор/Author: А. Н. Шайкин / A. N. Shaykin

Аннотация/Annotation:
Скачать/Download | Посмотреть онлайн/View online

Список литературы/References:

1. Шайкин А. Н. Дедуктивный вывод на графовых структурах. // Ученые записки РГСУ. – 2009. – № 13.

2. Шайкин А. Н., Шишмарев М.С., Диев А.Н., Хорошавин Л.О. Программная реализация модели логическо-

го вывода. // Математические методы и приложения: Труды девятнадцатых математических чтений РГСУ

(29 января – 2 февраля 2010 года). – 2010. – Ч. 1.

3. Шайкин А. Н. Механизм нечеткого логического вывода в системах управления безопасностью химико-тех-

нологических производств. // Проблемы управления безопасностью сложных систем: Труды XVIII Между-

народной конференции. – М., 2010. – С. 478–482.

Spisok literatury:

1. Shajkin A. N. Deduktivnyj vyvod na grafovyx strukturax. // Uchenye zapiski RGSU – M.: RGSU, 2009, № 13.

2. Shajkin A. N., Shishmarev M. S., Diev A. N., Xoroshavin L. O. Programmnaya realizaciya modeli logicheskogo

vyvoda. // Matematicheskie metody i prilozheniya: Trudy devyatnadcatyx matematicheskix chtenij RGSU

(29 yanvarya – 2 fevralya 2010 goda) Ch. 1. – M.: RGSU, 2010.

3. Shajkin A. N. Mexanizm nechetkogo logicheskogo vyvoda v sistemax upravleniya bezopasnost’yu ximikotexnologicheskix

proizvodstv. // Problemy upravleniya bezopasnost’yu slozhnyx sistem: Trudy XVIII

Mezhdunarodnoj konferencii. Moskva, dekabr’ 2010 g. – S. 478–482.

Ключевые слова/Tags1: логика предикатов, логический вывод, метод резолюций, унификация / predicate logic, inference, resolution method, unification