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