Buchumschlag

Доказательство теорем в нечеткой логике на основе структурной резолюции

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2019
1. Verfasser:	Самохвалов, Ю.Я.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2019
Schlagworte:	Кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/180847
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Доказательство теорем в нечеткой логике на основе структурной резолюции / Ю.Я. Самохвалов // Кибернетика и системный анализ. — 2019. — Т. 55, № 2. — С. 44-58. — Бібліогр.: 22 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Модель интеллектуальных агентов, основанная на нечеткой логике высшего типа
von: Ершов, С.В.
Veröffentlicht: (2012)

Совместное использование методов структурной декомпозиции для оптимизации схемы микропрограммного автомата Мура
von: Баркалов, А.А., et al.
Veröffentlicht: (2021)

Моделирование сложных теплофизических систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

О логике независимости каузальных диаграмм
von: Балабанов, А.С.
Veröffentlicht: (2009)

Математическое моделирование одного класса сложных систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Кластеризация последовательностей видеоданных на основе гармонических k-средних
von: Машталир, С.В., et al.
Veröffentlicht: (2019)

Экспериментальное доказательство экситонно-плазменного фазового перехода Мотта
von: Гаркавенко, А.С.
Veröffentlicht: (2010)

Экспериментальное доказательство экситонно-плазменного фазового перехода Мотта
von: Garkavenko, A. S.
Veröffentlicht: (2010)

Алгоритмы вывода решений на основе унифицированных логических моделей управления
von: Литвиненко, А.Е.
Veröffentlicht: (2020)

Обобщение некоторых теорем суммирования
von: Serebryakov, B. G., et al.
Veröffentlicht: (1952)

Не комутативний аналог теорем Коена
von: Забавский, Б.В.
Veröffentlicht: (1996)

Прогнозирование качества электронных устройств на основе нечеткой логики
von: Вершинина, Л.П.
Veröffentlicht: (1998)

Интеллектуализация управления обучением на основе нейро-нечёткой кластеризации
von: Мазурок, Т.Л.
Veröffentlicht: (2008)

Метод резолюции для анализа устойчивости задач 0-1 программирования
von: Михайлюк, В.А., et al.
Veröffentlicht: (2017)

Сжатие изображений на основе автоматической и нечеткой классификации фрагментов
von: Иванов, В.Г., et al.
Veröffentlicht: (2009)

Надежностное проектирование условий деятельности человека на основе нечеткой перфектности
von: Ротштейн, А.П.
Veröffentlicht: (2019)

Эволюционная модель хаотических волновых процессов в сложных динамических системах на основе теории матричной декомпозиции
von: Крот, А.М.
Veröffentlicht: (2019)

Идентификация на основе слабых задач параметров гиперболических систем в условиях импульсных и сосредоточенных воздействий
von: Сергиенко, И.В., et al.
Veröffentlicht: (2011)

О некоторых аналогах теорем Лузина и Геринга
von: Ефимушкин, А.С., et al.
Veröffentlicht: (2014)

Методы и средства структурной адаптации алгоритмов на метаалгоритмической основе
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2009)

Про застосування теорем існування до асимптотичних розкладів
von: Хома, Л.Г.
Veröffentlicht: (1994)

Про деякі аналоги теорем Шура та Бера
von: Діксон, М.Р., et al.
Veröffentlicht: (2014)

Деятельность Фольке Бернадотта как попытка ревизии резолюции ГА ООН № 181/II
von: Близняков, Р.А.
Veröffentlicht: (2005)

Комбинированный подход к кодированию изображений на основе нечеткой классификации фрагментов
von: Иванов, В.Г., et al.
Veröffentlicht: (2006)

Комбинированный подход к кодированию изображений на основе нечеткой классификации фрагментов
von: Ivanov, V. G., et al.
Veröffentlicht: (2006)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
von: Панченко, Б.Е., et al.
Veröffentlicht: (2020)

Слепые мультиподписи на основе стандартов ДСТУ 4145-2002 и ГОСТ Р 34.10-2001
von: Кочубинский, А.И., et al.
Veröffentlicht: (2012)

Несколько предельных теорем для процессов диффузионного типа в Rm
von: Писанец, С.И.
Veröffentlicht: (1993)

Анализ и прогноз поведения судна в экстремальной ситуации на основе нечеткой системы знаний
von: Нечаев, Ю.И., et al.
Veröffentlicht: (2009)

РОЗРАХУНОК ПЕРЕТВОРЮВАЧА КУКА ЗА ДОПОМОГОЮ МЕТОДА УСЕРЕДНЕННЯ НА ОСНОВІ ТЕОРЕМ ЛАГРАНЖА
von: Руденко, Ю.В.
Veröffentlicht: (2022)

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
von: Лялецкий, А.А.
Veröffentlicht: (2014)

Одно замечание по поводу теорем Пэли и Стейна
von: Кириллов, С.А.
Veröffentlicht: (2000)

Доказательство состоятельности противоопухолевой терапии криоконсервированными клетками фетальной печени в экспериментальной модели рака молочной железы
von: Бондарович, Н.А., et al.
Veröffentlicht: (2012)

Автоматы на конечных Т-квазигруппах
von: Скобелев, В.В., et al.
Veröffentlicht: (2018)

Автоматы на абстрактных конечных квазигруппах
von: Скобелев, В.В., et al.
Veröffentlicht: (2017)

Повышение контраста цветных изображений на основе нечеткой кластеризации и сингулярного разложения
von: Ахметшина, Л.Г., et al.
Veröffentlicht: (2017)

Мультиагентные модели на основе нечеткой логики высшего типа для высокопроизводительной среды
von: Парасюк, И.Н., et al.
Veröffentlicht: (2012)

Нечеткая математика на основе тензорных моделей неопределенности. II. Операции нечеткой математики в тензорном базисе
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2008)

О полных и квазиполных двухкритериальных задачах на графах
von: Перепелица, В.А., et al.
Veröffentlicht: (2018)