МЕТОД СИНТЕЗА ПОВЕДЕНИЯ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ
Научная публикация
МЕТОД СИНТЕЗА ПОВЕДЕНИЯ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ
Автор(ы): О. В. Герман, О. И. Садовская
УДК: 004.7, 681.55
Год издания: 2013
Дата загрузки: 18.06.2014
Загрузил(а): Левитская А. А.

Описание:
В статье рассмотрена формальная задача синтеза поведения интеллектуальной системы (например, робота) на основе системы логических формул с временным параметром, описывающих знания о системе. Излагается оригинальный алгоритм синтеза, основанный на использовании метода подстановок для переменных состояния системы. С формальной точки зрения суть алгоритма сводится к многократному решению систем булевских уравнений, соответствующих последовательным моментам времени 0, 1, 2 ..., . tz = Алгоритм ориентирован на конкретное значение z. Приводится сравнительная оценка с известными методами.

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



Физико-математические науки и информатика