Виктор Иванович Курганский

Реляционная интерактивная логика

Издательство: LAP Lambert Academic Publishing, 2014 г.
9783659418518
Книгопечатная продукция
Объем: 132 стр.

Книга посвящена новым инструментам решения логических задач. Логическая задача рассматривается как система логических уравнений и неравенств (СЛУН). Рассматриваются обыкновенные и индуктивные СЛУН, а также их иерархические композиции. Набор возможных значений переменных и решения СЛУН записываются в виде реляционных таблиц. Решение логической задачи сводится к исполнению реляционных запросов. Дедуктивная мощность реляционной интерактивной логики не уступает дедуктивной мощности классических логик. Новое качество реляционной интерактивной логики основано на использовании нетекстового представления логических формул и актов логического вывода. Логические формулы могут быть представлены в виде реляционных таблиц и реляционных запросов, а акт логического вывода заключается в исполнении реляционного запроса. Интерактивность обеспечивает диалоговое решение логических задач, ориентированное на человека в большей мере, чем на основе традиционного текстового представления логических формул. Интерактивная реляционная логика может быть использована для автоматизированного решения как образовательных и развлекательных задач, так и практических задач.
От Логических Уравнений и Неравенств к Ответам на Мудреные Вопросы

Посмотрите также...

Лабораторный практикум по системе "КАРКАС"

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

C++ для химико-технологических специальностей Часть 1

Изложены синтаксис и базовые алгоритмические конструкции языка С++. В первой части даются основы языка, знание которых необходимо для начала программирования. Также в конце каждой главы предлагаются упражнения для закрепления материала. Для ......

Введение в компьютерно-музыкальное моделирование

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

Безопасность критически важных объектов транспортного комплекса

В монографии представлены методология и методы обеспечения безопасности транспортного комплекса на основе категорирования критически важных объектов (КВО) транспортной инфраструктуры. Рассматриваются методологические и методические проблемы ......

Формирование УУД средствами Лего-конструирования на уроках информатики

Материалы диссертационного исследования "Формирование универсальных учебных действий средствами Лего-конструирования на уроках информатики". В работе рассмотрена целесообразность внедрения курса Лего-конструирования в процесс обучения учащихся ......

CALS-технологии

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

Нейроуправление роботами с параллельной кинематикой

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

Развитие алгоритмического мышления школьников на уроках информатики

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

Контроль знаний в компьютерном обучении

Обычно в системах компьютерного обучения контроль осуществляется сравнением ответов обучающихся с эталонами, заранее записанными в компьютерную память (антропоморфный принцип). Такая организация контроля отличается многими недостатками. В ......

Мониторинг информационных угроз в сети Интернет

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

Ресурсная эффективность компьютерных алгоритмов: теория и применение

Алгоритмы - достаточно сложные и интересные объекты, изучение которых активно ведётся уже более 70 лет. Простой вопрос - что такое эффективный алгоритм - приводит к необходимости введения целого комплекса оценок и необходимости разработки ......

Методы поиска изображений на основе визуального сходства

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

Квантовые и классические модели вычислений

Квантовая информатика сегодня - одна из наиболее интенсивно развивающихся областей компьютерных наук (Computer Science). С тех пор, как были разработаны эффективные квантовые алгоритмы для ряда практически значимых задач, среди которых алгоритм ......

Регистрация изображений и сопровождение объектов

В книге рассмотрены задачи регистрации (оценки геометрических преобразований) изображений в видеопоследовательности как первый этап любой системы обработки видео. Кроме того, рассмотрены алгоритмы стабилизации изображений, создания панорамных ......

Прикладные многоагентные системы

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

Управление процессами жизненного цикла информационных ресурсов

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

Адаптивные системы управления технологическими процессами

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

Метод глобальной оптимизации SIA

