In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the "brain" that expert systems use to reason about the information in the knowledge base for the ultimate purpose of formulating new conclusions. Inference engines are considered to be a special case of reasoning engines, which can use more general methods of reasoning.

PropertyValue
dbpprop:abstract
  • In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the "brain" that expert systems use to reason about the information in the knowledge base for the ultimate purpose of formulating new conclusions. Inference engines are considered to be a special case of reasoning engines, which can use more general methods of reasoning.
  • Eine Inferenzmaschine (englisch Inference engine) ist eine Software aus dem Bereich der künstlichen Intelligenz, die durch Schlussfolgerung neue Aussagen aus einer bestehenden Wissensbasis ableitet. Damit sind Inferenzmaschinen Kernbestandteil von Expertensystemen und anderen wissensbasierten Systemen. Um neues Wissen aus den ihr bekannten Fakten zu generieren, stehen der Inferenzmaschine 5 Inferenzregeln zur Verfügung.
  • Un moteur d'inférence (du verbe "inférer" = déduire) est un logiciel 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érences peuvent implémenter : une logique formelle d'ordre 0, 0+, 1 ou d'ordre 2 avec une gestion d'hypothèses monotone ou non monotone, un chaînage avant, arrière ou mixte, une complétude déductive ou non.
  • 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.
  • 推論エンジン(inference engine)とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。
  • Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком». Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком». Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные. Машина вывода обычно может выполнять одну или обе из следующих операций: Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил. Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт. В первом случае на вопрос типа «Истинно ли A?» машина вывода даёт ответ «Да» либо «Нет», во втором — на вопрос типа «При каких X истинно правило A(X)?» машина вычисляет все возможные значения X, при подстановке которых в правило A это правило превращается в истинный факт. В теории построения машин логического вывода не имеет однозначного решения так называемая проблема логического отрицания — проблема способа определения не-истинности факта. В большинстве случаев машина вывода делает вывод о не-истинности факта, если истинность факта не является выводимой из базы фактов и правил, но это может приводить к неправильной интерпретации знаний, поскольку результаты «A ложно» и «A недоказуемо» не различаются. Машина вывода является базовым элементом экспертных систем и систем исполнения программ, написанных на языках логического программирования, таких как Prolog.
  • Машина ви́ведення — програма, яка виконує логічний вивід з попередньо побудованої бази фактів і правил в відповідності з законами формальної логіки.
  • 推理机是实施问题求解的核心执行机构，常見於專家系統。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。
dbpprop:date
  • December 2007
dbpprop:hasPhotoCollection
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • In computer science, and specifically the branches of knowledge engineering and artificial intelligence, an inference engine is a computer program that tries to derive answers from a knowledge base. It is the "brain" that expert systems use to reason about the information in the knowledge base for the ultimate purpose of formulating new conclusions. Inference engines are considered to be a special case of reasoning engines, which can use more general methods of reasoning.
  • Eine Inferenzmaschine (englisch Inference engine) ist eine Software aus dem Bereich der künstlichen Intelligenz, die durch Schlussfolgerung neue Aussagen aus einer bestehenden Wissensbasis ableitet. Damit sind Inferenzmaschinen Kernbestandteil von Expertensystemen und anderen wissensbasierten Systemen. Um neues Wissen aus den ihr bekannten Fakten zu generieren, stehen der Inferenzmaschine 5 Inferenzregeln zur Verfügung.
  • Un moteur d'inférence (du verbe "inférer" = déduire) est un logiciel 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.
  • 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".
  • 推論エンジン(inference engine)とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。
  • Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком».
  • Машина ви́ведення — програма, яка виконує логічний вивід з попередньо побудованої бази фактів і правил в відповідності з законами формальної логіки.
  • 推理机是实施问题求解的核心执行机构，常見於專家系統。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。
rdfs:label
  • Inference engine
  • Inferenzmaschine
  • Moteur d'inférence
  • Motore inferenziale
  • 推論エンジン
  • Машина вывода
  • Машина виведення
  • 推理机
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of