база утверждений
Смотреть что такое "база утверждений" в других словарях:
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
Cyc — Эта статья о проекте по созданию базы знаний. О городе в Тунисе см. Сус. Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Cyc (написано латиницей,… … Википедия
Информационная — функция автоматизированной системы управления Функция АСУ, включающая получение информации, обработку и передачу информации персоналу АСУ или за пределы системы о состоянии ТОУ или внешней среды Источник … Словарь-справочник терминов нормативно-технической документации
БИКОМПАКТНОЕ РАСШИРЕНИЕ — (би)компактификация, расширение топологического пространства, являющееся бикомпактным пространством. Б. р. существуют у любого топологич. пространства, у любого T1 пространства есть Б. р., являющиеся T1 пространствами, но наибольший интерес… … Математическая энциклопедия
Математическая индукция — Математическая индукция один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров … Википедия
Метод математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… … Википедия
Принцип математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… … Википедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
Экспертная система — (ЭС, англ. expert system) компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 … Википедия
Живая этика — Проверить нейтральность. На странице обсуждения должны быть подробности. У этого термина существуют и другие значения, см. Агни (значения). Живая Этика, или Агни Йога … Википедия
Отчет — документ, содержащий сведения о выполнении заданий, поручений, планов и т.п. и представляемый в вышестоящую организацию (должностному лицу). Источник: МДС 12 37.2007: Рекомендации по ведению документооборота в строительной организации Отчет… … Словарь-справочник терминов нормативно-технической документации