Buchumschlag

О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2010
1. Verfasser:	Афонин, А.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2010
Schlagworte:	Нові інформаційні і телекомунікаційні технології
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/47360
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:	О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями / А.А. Афонин // Мат. машини і системи. — 2010. — № 1. — С. 87-94. — Бібліогр.: 13 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Трудоемкость интерфейса пользователя в задаче поиска образца в справочнике и ее оценка на основе модели GOMS
von: Литвинов, В.А., et al.
Veröffentlicht: (2009)

Интеллектуализованный интерфейс пользователя информационно-поисковой системы в задаче поиска по ключевому слову («образцу») с упреждающей подсказкой
von: Кузьменко, Г.Е., et al.
Veröffentlicht: (2011)

О распараллеливании пользовательских задач в распределенных компьютерных системах типа «процессор-в-памяти»
von: Елисеева, Е.В.
Veröffentlicht: (2010)

Моделирование в обучающих системах
von: Литвинов, В.В., et al.
Veröffentlicht: (2009)

Аналіз методів підтримки прийняття рішень у лікувальних системах
von: Шаховська, Н.Б., et al.
Veröffentlicht: (2011)

О корректных способах решения нечетких задач
von: Лялецкий, А.А.
Veröffentlicht: (2011)

Объем порции пошаговой подсказки и эффективность интерфейса пользователя системы поиска по ключевому слову
von: Литвинов, В.А., et al.
Veröffentlicht: (2012)

Метод построения моделей информационных атак
von: Казимир, В.В., et al.
Veröffentlicht: (2010)

Проблемно-ориентированный контент-анализ в структуре системы поддержки принятия решений (СППР)
von: Морозов, А.А., et al.
Veröffentlicht: (2009)

Роль базисов компьютерной науки и системно-кибернетического подхода в решении проблемы информационно-психологического влияния
von: Морозов, А.А., et al.
Veröffentlicht: (2009)

Многоуровневая система построения маршрута в сети дистанционного обучения
von: Шевченко, А.И., et al.
Veröffentlicht: (2010)

Информационная технология и структура
von: Рыбаков, Л.А.
Veröffentlicht: (2008)

Подход к созданию базы знаний экспертной системы оценки, прогноза и анализа ситуаций на объектах повышенной опасности
von: Серебровский, А.Н.
Veröffentlicht: (2009)

Задачи механики и компьютерная алгебра
von: Банщиков, А.В., et al.
Veröffentlicht: (2008)

Обзор аппаратных средств и API-сервисов определения времени в персональном компьютере
von: Клименко, А.В., et al.
Veröffentlicht: (2009)

История Интернет в СССР и в Украине: основные этапы развития
von: Гринченко, Т.А., et al.
Veröffentlicht: (2009)

Проблемно-ориентированные базы знаний – платформа саморазвития СППР
von: Вьюн, В.И., et al.
Veröffentlicht: (2009)

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

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

Методы и средства оперативного распространения голосовой информации в IP-сетях
von: Казимир, В.В., et al.
Veröffentlicht: (2009)

Формирование нечетких обучающих множеств для нейронных сетей в задачах сжатия данных без потерь
von: Иваськив, Ю.Л., et al.
Veröffentlicht: (2009)

Организационные процедуры Ситуационного центра
von: Вишневский, В.В., et al.
Veröffentlicht: (2010)

Технологія обробки просторових даних засобами ГІС для використання в розподілених гідрологічних моделях
von: Бойко, О.В.
Veröffentlicht: (2012)

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

Проблеми захисту від негативного інформаційно-психологічного впливу противника
von: Алещенко, В.І., et al.
Veröffentlicht: (2010)

Про національну систему індикаторів інформаційного суспільства
von: Баховец, О.Б., et al.
Veröffentlicht: (2009)

Регіональний пошук для множини рухомих точок
von: Терещенко, В.М., et al.
Veröffentlicht: (2011)

Формалізація операцій над інформаційними продуктами
von: Вовк, О.Б.
Veröffentlicht: (2012)

Методологічні та концептуальні засади створення автоматизованої системи управління безпекою окремого регіону України
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2011)

Розробка кросплатформеної версії системи підтримки прийняття рішень при радіаційних аваріях JRODOS
von: Євдін, Є.О., et al.
Veröffentlicht: (2012)

Сравнительный анализ вариантов организации транспортной сети сообщения с использованием программного инструментария «TRANZIT»
von: Максимей, И.В., et al.
Veröffentlicht: (2012)

A computational geometric / information theoretic method to invert physics-based MEC models attributes for MEC discrimination
von: Deschaine, L.M., et al.
Veröffentlicht: (2011)

Побудова в Україні національної інноваційної мережі у сфері трансферу технологій
von: Лисенко, В.С., et al.
Veröffentlicht: (2010)

Providing data group anonymity using concentration differences
von: Chertov, O.R., et al.
Veröffentlicht: (2010)

Physical quantities, dimensions and units of measurement in mathematical packages
von: Ochkov, V.F., et al.
Veröffentlicht: (2009)

Air & missile defense with spatial grasp technology
von: Sapaty, P.S.
Veröffentlicht: (2011)

Алгоритм прогнозування розвитку вибухопожежної ситуації на потенційно небезпечному об’єкті та її вплив на навколишнє середовище
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2010)

Моделювання інформаційно-вимірювальної системи фізико-хімічних параметрів нафтопродуктів у реальному часі
von: Древецький, В.В., et al.
Veröffentlicht: (2011)

Дослідження якості консолідованих даних у просторах даних
von: Шаховська, Н.Б.
Veröffentlicht: (2012)

Опыт построения информационно-технологической инфраструктуры распределенного предприятия
von: Лисецкий, Ю.М., et al.
Veröffentlicht: (2009)