В работе предложен оригинальный гибридный метод глобальной оптимизации SIA, основанный на модели искусственной иммунной системы. Метод представляет собой глубокую модификацию гибридного иммунного метода HIA, который для локального поиска ......

Оптимизация линейных параболических систем

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

Логические основы ЭВМ и квантовых компьютеров

Основу любой ЭВМ составляют ячейки памяти и схемы, выполняющие арифметические и логические операции над их содержимым. В настоящей работе рассматриваются классические логические элементы и схемы, такие как шифраторы, демультиплексоры, сумматоры, ......

Теория и практика многокритериальных решений

Современное общество предъявляет высокие и часто противоречивые требования к качеству принимаемых решений в различных предметных областях. Резко возросла цена ошибки решения. Поэтому уходят в прошлое интуитивные приёмы принятия решений и ......

Теория функциональных программ

В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных ......

Бесконтактное человеко-машинное взаимодействие

В книге приведены результаты исследования, посвященного вопросам реализации бесконтактного человеко-машинного взаимодействия. Представлен аналитический обзор подходов, использованных в системах захвата движений. Описан предлагаемый ......

Геоинформационные системы

Книга описывает геоинформационные системы, как специализированные информационные системы широкого назначения. Геоинформационные системы применяют не только в геоинформатике, но и в управлении, в мониторинге и многих направлениях. Современные ......

Управление роботом с подражательным мышлением

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

СИСТЕМА МОНИТОРИНГА МОБИЛЬНЫХ СЕРВИСОВ

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

Компьютеры: история и современность

Освещены основные периоды истории вычислительной техники, более подробно - электронный период. Рассмотрены поколения ЭВМ – наиболее типичные их представители. Приведены сведения об основных научных школах и направлениях вычислительной техники. ......

Теория объектно-событийных моделей.

Исходя из общих представлений об исполнении последовательных и параллельных процессов на вычислительных системах выводится аксиоматическая теория объектно-событийных мделей. Формулируется ряд интересных предельных теорем. Определяется ......

Компьютерная система "Практикум по экспериментальной психологии"

Цель проведенной работы – автоматизация определенных процедур проведения демонстрационных психологических исследований для ускорения сбора и обработки эмпирических данных. Разработанная система позволяет сделать больший акцент на знания по ......

Методы анализа данных экспрессии генов

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

Нейросетевой детектор лжи

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

Основа твердых знаний - практикум

Книга посвящена региональному компоненту в задачах по курсу "Пакет прикладных программ", а также вошли в книгу разработки автора по информатике. Основная часть-практикум предназначен для организации практических работ студентов при изучении ......

Моделирование иерархических многопроцессорных систем баз данных

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

Компьютерная арифметика геометрических фигур

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

Моделирование и анализ бизнес-процессов

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

Программное обеспечение встраиваемых компьютерных систем

Повсеместное распространение встроенных компьютерныхсистем (ВКС) требует упрощения разработки и, главное,отладки алгоритмов и программ для этих систем. Втаких случаях необходимы методы представления иуниверсальные средства эмуляции ВКС, ......

РАСПРЕДЕЛЕННОЕ ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ:

Предмет этой книги - такие сложные системы, про которые хорошо известно, из каких компонент они состоят, что эти компоненты умеют делать, по каким правилам взаимодействуют между собой. Проблемой моделирования, притом весьма непростой, является ......

Системы поддержки принятия решений в медицинской диагностике

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

Алгоритмы планирования вычислений и синтеза систем реального времени

В работе рассмотрены вопросы, связанные с построением математической модели вычислительных систем реального времени и планированием вычислений в таких системах. Разработаны алгоритмы построения многопроцессорных расписаний: 1) с прерываниями ......

Автоматизированная система управления процессами на хлебозаводе

Данная работа посвящена разработке автоматизированной системы управления процессами на хлебозаводе. В ходе выполнения проекта был проведен анализ хлебопекарных печей и хлебопекарного процесса как объекта автоматизации. Разработана структура ......