Inference may be defined as the non-logical, but rational means, through observation of patterns of facts, to indirectly see new meanings and contexts for understanding. Of particular use to this application of inference are anomalies and symbols. Inference, in this sense, does not draw conclusions but opens new paths for inquiry. (See second set of Examples.) In this definition of inference, there are two types of inference: inductive inference and deductive inference.

Property Value
dbo:abstract
  • Als Schlussfolgerung (Inferenz von lat. inferre „hineintragen“; „folgern“, „schließen“; englisch inference) bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: In der Informatik und der Statistik wird die Schlussfolgerung auch gelegentlich mit dem sonst im Deutschen unüblichen Fremdwort Inferenz bezeichnet, wohl als Übersetzung des englischen inference (‚Schluss, Folgerung‘); meist aber wird das Wort Inferenz in der Informatik spezieller für solche Schlussfolgerungen verwendet, die automatisiert, d. h. computergestützt durch eine Inferenzmaschine, gezogen wurden. Der logische Schluss wird mit dem Folgepfeil notiert. (de)
  • Una inferencia es una evaluación que realiza la mente entre proposiciones. Inferencia es aquella acción y efecto de inferir (sacar una consecuencia de otra cosa, deducir algo, conducir a un resultado). La inferencia nace a partir de una evaluación mental entre distintas expresiones, que al ser relacionadas como abstracciones, permiten trazar una implicación lógica. En lógica formal, son expresiones bien formadas (EBF) de un lenguaje formal que, al ser relacionadas, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF. Surge así lo que conocemos como postulado o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente. Es la operación lógica utilizada en los motores de inferencia de los sistemas expertos. (es)
  • L’inférence est un mouvement de la pensée allant des principes à la conclusion. C'est une opération qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion. On distingue les inférences déductives, inductives et abductives. Lors d'un énoncé, l'implicite est un sens indirectement suggéré qui peut être construit par l'interlocuteur ; cette construction s'appelle l'inférence. L'inférence peut prendre une forme probabiliste (inférence bayesienne) - il s’agit d'une opération logique portant sur des propositions tenues pour vraies (les prémisses) et concluant à la vérité d'une nouvelle proposition en vertu de sa liaison avec les premières. C'est pourquoi l'inférence est souvent réduite à la déduction nécessaire dans laquelle la vérité des prémisses assure totalement la vérité de la conclusion. Cependant, pour les sémiologues, tels que Charles Peirce, la pensée n'opère pas sur des propositions, mais sur des signes. Ils proposent ainsi un modèle structuraliste, centré sur les relations formelles du langage, qui s'inspire de la linguistique. En effet, pour Ferdinand de Saussure, toute langue constitue un système au sein duquel les signes se combinent et évoluent d'une façon qui s'impose à ceux qui la manient. On est donc conduit, pour rendre compte de la sémiosis, à élargir la notion d'inférence à des opérations portant sur des symboles dicents (des quasi-propositions) et à remplacer la notion de vérité d'une proposition par celle de réalité d'une représentation pour un interprète particulier. Cette conception de l'inférence ouvre le champ à la description des opérations réellement effectuées dans la vie quotidienne et libère des contraintes imposées par le point de vue qui s'en tient uniquement à la production de vérités universelles, c’est-à-dire aux arguments valides. C'est ainsi que l'acte de poser une hypothèse qui consiste à tenir pour vraie, au moins provisoirement, une proposition n'entretenant aucun lien logique nécessaire avec les prémisses aura droit de cité dans cette perspective. On l'observe en effet dans toute activité de recherche dont elle constitue la part d'invention possible. Cela conduira à distinguer trois types d'inférence : la déduction, l'induction et l'abduction. Ce sont les trois types de raisonnement formalisés par Peirce en 1903. (fr)
  • Inference may be defined as the non-logical, but rational means, through observation of patterns of facts, to indirectly see new meanings and contexts for understanding. Of particular use to this application of inference are anomalies and symbols. Inference, in this sense, does not draw conclusions but opens new paths for inquiry. (See second set of Examples.) In this definition of inference, there are two types of inference: inductive inference and deductive inference. Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of cognitive psychology; artificial intelligence researchers develop automated inference systems to emulate human inference. Statistical inference uses mathematics to draw conclusions in the presence of uncertainty. This generalizes deterministic reasoning, with the absence of uncertainty as a special case. Statistical inference uses quantitative or qualitative (categorical) data which may be subject to random variation. (en)
  • الاستدلال، في مجال علم المنطق، هو فعل او ألية استنتاج منطقي بناء على فرضية تعتبر صحيحة. وتسمى النتيجة بالـ"اصطلاح". تسم الاستدلالات الخاطئة بالباطل. (ar)
  • L'inferenza ( dal latino in ferre cioè portare dentro) è il processo con il quale da una proposizione accolta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima. Inferire è quindi trarre una conclusione. Inferire X significa concludere che X è vero; un'inferenza è la conclusione tratta da un insieme di fatti o circostanze. Gran parte dello studio della logica esplora la validità o non validità di inferenze e implicazioni. Esiste una sottile differenza tra implicare e inferire: il primo sottende in maniera tacita una conseguenza, il secondo vi perviene esplicitamente. Se si scrive che "tutti gli uomini sono mortali" e "Socrate è un uomo", si implica che Socrate è mortale, ma un lettore così attento da notare la nostra implicazione e pensare "quindi Socrate è mortale", inferisce che Socrate è mortale. In linguistica si parla di "formulazione di inferenze" nello schema di Roman Jakobson sulla lingua intesa come sistema di segni utili alla comunicazione. Si tratta di un procedimento che non prevede nessun emittente volontario ma solo la presenza di un oggetto che viene interpretato come messaggio. Esempio: oggetto: "case dai tetti spioventi" → messaggio interpretato: "qui nevica spesso". La formulazione di inferenze consiste quindi nella capacità di formulare deduzioni traendo informazioni da un oggetto reale. Viene quindi usato un sistema di deduzioni, si deduce dai postulati dati ! (it)
  • 推論(すいろん、英語: inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。 (ja)
  • Wnioskowanie jest to jedna z najbardziej podstawowych odmian rozumowania obok sprawdzania, dowodzenia i wyjaśniania. Wnioskować - za Kazimierzem Ajdukiewiczem - znaczy tyle co na podstawie uprzednio uznanych zdań (sądów) dochodzić do uznania nowego (dotąd nie uznawanego) zdania (sądu), lub wzmacniać pewność z jaką nowe zdanie uznajemy. Zdania uznawane, na podstawie których dochodzimy do uznania lub wzmocnienia pewności nowego zdania nazywane są przesłankami, zaś zdanie na ich podstawie uznane nazywany jest wnioskiem (konkluzją). Pomiędzy przesłankami a konkluzją nie musi zachodzić jakiś szczególny stosunek, a zwłaszcza jedno z nich nie musi być racją dla drugiego – wnioskowanie może być: (a) pewne albo prawdopodobne; (b) poprawne albo niepoprawne. (pl)
  • Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras. A conclusão também é chamada de idiomática. (pt)
  • Gevolgtrekking is het trekken van conclusies alleen op basis van reeds bestaande kennis. Binnen de wetenschap wordt de gevolgtrekking in verschillende vakken bestudeerd: (nl)
  • Вывод (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторыхисходных суждений (предпосылок) к новым суждениям — заключениям.Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов.В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования.В информатике для описания фактов и правил логического вывода, а также баз знаний и моделей экспертных систем широко используется язык логического программирования Пролог.Умозаключения (отдельные шаги вывода) разделяют: По направлению логического следования. Дедуктивные (от общего к частному). Индуктивные (от частного к общему). Трансдуктивные (от одной степени общности к такой же степени общности). По достоверности вывода. Достоверные. Правдоподобные. По числу посылок. Непосредственные. Опосредственные. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 317465 (xsd:integer)
dbo:wikiPageRevisionID
  • 704577367 (xsd:integer)
dct:subject
rdf:type
rdfs:comment
  • الاستدلال، في مجال علم المنطق، هو فعل او ألية استنتاج منطقي بناء على فرضية تعتبر صحيحة. وتسمى النتيجة بالـ"اصطلاح". تسم الاستدلالات الخاطئة بالباطل. (ar)
  • 推論(すいろん、英語: inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。 (ja)
  • Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras. A conclusão também é chamada de idiomática. (pt)
  • Gevolgtrekking is het trekken van conclusies alleen op basis van reeds bestaande kennis. Binnen de wetenschap wordt de gevolgtrekking in verschillende vakken bestudeerd: (nl)
  • Inference may be defined as the non-logical, but rational means, through observation of patterns of facts, to indirectly see new meanings and contexts for understanding. Of particular use to this application of inference are anomalies and symbols. Inference, in this sense, does not draw conclusions but opens new paths for inquiry. (See second set of Examples.) In this definition of inference, there are two types of inference: inductive inference and deductive inference. (en)
  • Als Schlussfolgerung (Inferenz von lat. inferre „hineintragen“; „folgern“, „schließen“; englisch inference) bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten:In der Informatik und der Statistik wird die Schlussfolgerung auch gelegentlich mit dem sonst im Deutschen unüblichen Fremdwort Inferenz bezeichnet, wohl als Übersetzung des englischen inference (‚Schluss, Folgerung‘); meist aber wird das Wort Inferenz in der Informatik spezieller für solche Schlussfolgerungen verwendet, die automatisiert, d. h. computergestützt durch eine Inferenzmaschine, gezogen wurden. (de)
  • Una inferencia es una evaluación que realiza la mente entre proposiciones.Inferencia es aquella acción y efecto de inferir (sacar una consecuencia de otra cosa, deducir algo, conducir a un resultado). La inferencia nace a partir de una evaluación mental entre distintas expresiones, que al ser relacionadas como abstracciones, permiten trazar una implicación lógica.Es la operación lógica utilizada en los motores de inferencia de los sistemas expertos. (es)
  • L’inférence est un mouvement de la pensée allant des principes à la conclusion. C'est une opération qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion.On distingue les inférences déductives, inductives et abductives. Lors d'un énoncé, l'implicite est un sens indirectement suggéré qui peut être construit par l'interlocuteur ; cette construction s'appelle l'inférence. (fr)
  • L'inferenza ( dal latino in ferre cioè portare dentro) è il processo con il quale da una proposizione accolta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima.Inferire è quindi trarre una conclusione. Inferire X significa concludere che X è vero; un'inferenza è la conclusione tratta da un insieme di fatti o circostanze. Gran parte dello studio della logica esplora la validità o non validità di inferenze e implicazioni.oggetto: "case dai tetti spioventi" → messaggio interpretato: "qui nevica spesso". (it)
  • Wnioskowanie jest to jedna z najbardziej podstawowych odmian rozumowania obok sprawdzania, dowodzenia i wyjaśniania.Wnioskować - za Kazimierzem Ajdukiewiczem - znaczy tyle co na podstawie uprzednio uznanych zdań (sądów) dochodzić do uznania nowego (dotąd nie uznawanego) zdania (sądu), lub wzmacniać pewność z jaką nowe zdanie uznajemy. Zdania uznawane, na podstawie których dochodzimy do uznania lub wzmocnienia pewności nowego zdania nazywane są przesłankami, zaś zdanie na ich podstawie uznane nazywany jest wnioskiem (konkluzją). Pomiędzy przesłankami a konkluzją nie musi zachodzić jakiś szczególny stosunek, a zwłaszcza jedno z nich nie musi być racją dla drugiego – wnioskowanie może być: (a) pewne albo prawdopodobne; (b) poprawne albo niepoprawne. (pl)
  • Вывод (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторыхисходных суждений (предпосылок) к новым суждениям — заключениям.Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. (ru)
rdfs:label
  • Inference (en)
  • استدلال (بحث علمي) (ar)
  • Schlussfolgerung (de)
  • Inferencia (es)
  • Inférence (fr)
  • Inferenza (it)
  • 推論 (ja)
  • Gevolgtrekking (nl)
  • Wnioskowanie (pl)
  • Inferência (pt)
  • Вывод (рассуждение) (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:field of
is dbo:wikiPageRedirects of
is dbp:fields of
is foaf:primaryTopic of