Метод багатошарової декомпозиції предикатів та його застосування у системах штучного інтелекту
Моделі формальної обробки інформації у системах штучного інтелекту. Розробка алгебро-логічних методів декомпозиції предикатів для формалізації процесів інтелектуальної обробки інформації у системах штучного інтелекту. Опис механізмів природної мови.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 28.07.2014 |
| Размер файла | 133,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.23 - системы и средства искусственного интеллекта - Харьковский национальный университет радиоэлектроники, Харьков, 2004.
Диссертация посвящена разработке метода многослойной декомпозиции предикатов, который дает возможность формального описания и схемного представления произвольных отношений. Всесторонне рассмотрено понятие двухслойной декомпозиции 1-го рода предикатов. Сформулирована и доказана теорема, которая дает представление произвольного предиката в его общем виде 1-го рода через характеристические функции и некоторый, более простой предикат. Представлен способ нахождения образа предиката через его характеристические функции. Подобное представление предиката, кроме существенного упрощения его формы записи, является также моделью обобщенного метода компараторной идентификации. В связи с этим в работе изучен метод компарации, выделены необходимые и достаточные условия идентификации процесса компараторным методом, исследована связь видов изоморфизмов модели компараторной идентификации (предиката эквивалентности) с практическими особенностями измерения входных сигналов. Доказан ряд теорем, свидетельствующий о том, что компараторный метод является эффективным средством идентификации физического объекта, его внутреннего состояния и нуль органа. Доказано, что обобщенным методом компараторной идентификации можно с точностью до обозначений идентифицировать одновременно п объектов. Разработан метод двухслойной декомпозиции 2-го рода, позволяющий представить предикат через отображения и некоторый простейший предикат. Доказана теорема, обосновывающая представление бинарного предиката в его общем виде 2-го рода. Предложен способ нахождения характеристических предикатов исходного предиката через некоторую классифицирующую функцию. На основе объединения разработанных методов двухслойной декомпозиции 1-го и 2-го рода предиката введен метод трехслойной декомпозиции предиката. Разработанный метод многослойной декомпозиции предикатов позволяет получать схемное представление любых отношений, при этом результат вычисляется по схеме по параллельному принципу. Усовершенствована теория обобщенных пространств, открывающая новый формальный взгляд на отношения, выделяя направленность их действия. Рассмотрены основные определения и изучены свойства общего случая пространства, вскрывающие их структуру, введено понятие квазитолерантных предикатов, сопровождающих такие пространства. Представлены смысловые интерпретации обобщенных пространств: морфологическое, декартово и квазидекартово пространство и вытекающий из них метод бинаризации предикатов. Охарактеризованы возможные направления применения разработанного математического аппарата в системах искусственного интеллекта, при создании естественно-языкового интеллектуального интерфейса: в области автоматизированного проектирования цифровых устройств, для формализации механизмов естественного языка, при работе с базами данных.
На базе полученных теоретических результатов создан алгоритмически-программный модуль, внедренный на Харьковском государственном редакционно-издательском предприятии “Оригинал” для морфологической проверки и коррекции авторских текстов на русском и украинском языках; разработано алгоритмическое обеспечение формирования входной информации при создании комплексной “Автоматизированной системы управления финансово-хозяйственной деятельностью ХГПЗ им. Т.Г.Шевченко”, на кафедре АПВТ ХНУРЭ при проектировании IP-core, реализующего функции синтаксического анализа языкового поведения человека.
Ключевые слова: декомпозиция, предикат, отношение, компараторная идентификация, естественный язык, семантика, алгебро-логический аппарат, искусственный интеллект.
Pronuk G.V. Method of multilayer decomposition of predicates and its application in the systems of artificial intellect. - Manuscript.
A thesis on competition of a scientific degree of the candidate of engineering science on a speciality 05.13.23 - systems and means of an artificial intellect -Kharkov National University of Radio Electronics, Kharkov, 2004.
The thesis is devoted to the development of a method of multilayer decomposition for the formal description and schematic representation of any relations in the systems of an artificial intellect. The correctness of the method of the 1-st kind two-layer decomposition of predicates which essentially simplifies a formal record of predicates is proved and it is the model of the method of generalized comparative identification. The concept of the 2-nd kind two-layer decomposition of predicate which allows to present a predicate through reflections and some elementary predicate is entered. The method of the three-layer decomposition of the predicate, allowing to receive schematic representation of any relations and calculate the result under the scheme by a parallel principle is introduced. The theory of the generalized spaces, due to disclosing of internal structure of the general space and submitted of its some substantial interpretations is improved. Practical application of the developed mathematical device in the systems of an artificial intellect, for the creation of the naturally language intellectual interface is considered.
Keywords: decomposition, a predicate, a relation, comparative identification, a natural language, semantics, algebro-logical apparatus, an artificial intellect.
Размещено на Allbest.ru
...Подобные документы
Поняття штучного інтелекту, його порівняння з природним. Коротка характеристика особливостей використання штучного інтелекту в медицині, військовій справі та комп'ютерних іграх. Проблема взаємодії носіїв універсального штучного інтелекту та суспільства.
контрольная работа [29,6 K], добавлен 07.01.2014Логічний, структурний, еволюційний та імітаційний підходи до побудови системи штучного інтелекту. Використання формально-логічних структур, що обумовлено їх алгоритмічним характером. Методи реалізації системи штучного інтелекту, інтелектуальні програми.
реферат [34,5 K], добавлен 14.04.2014Інтуїтивне розуміння поняття "інтелект". Основні проблемні середовища штучного інтелекту. Проблема неточних і неповних знань. Тест Тьюринга і фатичний діалог. Метод комп’ютерної реалізації фатичного діалогу. Принцип віртуальної семантичної сітки.
курсовая работа [560,0 K], добавлен 27.12.2007Поняття криптографії та криптографічних систем. Загальні відомості про блокові шифри. Особливості стандарту DES. Процедура генерування раундових підключів. Розшифрування зашифрованого тексту. Криптоаналіз блокових шифрів. Система шифрування RSA.
курсовая работа [712,4 K], добавлен 29.01.2013Застосування нейронних мереж при вирішенні різних технічних проблем. Архітектура штучних нейронних мереж. Дослідження штучного інтелекту. Гіпотеза символьних систем. Представлення за допомогою символів. Синтаксичний та семантичний аналіз розуміння мови.
курсовая работа [985,8 K], добавлен 14.01.2010Створення програмного продукту на мові Object Pascal в середовищі візуального програмування Delphi 7.0, що дозволяє отримати необхідну інформацію про штучний інтелект та переглянути відео з теми. Пошук інформації, її отримання з ресурсів мережі Інтернет.
курсовая работа [5,4 M], добавлен 24.09.2013Підходи до розуміння проблеми штучного інтелекту. Тест Тьюринга і інтуїтивний підхід, символьний та логічний, агентно-орієнтований і гібридній. Машинний інтелект: загальна характеристика та головні сфери застосування на сьогодні, науковий напрямок.
курсовая работа [203,1 K], добавлен 09.04.2013Загальна характеристика підприємства АТВТ "Суми-Авто", напрямки його діяльності та облікова політика. Опис автоматизованої системи обробки економічної інформації, яка використовується на підприємстві, процес обробки інформації конкретної задачі в ній.
контрольная работа [20,4 K], добавлен 27.07.2009Опис та криптоаналіз шифрів простої заміни, перестановки та багатоалфавітних шифрів. Стандарт DЕS. Мережі Фейстеля. Криптосистеми з відкритим ключем. Структура системи RSA. Означення та принципи організації криптографічних протоколів. Кодування алфавіта.
дипломная работа [782,5 K], добавлен 29.01.2013Cтвopення веб-дoдатку для визначення pівня інтелекту людини (кoефіцієнта інтелекту) на мові пpoгpамування PHP з викopиcтанням JаvаScrіpt та cиcтеми кеpування базами даних MySQL. Функціoнальні частини програми: клієнтcька чаcтина і заcoби адміністрування.
дипломная работа [614,8 K], добавлен 08.10.2010Синтез аналогової та структурної схеми цифрового фільтру. Опис програми обробки інформації. Оцінка верхньої фінітної частоти вхідного аналогового сигналу. Структурна схема та алгоритм функціонування пристрою мікропроцесорної обробки аналогової інформації.
курсовая работа [710,9 K], добавлен 12.03.2010Поняття та класифікація технологічних операцій, їх склад і зміст, порядок організації їх виконання в економічних інформаційних системах. Технологія створення і ведення інформаційних масивів. Методика обробки інформації з ціноутворення та прибутків.
реферат [34,8 K], добавлен 27.07.2009Комп'ютерні інформаційні системи. Характеристика автоматизованої системи обробки економічної інформації на підприємстві. Технологічний процес обробки інформації конкретної задачі в системі. Впровадження в дію автоматизації бухгалтерського обліку.
контрольная работа [25,1 K], добавлен 26.07.2009Механізм функціонування Visual Prolog, яка має предикати для безпосереднього доступу до операційної системи. Розгляд предикатів, які дозволяють звертатися до ОС, предикатів побітової обробки чисел та підтримки низькорівневого режиму роботи з пам'яттю.
контрольная работа [21,4 K], добавлен 02.07.2011Місце мікропроцесора в структурі мікропроцесорних приладів, його функції. Інтегральні мікросхеми із великою ступінню інтеграції. Розробка структурної схеми мікропроцесорної системи обробки інформації на основі мікроконтролера ATmega128 та інших мікросхем.
курсовая работа [2,1 M], добавлен 18.09.2010Характерна особливість ігрових задач. Основні види ігрових задач: з повною та неповною інформацією. Методи знаходження планів гри і оптимальних стратегій для таких ігор, як шахи, шашки, "хрестики-нулики". Способи побудови систем штучного інтелекту.
контрольная работа [588,5 K], добавлен 22.01.2015Аналіз основних операцій спецпроцесора обробки криптографічної інформації, його синтез у модулярній системі числення та дослідження математичної моделі надійності. Виведення аналітичних співвідношень для оцінки ефективності принципу кільцевого зсуву.
дипломная работа [1,8 M], добавлен 15.10.2013Нові інформаційні технології (НІТ) як сукупність нових засобів і методів обробки, зберігання і передачі інформації. Технологічна основа та основні принципи створення НІТ. Класифікатори техніко-економічної інформації в фінансовому контролі й аудиті.
контрольная работа [21,5 K], добавлен 27.09.2010Введення в процедуру зворотного поширення. Навчальний алгоритм: мережеві конфігурації, нейрон, багатошарова мережа. Огляд навчання: прохід вперед, зворотній прохід, налаштування ваги прихованого прошарку, додавання нейронного зміщення та імпульс.
реферат [124,0 K], добавлен 19.06.2015Автоматизована системи обробки економічної інформації, яка використовується на підприємстві, її характеристика. Технологічний процес обробки інформації конкретної задачі в системі. Зауваження користувача щодо функціональних і ергономічних характеристик.
контрольная работа [26,5 K], добавлен 27.07.2009
