|
|
|
|
|
|
|
|
|
Исчисление ситуационное
| Глоссарий по искусственному интеллекту |
Исчисление предикатов, в котором все или некоторые предикаты снабжены метками, привязывающими их к тем или иным ситуациям. каждая ситуация задается описанием, в котором участвуют внеситуационные выражения, и те, которые связаны с данной ситуацией. в качестве аксиом и.с. используются обычные аксиомы ситуаций и характеристик этих ситуаций в той проблемной области, для которой и.с. используется . (см. также управление ситуационное.)
|
|
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
Исчисление бесконечно малых величин, русский
(франц. calcul infinitesimal) – вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений, составляющих основу современной высшей математики.
Исчисление высказываний, русский
, раздел математической логики, аксиоматическое построение логики высказываний.
Исчисление генцена, русский
Исчисление, в котором аксиомы задаются в виде секвенций.
Исчисление классов, русский
, раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике аристотеля.
Исчисление логическое, русский
- Объект изучения в математической логике, в основе которого лежит понятие формальной системы. в искусственном интеллекте используются различные и.л.: исчисления предикатов, пропозициональное исчисление, исчисление классов, исчисление отношений, многосортные и многозначные логики и т.п.
- Исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
Исчисление оплаты отпуска, русский
Расчет оплаты отпуска. осуществляется на основе среднего дневного заработка. средний дневной заработок для оплаты отпусков и выплаты компенсаций за неиспользованные отпуска исчисляются делением фактически выплаченных сумм в расчетном периоде (за последние
Исчисление пошлин и налогов, русский
Определение суммы пошлин и налогов, подлежащих уплате
Исчисление предикатов, русский
- , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
- Исчисление, в котором наряду с формулами исчисления высказываний используются формулы в которые могут входить отношения (предикаты), связывающие между собой группы элементов исчисления и кванторы общности и существования.
Исчисление предикатов первого порядка, русский
Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. (см. также квантор общности, квантор существования.)
Исчисление пропозициональное, русский
Формальная система, базовыми элементами которой являются высказывания - нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо абсолютно истинными, либо абсолютно ложными. и.п. изучает связи между этими высказываниями, которые задаются логическими связками: отрицанием, дизъюнкцией, конъюнкцией, импликацией и др. и.п. является аксиоматической системой, и для классического и.п. все аксиомы являются тождественно истинными высказываниями, а правила вывода не меняют этого свойства. с помощью и.п. порождаются все тождественно истинные высказывания и только они.
Исчисление среднего заработка, русский
Расчет среднего заработка. средний дневной заработок определяется путем деления фактически выплаченных сумм в расчетном периоде (три календарных месяца с 1-го по 1-е число) на количество рабочих дней, исходя из нормальной или сокращенной продолжительности
Исчисление сроков наказаний и зачет наказания, русский
Для точного исчисления сроков наказаний ст. 72 ук предусмотрены специальные правила. наказания, установленные на определенный срок, исчисляются в единицах времени. к таким наказаниям относятся: лишение права занимать определенные должности или заниматься определенной деятельностью, обязательные работы, исправительные работы, ограничение по военной службе, ограничение свободы, арест, содержание в дисциплинарной воинской части и лишение свободы. все они, за исключением обязательных работ, исчисляются в годах и месяцах, а при замене, сложении и зачете этих видов наказания - в днях (сутках). обязательные работы исчисляются в часах. время содержания лица под стражей до судебного разбирательства и вынесения приговора засчитывается в сроки наказаний, назначенных судом. в зависимости от вида наказания зачет осуществляется по-разному. в срок лишения свободы, содержания в дисциплинарной воинской части и ареста это время засчитывается из расчета день за день. в срок наказания в виде ограничения свободы - день за 2 дня; в срок исправительных работ и ограничения по военной службе - день за 3 дня: в срок обязательных работ - день содержания под стражей за 8 ч обязательных работ. такое соотношение отражает сравнительную тяжесть видов наказания. время содержания лица под стражей до вступления приговора в законную силу засчитывается в срок любого из перечисленных выше "срочных" видов наказания из расчета день за день. из такого же расчета (день за день) засчитывается время отбытия лишения свободы, назначенного приговором суда за преступление, совершенное вне пределов рф, в случае выдачи преступника.
Исчисление;, русский
Исчисленные ресурсы, русский
Ситуационная информация, русский
Информация, поступающая от экстралингвистических факторов, способствующих акту речи.
Ситуационная речь, русский
Ситуационное значение, русский
Ситуационное интервью, русский
Ситуационное клише, русский
Стереотипное выражение, обязательное для данной ситуации. например: «говорит москва!», «добро пожаловать!». ситуационные клише требуют отдельного решения на перевод, т. е. могут рассматриваться как единицы перевода независимо от исходного текста, в состав которого они входят.
Характеристик, русский
Управление, русский
- Объекты, которые являются ограничителями процесса. они определяют, каким образом, когда и при каких условиях происходит преобразование входа. эти объекты не изменяются в результате выполнения процесса. в качестве управления может служить документ «о принципах формирования комплексной программы», который определяет правила создания комплексной программы в процессе, формирующем комплексную программу. на диаграммах управление показывается в виде стрелки, входящей в процесс сверху.
- Управление , господство
- 1. руководство, направление чей-либо деятельности; 2. процесс планирования, организации, мотивации и контроля, необходимый для того, чтобы сформулировать и достичь целей организации.
- , вид подчинительной синтаксической связи, при которой главенствующий компонент словосочетания требует постановки зависимого компонента в определенной грамматической форме, причем форма главенствующего слова не вызывает изменения формы управляемого слова (напр., глагол "желать" управляет винительным и дательным падежами: "желать счастья молодым").
- , элемент, функция организованных систем различной природы (биологических, социальных, технических), обеспечивающая сохранение их определенной структуры, поддержание режима деятельности, реализацию их программ.
- Упорядочивающее воздействие одной системы на другую, направленное на поддержание и улучшение функционирования объекта управления
- Деятельность по достижению поставленной цели.
- Поведение, правила и процессы, влияющие на подходы к реализации принятых решений, в частности открытости, участия, подотчетности, эффективности и согласованности.
- Сознательное целенаправленное воздействие со стороны субъектов, органов управления на объекты, осуществляемое с целью направить их действия и получить желаемые результаты.
|
Исчисление предикатов первого порядка, русский
Исчисление предикатов, в котором под знаком квантора не могут находиться символы предикатов. (см. также квантор общности, квантор существования.)
Отношение семантическое, русский
Используемое в базах знаний отношение семантика которого задается его именем.
|
|
|
|
|
|
|
