-
1 язык правил вывода
Automation: production( - rule) languageУниверсальный русско-английский словарь > язык правил вывода
-
2 язык правил вывода, порождающих правила
Makarov: production language, production-rule languageУниверсальный русско-английский словарь > язык правил вывода, порождающих правила
См. также в других словарях:
Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Язык разметки прогнозного моделирования — Язык разметки для прогнозного моделирования (Predictive Model Markup Language PMML) является языком разметки на основе XML, разработанным Data Mining Group (DMG), и обеспечивающим приложениям способ определения моделей, относящихся к… … Википедия
ЯЗЫК ПРОГРАММИРОВАНИЯ — это совокупность набора символов (алфавита) системы, правил образования (синтаксис) и истолкования конструкции из символов (семантика) для задания алгоритмов с использованием символов естественного языка. В самом общем виде формальный язык… … Большая политехническая энциклопедия
Язык и языки — (в лингвистическом смысле) в значении речи человеческой. Это название применяется в русском Я. переносно, метафорически, причем главный, видимый орган произношения, язык, берется в значении процесса, в значении деятельности и всей совокупности… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
язык логики — специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его… … Словарь терминов логики
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Пролог (язык программирования) — У этого термина существуют и другие значения, см. Пролог. Пролог Семантика: логическое программирование Появился в: 1972 Автор(ы): Alain Colmerauer Расширение файлов: .pl .pro .P … Википедия
Логический язык программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… … Википедия
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия