Информационные технологии /technologies information ТК 022

Логика действий — система рассуждений о закономерностях действий в некоторой проблемной среде. Л.Д. опирается на временную логику и пространственную логику, а также на свойства конкретной

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

Монотонность при выводе — свойство, характерное для вывода в замкнутой формальной системе и в закрытой базе знаний и состоящее в том, что ранее выведенные утверждения

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

Архитектура параллельная — архитектура вычислительной системы в которой одновременно выполняются одинаковые или различные операции над несколькими группами данных. См. также СИМД-архитектура и МИМД-архитектура. [Толковый словарь

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

Архитектура компьютера — совокупность обобщенных сведений о структуре основных блоков компьютера, их функционировании и информационно-управляющих связях между ними. [Толковый словарь по искусственному интеллекту / Авторы-составители

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

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