Inference engine (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (de) 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. (en) 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. (fr) 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. (it) 추론 엔진(inference engine)은 지식베이스를 검색하는데 사용되는 전략이다. 지식기반을 통해 추론행위를 함으로써 주어진 규칙과 사실을 이용하여 새로운 사실을 탐색하는 행위를 하는 전문적인 프로그램을 말한다. 지식획득을 용이하게 하는 형태로 표현해야 하며 저장이 간단해야 하고, 표현이 정확해야 한다. 또한 여러 가지 표현방식을 가지고 있어야 한다. (ko) 推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。 (ja) 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). (pt) Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки. (uk) 推理机是实施问题求解的核心执行机构，常見於專家系統。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。 (zh) Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. * Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком». * Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком». Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные. Машина вывода обычно может выполнять одну или обе из следующих операций: * Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил. * Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт. В первом случае на вопрос типа «Истинно ли A?» машина вывода даёт ответ «Да» либо «Нет», во втором — на вопрос типа «При каких X истинно правило A(X)?» машина вычисляет все возможные значения X, при подстановке которых в правило A это правило превращается в истинный факт. В теории построения машин логического вывода не имеет однозначного решения так называемая — проблема способа определения не-истинности факта. В большинстве случаев машина вывода делает вывод о не-истинности факта, если истинность факта не является выводимой из базы фактов и правил, но это может приводить к неправильной интерпретации знаний, поскольку результаты «A ложно» и «A недоказуемо» не различаются. Машина вывода является базовым элементом экспертных систем и систем исполнения программ, написанных на языках логического программирования, таких как Prolog. (ru) |
| dbo:wikiPageExternalLink | https://frama-c.com/ https://clipsrules.net/ http://refpersys.org https://github.com/bstarynk/caia-pitrat |
| dbo:wikiPageID | 418609 (xsd:integer) |
| dbo:wikiPageLength | 10116 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1091162271 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prolog dbr:Universal_quantification dbr:Personal_Computer dbr:Debugging dbr:IntelliCorp_(software) dbr:MYCIN dbr:Geometric_and_Topological_Inference dbr:OPS5 dbr:Edward_Feigenbaum dbr:Lisp_(programming_language) dbr:C_(programming_language) dbr:First-order_logic dbr:Forward_chaining dbr:Knowledge_base dbr:Rete_algorithm dbr:Backward_chaining dbr:Artificial_intelligence dbc:Inference dbr:Modus_ponens dbc:Expert_systems dbr:Expert_system dbr:Existential_quantification dbr:Pseudocode dbr:Inductive_inference dbr:Action_selection_mechanism dbr:Theorem-prover |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Reflist dbt:Update dbt:Computable_knowledge |
| dct:subject | dbc:Inference dbc:Expert_systems |
| gold:hypernym | dbr:Tool |
| rdf:type | owl:Thing dbo:Software yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 dbo:MusicGenre yago:System104377057 yago:Whole100003553 yago:WikicatExpertSystems |
| rdfs:comment | 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. (de) 추론 엔진(inference engine)은 지식베이스를 검색하는데 사용되는 전략이다. 지식기반을 통해 추론행위를 함으로써 주어진 규칙과 사실을 이용하여 새로운 사실을 탐색하는 행위를 하는 전문적인 프로그램을 말한다. 지식획득을 용이하게 하는 형태로 표현해야 하며 저장이 간단해야 하고, 표현이 정확해야 한다. 또한 여러 가지 표현방식을 가지고 있어야 한다. (ko) 推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。 (ja) 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). (pt) Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки. (uk) 推理机是实施问题求解的核心执行机构，常見於專家系統。它是对知识进行解释的程序，根据知识的语义，对按一定策略找到的知识进行解释执行，并把结果记录到动态库的适当空间中去。 (zh) 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, (en) 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 : (fr) 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: (it) Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. * Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком». * Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком». (ru) |
| rdfs:label | Inferenzmaschine (de) Moteur d'inférence (fr) Inference engine (en) Motore inferenziale (it) 推論エンジン (ja) 추론 엔진 (ko) Motor de inferência (pt) Машина вывода (ru) Машина висновування (uk) 推理机 (zh) |
| owl:sameAs | freebase:Inference engine yago-res:Inference engine http://d-nb.info/gnd/4284158-6 wikidata:Inference engine dbpedia-az:Inference engine dbpedia-de:Inference engine dbpedia-fa:Inference engine dbpedia-fr:Inference engine dbpedia-it:Inference engine dbpedia-ja:Inference engine dbpedia-ko:Inference engine dbpedia-pt:Inference engine dbpedia-ru:Inference engine dbpedia-uk:Inference engine dbpedia-zh:Inference engine https://global.dbpedia.org/id/M17a |
| prov:wasDerivedFrom | wikipedia-en:Inference_engine?oldid=1091162271&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Inference_engine |
| is dbo:genre of | dbr:Cyc |
| is dbo:wikiPageRedirects of | dbr:Rule-based_inference_engine dbr:Inference_system dbr:Expert_system_shell |
| is dbo:wikiPageWikiLink of | dbr:Calculus_ratiocinator dbr:Bayesian_programming dbr:Rule-based_inference_engine dbr:Metaobject dbr:UMBEL dbr:Ben_Goertzel dbr:Cwm_(software) dbr:Deductive_classifier dbr:Deductive_language dbr:Intuitive_statistics dbr:Reasoning_system dbr:Workflow_engine dbr:OPS5 dbr:Semantic_reasoner dbr:Clinical_decision_support_system dbr:Glossary_of_artificial_intelligence dbr:Conceptual_graph dbr:Lisp_(programming_language) dbr:Complex_event_processing dbr:Action_selection dbr:Adaptive_learning dbr:GOFAI dbr:Cyc dbr:Nicholas_Rescher dbr:Dipmeter_Advisor dbr:Forward_chaining dbr:Frame_(artificial_intelligence) dbr:Knowledge-based_systems dbr:Knowledge_acquisition dbr:Knowledge_engineering dbr:Knowledge_representation_and_reasoning dbr:Legal_expert_system dbr:Production_system_(computer_science) dbr:Rete_algorithm dbr:Rule-based_system dbr:Backward_chaining dbr:Artificial_intelligence_in_fraud_detection dbr:Symbolic_artificial_intelligence dbr:Reason_maintenance dbr:Automated_reasoning dbr:Business_rules_engine dbr:CADUCEUS_(expert_system) dbr:Free_energy_principle dbr:Knowledge_Engineering_Environment dbr:Neural_Network_Exchange_Format dbr:Ontology_(information_science) dbr:OpenCog dbr:OpenVINO dbr:Xped dbr:SNePS dbr:Expert_system dbr:Event_monitoring dbr:Gesture_Description_Language dbr:Mycin dbr:NVDLA dbr:Textual_entailment dbr:Inference_system dbr:Expert_system_shell |
| is foaf:primaryTopic of | wikipedia-en:Inference_engine |