| знания декларативные | Знания, которые записаны в памяти интеллектуальной системы так, что они непосредственно доступны для использования после обращения к соответствующему полю памяти. в виде з.д. обычно записывается и... |
| знания экспертные | - Знания, которыми располагает специалист в некоторой предметной области.
- Знания, которыми располагает специалист в избранной предметной области.
|
| знания эвристические | Знания, накапливаемые интеллектуальной системой в процессе ее функционирования, а также знания, заложенные в ней априорно, но не имеющие статуса абсолютной истинности в данной проблемной области. ... |
| знания процедурные | - Знания, хранящиеся в памяти интеллектуальной системы в виде описаний процедур, с помощью которых их можно получить. в виде з.п. обычно описываются информация о предметной области, характеризую...
процедурные знания; |
| отладка синтаксическая | Идентификация ошибок в программе на языке представления знаний, осуществляемая автоматически синтаксическим анализатором. |
| система интеллектуальная обучающаяся | Интеллектуальная система в которой имеется совокупность средств для пополнения ее базы знаний. возможны два способа обучения: с учителем и без учителя. в первом случае с.и.о. должна иметь возможно... |
| система интеллектуальная обучающая | Интеллектуальная система для обучения человека какому-либо роду деятельности или используемая в процессе обучения школьников или студентов. с.и.о. включает естественно-языковый интерфейс, средства... |
| система, основанная на правилах | Интеллектуальная система, в базе знаний которой принято представление знаний в виде систем продукций. |
| система экспертная | - Интеллектуальная система, предназначенная для оказания консультационной помощи специалистам, работающим в некоторой предметной области. различают два типа с.э. системы первого типа предназначе...
|
| система естественно-языковая | Интеллектуальная система, способная воспринимать тексты или речь на ограниченном естественном языке, понимать их и функционировать в соответствии с информацией, содержащейся в тексте. при необходи... |
| система, основанная на знаниях | Интеллектуальная система, функционирование которой определяется совокупность знаний о проблемной области, в которой она используется. |
| интерфейс интеллектуальный | Интерфейс, в который включены средства, позволяющие человеку вести общие с эвм, не используя для ввода в эвм специальные программы. |
| отношение семантическое | Используемое в базах знаний отношение семантика которого задается его именем. |
| исчисление ситуационное | Исчисление предикатов, в котором все или некоторые предикаты снабжены метками, привязывающими их к тем или иным ситуациям. каждая ситуация задается описанием, в котором участвуют внеситуационные в... |
| исчисление предикатов первого порядка | Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. (см. также квантор общности, квантор существования.) |
| исчисление генцена | Исчисление, в котором аксиомы задаются в виде секвенций. |
| лямбда - исчисление | Исчисление, в котором используется операция функциональной абстракции (конверсии) xm, задающая функцию, значения которой для любого аргумента получаются подставной этого аргумента вместо x во все ... |
| модель ситуаций | Классификационная модель, которая позволяет опознавать текущие ситуации как известные системы. м.с. используется, например, в ситуационном управлении. |
| иллокутивный потенциал | Коммуникативные возможности конкретного вида речевого акта. например, возможность выражать вопрос, сомнение, просьбу вопросительным предложением типа "а разве вы не придете?". |
| анализ сцен | Комплекс моделей и методов, позволяющий в интеллектуальных системах (например, в интеллектуальных роботах) отображать в памяти системы трехмерные зрительные сцены. при проецировании сцен в память ... |
| когнитивная наука | Комплекс научных дисциплин (когнитивная психология, теория аргументации и др.), объединенных единым предметом исследования - отражением в познавательных структурах человека окружающей его действит... |
| автоматизированная система управления предприятием (асуп) | Комплекс программных и аппаратных средств для автоматизированного управления предприятием. основными задачами асуп являются: календарное и перспективное планирование, организационное и оперативное... |
| автоматизированная система управления технологическим процессом (асутп) | Комплекс программных и аппаратных средств, непосредственно управляющих ходом технологического (производственного) процесса. основными задачами асутп являются отслеживание и корректировка хода техн... |
| система интерактивная | Комплекс программных или аппаратно-программных средств, обеспечивающих взаимодействие пользователя с системой, решающей его задачу в процессе поиска решения. |
| система управления базой данных (субд) | Комплекс средств, входящих в состав базы данных, с помощью которых формируются поисковые запросы к информации, хранящейся в базе данных, выполняются процедуры поиска, служебные процедуры связанные... |
| система автоматизированного проектирования (сапр) | Комплекс средств, предназначенных для помощи инженеру-проектировщику в создании новых технических объектов. сапр включает большое количество расчетных модулей, базу знаний средств ведения документ... |
| машина связей | Компьютер, состоящий из десятков и сотен тысяч параллельно работающих процессоров. конструкция м.с. позволяет любому процессору связываться с любым другим процессором подобно абонентам телефонной ... |
| автомат секвенциальный | Конечный автомат, описанный на языке секвенций, задающий автоматные функции. каждой такой системе можно поставить в соответствие типовую структуру а.с. состоящую из регистра (связанных между собой... |
| логика монотонная | Логика замкнутого мира, эквивалентная некоторой формальной системы. в л.м. действует принцип монотонности: если на некотором шаге вывода получено утверждение, то его истинность на последующих шага... |
| логика немонотонная | Логика открытого мира. в л.н. нарушается основной принцип монотонной логики. если на некотором шаге вывода получено утверждение, то при поступлении в систему новой информации (новых фактов) истинн... |
| логика временная | Логика отношений, в которой отношения (предикаты) или специальные операторы характеризуют временные зависимости ("раньше", "будет", "одновременно" и т.д.). другим типом л.в. являются так называемы... |
| логика многозначная | Логика, в которой в качестве значений истинности переменных выступают натуральные числа 0,1,...,k. |
| логика двоичная | Логика, в которой в качестве истинностных значений выражений рассматриваются лишь два значения: 0 и 1, интерпретируемые как абсолютная ложь и абсолютная истина. |
| логика команд | Логика, в которой в качестве операторов используются различные императивы. близка к логике действий. используется в интеллектуальных роботах и других интеллектуальных системах. |
| логика нечеткая | Логика, в которой используются нечетные квантификаторы, чаще всего нечеткие квантификаторы лингвистической переменной "частота": "почти никогда", почти всегда". рассуждения с подобными квантификат... |
| логика каузальная | Логика, в которой отношения характеризуют типы связей, совпадающие с причинно-следственными или близкие к ним по содержанию. |
| логика конструктивная | Логика, в которой разрешены лишь конструктивные доказательства. ( ) л.к. лежат в основе конструктивной математики, тесно связанной с проблемами вычислимости на эвм и других устройствах, имеющих ог... |
| логика вероятностная | - Логика, в которой формулы оцениваются значениями , интерпретируемыми как вероятности того, что данная формула принимает значение "истина". с правилами вывода в л.в. связываются процедуры, позв...
вероятностная логика; |
| логика интуиционистская | Логика, используемая в формальных системах, которые опираются не на классические конструкции, восходящие к теории множеств. а на умозрительные конструкции. в рассуждениях об этих конструкциях оказ... |
| логика математическая | Логика, основанная не на содержательной стороне высказываний, а на синтаксических категориях и их структурных (операционных) связях. в основе л.м. лежит понятие формальной системы. различные интер... |
| логика псевдофизическая | Логика, отражающая восприятие субъектом или искусственной системой закономерностей внешней физической среды. особенностью л.п. является наличие размытых шкал, на которые проецируются объекты, с ко... |
| логика пропозициональная | Логика, характерная для пропозиционального исчисления. |
| конъюкция | Логическая операция (связка) для n>2 выражений. результирующее выражение (конъюнкция исходных выражений) истинно только тогда, когда истинны все исходные выражения. для обозначения к. стандартно и... |
| теория аксиоматическая | Логическая теория, в которой все исходные аксиомы являются тождественно истинными, а правила вывода - достоверными. |
| доказательство теоремы | Логическое следование данной формулы из данной совокупности выведенных ранее формул. |
| индукция полная (математическая) | Математическое доказательство справедливости некоторой закономерности, основанное на выдвижении гипотезы по конечному числу фактов и обоснований к изменению этой закономерности. |
| решетка келли репертуарная | Метод изучения структуры индивидуального сознания путем заполнения специальным образом составленной матрицы. строки матрицы соответствуют конструктам келли. столбцам матрицы соответствуют объекты,... |
| принцип резолюции | Метод логического вывода, в основе которого лежит приведение доказываемого утверждения к множеству дизъюктов и поиску в этом множестве пар, один дизъюнкт которых содержит некоторую литеру, а друго... |
| подход байесовский | Метод принятия оптимальных статистических решений, основанный на положении, что параметр распределения вероятностей наблюдаемого случайного события, влияющий на характер принимаемых решений, являе... |
| шкала относительная | Метрическая шкала, в которой расстояния отсчитываются от какого-либо относительного маркера, например от наблюдаемого в данный момент объекта. |
| фрактал | Множество с нецелой размерностью для описания негладких кривых и поверхностей. ф. используется в системах машинной графики для задания сложных графических образов и при изменении масштабов изображ... fractal; |
| система фреймов | Множество фреймов, связанных между собой различными отношениями. |
| язык контекстно-свободный | Множество цепочек символов, порождаемых контекстно-свободной грамматикой. |
| язык контекстно-связанный | Множество цепочек символов, порождаемых контекстно-связанной грамматикой. |
| язык автоматный | Множество цепочек символов, порождаемых с помощью автоматной грамматики. |
| множество нечеткое | Множество, характеристическая функция которого может принимать значения из отрезка [0,1]. значение характеристической функции для некоторого элемента характеризует степень принадлежности этого эле... |
| система индуктивная | Модель в которой используется индуктивная логика или индуктивное обобщение (или и то и другое). |
| сеть петри | Модель для описания асинхронных параллельных и недетерминированных процессов, а также систем продукционного типа. статически модель задается двудольным орфографом с двумя типами вершин - позициями... |
| модель реляционная | Модель описания данных, в которой все отношения задаются строками таблиц, столбцы которых помечены именами атрибутов. табличное представление данных оказывается часто удобным. это обеспечило широк... |
| модель стимул-реакция | Модель поведения, опирающаяся на принцип черного ящика. в м.с.р. рассматриваются конечное множество стимулов, которые могут восприниматься субъектом или подаваться на выход искусственной системы, ... |
| модель логическая | Модель представления знаний, в основе которой лежит формальная система. |
| модель ассоциативная | Модель процесса решения задачи человеком, опирающаяся на процедуру установления сходства данной задачи (или составляющих ее подзадач) с задачами, решение которых уже известно. |
| модель открытая | Модель, в которую в процессе функционирования интеллектуальной системы можно добавить новые факты и закономерности. |
| модель лабиринтная | Модель, в рамках которой процесс решения задач человеком объясняется аналогией с движением по лабиринту. площадки лабиринта соответствуют промежуточным результатам (часть площадок отмечена как цел... |
| система формальная | Модель, лежащая в основе многих математических теорий. с.ф. представляет собой четверку: множество базовых элементов синтаксические правила аксиомы правила вывода. |
| модель обучения | Модель, лежащая в основе процесса обучения человека или технического устройства. различают два типа м.о. - дескриптивный и нормативный. дескриптивный м.о. извлекается из описания процесса деятельн... |
| модель логико-лингвистическая | Модель, основанная на расширении формальной системы, в рамках которой вводятся процедуры изменения всех или части элементов формальной системы в зависимости от решаемых задач. м.л.л. часто использ... |
| модель замкнутая | Модель, остающаяся неизменной при работе с ней. в процессе функционирования интеллектуальной системы м.з. в отличие от открытой модели нельзя добавлять новые факты и закономерности. все утверждени... |
| выборка обучающая | Набор примеров и контрпримеров для формирования решающих правил. входит в состав таблицы обучения. |
| разрешимость алгоритмическая | Наличие алгоритма решения поставленной задачи. |
| творчество машинное | Направление в искусственном интеллекте, в рамках которого создаются модели и способы генерирования на эвм аналогов результатов творческой деятельности человека. сюда относятся программы для сочине... |
| нейробионика | Направление в исследованиях по искусственному интеллекту для которого характерно использование для воспроизведения в интеллектуальных системах процессоров, присущих биологическим объектам, структу... |
| графика динамическая | Направление в машинной графике, которое разрабатывает приемы и процедуры для воспроизведения на экране дисплея движущихся сцен. в г.д. используются многие средства, разработанные в мультипликацион... |
| графика когнитивная | Направление в машинной графике, которое связывает представления, возникающие на экране дисплея, с когнитивными процессами, протекающими при решении задач. г.к. позволяет как бы визуализировать про... |
| отладка семантическая | Нахождение в программе смысловых ошибок. о.с. осуществляется путем выполнения на эвм тестируемой программы с такими исходными данными, для которых правильное решение заранее известно. |
| индукция неполная (эмпирическая) | Нахождение закономерностей, которым подчиняются все известные до этого момента наблюдения. найденные закономерности могут опровергаться новым наблюдениями. |
| память виртуальная | Неограниченная оперативная память, которой располагает пользователь. с помощью специальных системных средств в эвм происходит проецирование части п.в. на поле оперативной памяти. при этом остальна... |
