Inference engine
http://dbpedia.org/resource/Inference_engine an entity of type: Thing
Eine Inferenzmaschine (lehnübersetzt aus dem englisch inference engine), auch Regelinterpreter und Schlußfolgerungsmaschine genannt, ist der Teil eines wissensbasierten Systems, der durch die Verarbeitung des Wissens aus der gegebenen Wissensbasis neue Aussagen ableitet. Die Inferenzmaschine und die Wissensbasis sind damit die beiden zentralen Bestandteile eines wissensbasierten Systems.
rdf:langString
추론 엔진(inference engine)은 지식베이스를 검색하는데 사용되는 전략이다. 지식기반을 통해 추론행위를 함으로써 주어진 규칙과 사실을 이용하여 새로운 사실을 탐색하는 행위를 하는 전문적인 프로그램을 말한다. 지식획득을 용이하게 하는 형태로 표현해야 하며 저장이 간단해야 하고, 표현이 정확해야 한다. 또한 여러 가지 표현방식을 가지고 있어야 한다.
rdf:langString
推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。
rdf:langString
Um motor de inferência é uma ferramenta informatizada "caixa preta", também utilizada em Sistema Especialista (Inteligência Artificial), que após ser estimulada com solicitações predeterminadas, oferece as soluções possíveis. Este é o núcleo da inteligência artificial de um sistema especialista, onde a capacidade do motor de inferência é baseada numa combinação de procedimentos de raciocínios de forma regressiva (partindo de uma conclusão, feita pelo usuário ou pelo sistema, é feita uma pesquisa por meio do conhecimento acumulado para se provar a afirmação inicial) e progressiva (respostas fornecidas pelo usuário desencadeando um processo de busca até que se encontre a solução ótima).
rdf:langString
Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки.
rdf:langString
推理机是实施问题求解的核心执行机构，常見於專家系統。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。
rdf:langString
In the field of artificial intelligence, an inference engine is a component of the system that applies logical rules to the knowledge base to deduce new information. The first inference engines were components of expert systems. The typical expert system consisted of a knowledge base and an inference engine. The knowledge base stored facts about the world. The inference engine applies logical rules to the knowledge base and deduced new knowledge. This process would iterate as each new fact in the knowledge base could trigger additional rules in the inference engine. Inference engines work primarily in one of two modes either special rule or facts: forward chaining and backward chaining. Forward chaining starts with the known facts and asserts new facts. Backward chaining starts with goals,
rdf:langString
Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel (processus informatique) correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter :
rdf:langString
In informatica, un motore inferenziale è un algoritmo che simula le modalità con cui la mente umana trae delle conclusioni logiche attraverso il ragionamento. Fa parte dei software detti "sistemi esperti". Analogamente al comportamento logico, il motore inferenziale può trarre delle conclusioni di tipo deduttivo (o forward chaining, quando da un principio di carattere generale ne estrae uno o più di carattere particolare) oppure di tipo induttivo (o backward chaining, quando accade il contrario). Un motore inferenziale è costituito dai seguenti elementi:
rdf:langString
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
* Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком».
* Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком».
rdf:langString
rdf:langString
Inferenzmaschine
rdf:langString
Moteur d'inférence
rdf:langString
Inference engine
rdf:langString
Motore inferenziale
rdf:langString
推論エンジン
rdf:langString
추론 엔진
rdf:langString
Motor de inferência
rdf:langString
Машина вывода
rdf:langString
Машина висновування
rdf:langString
推理机
xsd:integer
418609
xsd:integer
1091162271
rdf:langString
Eine Inferenzmaschine (lehnübersetzt aus dem englisch inference engine), auch Regelinterpreter und Schlußfolgerungsmaschine genannt, ist der Teil eines wissensbasierten Systems, der durch die Verarbeitung des Wissens aus der gegebenen Wissensbasis neue Aussagen ableitet. Die Inferenzmaschine und die Wissensbasis sind damit die beiden zentralen Bestandteile eines wissensbasierten Systems.
rdf:langString
In the field of artificial intelligence, an inference engine is a component of the system that applies logical rules to the knowledge base to deduce new information. The first inference engines were components of expert systems. The typical expert system consisted of a knowledge base and an inference engine. The knowledge base stored facts about the world. The inference engine applies logical rules to the knowledge base and deduced new knowledge. This process would iterate as each new fact in the knowledge base could trigger additional rules in the inference engine. Inference engines work primarily in one of two modes either special rule or facts: forward chaining and backward chaining. Forward chaining starts with the known facts and asserts new facts. Backward chaining starts with goals, and works backward to determine what facts must be asserted so that the goals can be achieved.
rdf:langString
Un moteur d'inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel (processus informatique) correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d'inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des conclusions à partir d'une base de faits et d'une base de connaissances. Les moteurs d'inférence peuvent implémenter :
* une logique formelle d'ordre 0 (logique des propositions), d'ordre 0+, d'ordre 1 (logique des prédicats) ou d'ordre 2 avec
* une gestion d'hypothèses monotone ou non monotone,
* un chaînage avant, chaînage arrière ou ,
* une complétude déductive ou non.
rdf:langString
In informatica, un motore inferenziale è un algoritmo che simula le modalità con cui la mente umana trae delle conclusioni logiche attraverso il ragionamento. Fa parte dei software detti "sistemi esperti". Analogamente al comportamento logico, il motore inferenziale può trarre delle conclusioni di tipo deduttivo (o forward chaining, quando da un principio di carattere generale ne estrae uno o più di carattere particolare) oppure di tipo induttivo (o backward chaining, quando accade il contrario). Il meccanismo del motore inferenziale è basato su delle "regole" di soluzione del problema che vengono scelte ed attuate a seconda del problema in oggetto. Un motore inferenziale è costituito dai seguenti elementi:
* interprete: decide la regola da applicare;
* schedulatore: decide l'ordine di esecuzione delle regole;
* memoria di lavoro: in essa viene memorizzato un elenco delle operazioni svolte e da svolgere;
* rafforzatore di consistenza: ha il compito di testare la veridicità delle ipotesi fatte.
rdf:langString
추론 엔진(inference engine)은 지식베이스를 검색하는데 사용되는 전략이다. 지식기반을 통해 추론행위를 함으로써 주어진 규칙과 사실을 이용하여 새로운 사실을 탐색하는 행위를 하는 전문적인 프로그램을 말한다. 지식획득을 용이하게 하는 형태로 표현해야 하며 저장이 간단해야 하고, 표현이 정확해야 한다. 또한 여러 가지 표현방식을 가지고 있어야 한다.
rdf:langString
推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。
rdf:langString
Um motor de inferência é uma ferramenta informatizada "caixa preta", também utilizada em Sistema Especialista (Inteligência Artificial), que após ser estimulada com solicitações predeterminadas, oferece as soluções possíveis. Este é o núcleo da inteligência artificial de um sistema especialista, onde a capacidade do motor de inferência é baseada numa combinação de procedimentos de raciocínios de forma regressiva (partindo de uma conclusão, feita pelo usuário ou pelo sistema, é feita uma pesquisa por meio do conhecimento acumulado para se provar a afirmação inicial) e progressiva (respostas fornecidas pelo usuário desencadeando um processo de busca até que se encontre a solução ótima).
rdf:langString
Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки.
rdf:langString
推理机是实施问题求解的核心执行机构，常見於專家系統。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。
rdf:langString
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
* Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком».
* Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком». Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные. Машина вывода обычно может выполнять одну или обе из следующих операций:
* Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил.
* Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт. В первом случае на вопрос типа «Истинно ли A?» машина вывода даёт ответ «Да» либо «Нет», во втором — на вопрос типа «При каких X истинно правило A(X)?» машина вычисляет все возможные значения X, при подстановке которых в правило A это правило превращается в истинный факт. В теории построения машин логического вывода не имеет однозначного решения так называемая — проблема способа определения не-истинности факта. В большинстве случаев машина вывода делает вывод о не-истинности факта, если истинность факта не является выводимой из базы фактов и правил, но это может приводить к неправильной интерпретации знаний, поскольку результаты «A ложно» и «A недоказуемо» не различаются. Машина вывода является базовым элементом экспертных систем и систем исполнения программ, написанных на языках логического программирования, таких как Prolog.
xsd:nonNegativeInteger
10116