Внутренняя память машины Тьюринга
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
[(declarative programming, logical programming) метод программирования, предназначенный для решения задач искусственного интеллекта. В указанном контексте программа описывает логическую структуру решения задачи, указывая преимущественно, что нужно сделать, не вдаваясь в детали, как это делается. Используются языки программирования типа.
В работе рассматриваются проблемы автоматизации процесса создания имитационных моделей сложных систем. В качестве основной парадигмы моделирования выбран многоагентный подход. Предложена архитектура системы поддержки проектирования многоагентных моделей. Основными задачами системы являются формализация и использование концептуальной модели предметной областипри создании агентов, поддержка процесса преобразования концептуальной модели в агентную модель, снижениеквалификационных требований в области программирования для специалистов-предметников, организация совместной работы коллектива исследователей. Оригинальность предлагаемой системы заключается в явном представлении концептуальной модели за счет описания сущностей и связей предметной области в форме онтологии и в использовании системной базы знаний, содержащей правила преобразования онтологии в агентную модель. При использовании системы специалисты-предметники разрабатывают структуру и поведение агентов с помощью декларативного о...
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
программные средства, выполняющие отладку и проверку готовых программ, поиск алгоритмических и семантических ошибок в программе и тестирование программ.
это набор программ, обеспечивающих работу компьютера, в том числе управление ресурсами ЭВМ, взаимосвязь ЭВМ и пользователя, создание копий используемой информации, проверка работоспособности устройств компьютера, выдача справочной информации и другие функции.