Зображення обкладинки

Логічний наслідок та його формалізації в композиційно-номінативних логіках

Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічн...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Штучний інтелект
Дата:	2012
Автор:	Шкільняк, С.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2012
Теми:	Нейронные сети и нейросетевые технологии. Информационная безопасность ИС
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/56760
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Использование нейросетевых регуляторов в адаптивных системах управления электрогидроимпульсными установками
за авторством: Козырев, С.С., та інші
Опубліковано: (2012)

Защита информации интеллектуальных систем
за авторством: Анцыферов, С.С., та інші
Опубліковано: (2012)

Нейросетевое распознавание классов в пространстве физиологических признаков биосенсоров
за авторством: Алешин, С.П.
Опубліковано: (2010)

Багатокритеріальна модель вибору архітектури системи нечіткого логічного висновку при аналізу ризиків безпеки інформації в хмарних обчислювальних та інших складних системах
за авторством: Андрощук, О.С., та інші
Опубліковано: (2012)

Дослідження навчання компактних нечітких баз знань типу Мамдані
за авторством: Штовба, С.Д., та інші
Опубліковано: (2011)

Программно-аппаратная защита данных в распределенных интеллектуальных системах
за авторством: Гильгурт, С.Я., та інші
Опубліковано: (2010)

Стійкі ознаки зображення для ідентифікації конфігурації руки в українській жестовій мові
за авторством: Бармак, О.В., та інші
Опубліковано: (2012)

Застосування аналізу зв’язних областей до задачі розпізнавання елементів дактильно-жестової мови
за авторством: Крак, Ю.В., та інші
Опубліковано: (2012)

Совершенствование изделий с использованием обучения, формирующего их «интеллект» в форме понятий о ситуациях
за авторством: Гладун, Г.С., та інші
Опубліковано: (2013)

Применение современных информационных технологий для прогнозирования осложнений в бурении нефтегазовых скважин
за авторством: Линд, Ю.Б., та інші
Опубліковано: (2012)

Автоматизированная система наблюдения и поиска горнорабочих в шахте
за авторством: Гаевская, О.А., та інші
Опубліковано: (2012)

Нейромережний метод постпрогнозування концентрації небезпечних речовин в умовах невизначеності
за авторством: Землянський, О.М.
Опубліковано: (2012)

Классификация без учителя на основе неколичественно заданного критерия разделения классов
за авторством: Масалитина, Н.Н.
Опубліковано: (2012)

Особенности реализации криптографических и стеганографических систем по принципу облачных вычислительных технологий
за авторством: Задирака, В.К., та інші
Опубліковано: (2012)

Выявление аномального поведения системами обнаружения атак при интервально-значном представлении данных
за авторством: Анищенко, В.В., та інші
Опубліковано: (2012)

Застосування модуля прийняття рішень системи адаптивного навчання в дистанційній освіті
за авторством: Плакасова, Ж.М., та інші
Опубліковано: (2012)

Виявлення аномалій в комп’ютерній мережі на основі нейромережних технологій
за авторством: Рудик, І.І.
Опубліковано: (2012)

Технологія експертного визначення рівня пожежної безпеки житла в багатоповерхових житлових будинках
за авторством: Мирошник, О.М.
Опубліковано: (2012)

Прихована та захищена передача інформації в сенсорних і локально-регіональних радіомережах
за авторством: Шевчук, Б.М.
Опубліковано: (2012)

Влияние вида меры расстояния на чувствительность нейро-фаззи кластеризации многомерных данных
за авторством: Ахметшина, Л.Г., та інші
Опубліковано: (2012)

Методологические основы поддержки принятия решения при анализе информационной безопасности в процессе эксплуатации информационных систем
за авторством: Максимович, Е.П., та інші
Опубліковано: (2012)

Математическое моделирование перистальтических процессов на клеточных нейронных сетях
за авторством: Новотарский, М.А., та інші
Опубліковано: (2012)

Применение вариационного принципа к одномерным стохастическим системам
за авторством: Мироненко, Л.П.
Опубліковано: (2012)

Сучасні рішення проблем витоку інформації фінансових установ
за авторством: Чаплига, В.М., та інші
Опубліковано: (2012)

Нейромережний метод для визначення якості програмного забезпечення критичного застосування
за авторством: Тітова, В.Ю.
Опубліковано: (2012)

Обучение нейроэмуляторов с использованием псевдорегуляризации для метода нейроуправления с эталонной моделью
за авторством: Чернодуб, А.Н.
Опубліковано: (2012)

Аналіз програмного забезпечення зі стеганоаналізу
за авторством: Швідченко, І.В.
Опубліковано: (2012)

Steganographic Methods in Information Protection
за авторством: Koziel, G.
Опубліковано: (2011)

Нечітка нейронна мережа для визначення відповідності результатів тестування програмного забезпечення критичного застосування вимогам
за авторством: Тітова, В.Ю.
Опубліковано: (2013)

Аналіз текстури фрактографічних зображень на основі спектра фрактальних розмірностей Реньї
за авторством: Журавель, І.М.
Опубліковано: (2013)

Построение нечеткого с-разбиения в случае неустойчивой кластерной структуры множества объектов
за авторством: Вятченин, Д.А., та інші
Опубліковано: (2011)

Застосування підходів мультикласифікації для встановлення діагнозу дерматологічних захворювань
за авторством: Порхун, О.В.
Опубліковано: (2013)

Программная нейросетевая система контроля космической телеметрии
за авторством: Ганченко, В.В., та інші
Опубліковано: (2013)

Применение нейронных сетей на основе ПЛИС для решения задач надежности коммуникационных информационных систем
за авторством: Лозович, О.Н., та інші
Опубліковано: (2011)

Application of Hough transform to the recognitions problem of regular solutions of dynamical systems
за авторством: Ruchkin, K.A.
Опубліковано: (2013)

Контроль защиты конфиденциальной информации при вводе с клавиатуры ПЭВМ
за авторством: Дмитриев, В.А., та інші
Опубліковано: (2013)

Система лингвистических показателей и критериев принятия решений при аттестации систем защиты информации
за авторством: Фисенко, В.К., та інші
Опубліковано: (2010)

Neural nets usage for problems of hiding data in audio signal
за авторством: Koziel, G.
Опубліковано: (2013)

Методы стеганоанализа для графических файлов
за авторством: Швидченко, И.В.
Опубліковано: (2010)

Фильтрация базы знаний
за авторством: Бурдаев, В.П.
Опубліковано: (2013)