-
121 formal semantics
Prolog proved to be an excellent tool for illustrating the formal semantics of programming languages. (К. Slonneger) — Пролог оказался превосходным инструментом для иллюстрирования формальной семантики языков программирования см. тж. semantics
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal semantics
-
122 I
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > I
-
123 predicate calculus
ветвь логики (см. symbolic logic); лежит в основе языков логического программирования.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate calculus
-
124 directory comment
оглавление; комментарий в виде указателя -
125 program comment
-
126 declarative language
декларативный язык
Язык программирования для выражения определений.
Примечание
В качестве такого языка часто выступает язык описания данных.
[ ГОСТ 19781-90]
декларативный язык
непроцедурный язык
Язык программирования, который задает отношения между объектами, но не определяет последовательность выполнения действий.
Например, язык PROLOG.
[Гипертекстовый энциклопедический словарь по информатике Э. Якубайтиса]
[ http://www.morepc.ru/dict/]Тематики
- информационные технологии в целом
- обеспеч. систем обраб. информ. программное
Синонимы
EN
Declarative language
Язык программирования для выражения определений.
Примечание. В качестве такого языка часто выступает язык описания данных
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > declarative language
-
127 artifical intellect
искусственный интеллект
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание
Такими функциями являются, например, обучение и логический вывод.
[ ГОСТ 15971-90]
искусственный интеллект
Способность устройства или прикладного процесса обнаруживать свойства, ассоциируемые с разумным поведением человека.
Задачей искусственного интеллекта является придание системам способности обучаться и "думать". При этом, естественно предполагается, что алгоритм решения задачи, выполняемой искусственным интеллектом, не известен. Создание искусственного интеллекта является исключительно сложной задачей, в которой часто используется эвристика. Между тем, ее решение уже осуществляется по нескольким следующим направлениям:
создание эффективно функционирующих обучающих систем;
разработка многочисленных экспертных систем, определяемых набором взаимосвязанных правил, формулирующих опыт специалистов в некоторой области, и механизмом решения, позволяющим распознать систуацию, ставить диагноз, давать рекомендации к действию;
решение многих задач распознавания речи, что позволяет компьютерам понимать естественные языки, правда пока в ограниченной области применения;
внедрение в реальную жизнь технологии и идентификации отпечатков пальцев;
серьезные достижения в распознавании передних частей головы человека. Эти задачи уже решены для тех случаев, когда в этом заинтересованы сами люди, например, опознание для работы с банковских системах;
использование диагностических систем в исследовании явлений и процессов, например, для анализа крови, управления доменным процессом, изучения состояния нефтяных полей и т.д.
Важную роль в развитии искусственного интеллекта играют специально создаваемые для этой цели языки. Среди них следует выделить универсальный сетевой язык, язык LISP и язык PROLOG.
[ http://www.morepc.ru/dict/]
искусственный интеллект
«условное обозначение кибернетических систем, моделирующих некоторые стороны интеллектуальной деятельности человека — логическое, аналитическое мышление» (СЭС, стр. 507).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > artifical intellect
-
128 artifical intelligence
искусственный интеллект
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание
Такими функциями являются, например, обучение и логический вывод.
[ ГОСТ 15971-90]
искусственный интеллект
Способность устройства или прикладного процесса обнаруживать свойства, ассоциируемые с разумным поведением человека.
Задачей искусственного интеллекта является придание системам способности обучаться и "думать". При этом, естественно предполагается, что алгоритм решения задачи, выполняемой искусственным интеллектом, не известен. Создание искусственного интеллекта является исключительно сложной задачей, в которой часто используется эвристика. Между тем, ее решение уже осуществляется по нескольким следующим направлениям:
создание эффективно функционирующих обучающих систем;
разработка многочисленных экспертных систем, определяемых набором взаимосвязанных правил, формулирующих опыт специалистов в некоторой области, и механизмом решения, позволяющим распознать систуацию, ставить диагноз, давать рекомендации к действию;
решение многих задач распознавания речи, что позволяет компьютерам понимать естественные языки, правда пока в ограниченной области применения;
внедрение в реальную жизнь технологии и идентификации отпечатков пальцев;
серьезные достижения в распознавании передних частей головы человека. Эти задачи уже решены для тех случаев, когда в этом заинтересованы сами люди, например, опознание для работы с банковских системах;
использование диагностических систем в исследовании явлений и процессов, например, для анализа крови, управления доменным процессом, изучения состояния нефтяных полей и т.д.
Важную роль в развитии искусственного интеллекта играют специально создаваемые для этой цели языки. Среди них следует выделить универсальный сетевой язык, язык LISP и язык PROLOG.
[ http://www.morepc.ru/dict/]
искусственный интеллект
«условное обозначение кибернетических систем, моделирующих некоторые стороны интеллектуальной деятельности человека — логическое, аналитическое мышление» (СЭС, стр. 507).
[ http://slovar-lopatnikov.ru/]Тематики
EN
56. Искусственный интеллект
Artifical intelligence
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание. Такими функциями являются, например, обучение и логический вывод
Источник: ГОСТ 15971-90: Системы обработки информации. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > artifical intelligence
См. также в других словарях:
PROLOG — Pour les articles homonymes, voir Prolog (homonymie). Prolog est l’un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972. Le… … Wikipédia en Français
PROLOG — Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell … Deutsch Wikipedia
Prolog++ — is an object oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog programs.Prolog++ was developed by Logic Programming Associates and first first released in 1989 for MS… … Wikipedia
Prolog — steht für: Prolog (Literatur), eine Einleitung und Vorgeschichte, insbesondere in Theaterstücken ein Auftaktrennen insbesondere im Radsport, siehe Prolog (Radrennen) die Eröffnungsansprache des Christkindes zum Nürnberger Christkindlesmarkt… … Deutsch Wikipedia
prolog — [ prɔlɔg ] n. m. • 1975; acronyme de Programmation en logique ♦ Inform. Langage évolué orienté vers les expressions symboliques, en particulier en intelligence artificielle. ⊗ HOM. Prologue. ● Prolog nom masculin (abréviation de programmation en… … Encyclopédie Universelle
prolog — {{/stl 13}}{{stl 8}}rz. mnż IIa, D. u {{/stl 8}}{{stl 20}} {{/stl 20}}{{stl 12}}1. {{/stl 12}}{{stl 8}}lit. {{/stl 8}}{{stl 7}} wstępna część utworu dramatycznego lub powieści, zapoznająca czytelnika (lub widza w teatrze) z okolicznościami… … Langenscheidt Polski wyjaśnień
Prolog — Sm Vorrede erw. fach. (13. Jh.), mhd. prologe, prologus Entlehnung. Ist entlehnt aus l. prologus, dieses aus gr. prólogos, zu gr. lógos Rede, das Sprechen, Wort, Erzählung , zu gr. légein (auf)lesen, reden, sprechen und gr. pro . Ebenso nndl.… … Etymologisches Wörterbuch der deutschen sprache
prolog — pròlog m <N mn ozi> DEFINICIJA 1. uvodni tekst scenskom ili opernom glazbenom djelu; uvod 2. pren. uvodni događaj (i) [prolog 2. svjetskom ratu] ETIMOLOGIJA njem. Prolog ← lat. prologus ← grč. prólogos ≃ pro 2 + log … Hrvatski jezični portal
Prolog — Prolog, Vorrede. Bei den Schauspielen der Griechen und Römer trat bei Beginn und in den Zwischenacten eine Person (Prologus) auf, und gab in gedrängter Kürze Erklärungen über das Geschehene oder das zu Erwartende. Shakespeare hat den Prolog der… … Damen Conversations Lexikon
PROLOG — [ˈprəʊlɒg ǁ ˈproʊlɒːg, lɑːg] noun [uncountable] trademark COMPUTING a type of computer language, similar in form to human language … Financial and business terms
Prolog — „Prolog“ kalba statusas T sritis informatika apibrėžtis ↑Deklaratyvioji kalba, pagrįsta matematine logika (predikatų skaičiavimu). Sukurta 20 amž. aštuntajame dešimtmetyje. Įsitvirtino ↑dirbtinio intelekto srityje. atitikmenys: angl. Prolog… … Enciklopedinis kompiuterijos žodynas