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.

PropertyValue
dbpedia-owl:abstract
  • 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. L'inférence peut prendre une forme probabiliste (inférence bayesienne) - il s’agit 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.
  • L'inferenza è 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 differenza tra implicare e inferire. 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.
  • 推論(すいろん、英語: inference, reasoning)とは、既知の事柄を元にして未知の事柄について知ろうとすることである。
  • 추론(推論)은 이미 알고 있는 것으로부터 결론을 도출하는 행위 또는 과정이다.추론은 다양한 분야에서 연구되고 있다. 인지 심리학 분야에서 전통적으로 연구되고 있는 인간 추론 유효한 추론의 규칙을 연구하는 논리학 양적 자료로부터 추론의 형식적 규칙을 개발하는 통계학자 자동화된 추론 시스템을 개발하는 인공 지능 연구자들
  • 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. Można mówić o jego następujących odmianach: o wnioskowaniu inferencyjnym, w którym oderwać można wniosek od przesłanek, jako o: dedukcyjnym, które przybiera postaci: wnioskowania z przesłanek ogólnych o wniosku szczegółowym (przykład: Wszyscy ludzie są śmiertelni, Sokrates jest człowiekiem, Sokrates jest śmiertelny) wnioskowania, w którym przesłanka jest racją dla wniosku, gdzie oderwać można wniosek od przesłanek (przykład: Jeśli będzie padało to pójdę do kina, pada, idę do kina); o wnioskowaniu indukcyjnym (enumeracyjnym lub eliminacyjnym) jako o wnioskowaniu ze szczegółu o ogóle (schemat: przedmiot x 1 posiada własność p, przedmiot x 2 posiada własność p, przedmiot x 3 posiada własność p, ..., przedmiot x n posiada własność p, a zatem każde x jest p. wnioskowaniu redukcyjnym jako o wnioskowaniu ze szczegółu o szczególe - tzw. wnioskowanie przez analogię ((schemat: przedmiot x 1 posiada własność p, przedmiot x 2 posiada własność p, przedmiot x 3 posiada własność p, ..., przedmiot x n posiada własność p, a zatem przedmiot x n+1 też będzie miał własność p.) o wnioskowaniu redukcyjnym jako o wnioskowaniu z następstwa o racji; (przykład: Skoro jest mokro na jezdni i chodniku to pewnie padał deszcz) o wnioskowaniu nieinferencyjnym, w którym nie stwierdza się związku pomiędzy przesłankami a konkluzją (przykład: Jeśli dziś jest wtorek, to życie jest piękne).
  • Вывод (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторыхисходных суждений (предпосылок) к новым суждениям — заключениям.Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов.В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования.В информатике для описания фактов и правил логического вывода, а также баз знаний и моделей экспертных систем широко используется язык логического программирования Пролог.Умозаключения (отдельные шаги вывода) разделяют: По направлению логического следования. Дедуктивные (от общего к частному). Индуктивные (от частного к общему). Трансдуктивные (от одной степени общности к такой же степени общности). По достоверности вывода. Достоверные. Правдоподобные. По числу посылок. Непосредственные. Опосредственные.
  • Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal, son expresiones bien formadas de un lenguaje formal (EBF) 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.
  • Inference is the act or process of deriving logical conclusions from premises known or assumed to be true. The conclusion drawn is also called an idiomatic. The laws of valid inference are studied in the field of logic.Alternatively, 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. Unlike the definition of inference in the first paragraph above, meaning of word meanings are not tested but meaningful relationships are articulated.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.
  • La inferència és l'acte o el procés en què hom deriva una conclusió a partir d'unes premisses. La inferència s'estudia des de diversos camps: La inferència humana, és a dir, la descripció de la manera com els humans deriven conclusions en llur raonament quotidià, és un tema del qual se n'ocupa la Psicologia cognitiva. La Lògica les lleis de la inferència correcta. L'Estadística ha desenvolupat mètodes que permeten fer inferència a partir de dades quantitatives. La Intel·ligència artificial desenvolupa sistemes d'inferència automàtica.
  • Умозаключение — при него от едно или няколко съждения, спазвайки определени правила, извеждаме ново знание.
  • Gevolgtrekking is het trekken van conclusies alleen op basis van reeds bestaande kennis. Binnen de wetenschap wordt de gevolgtrekking in verschillende vakken bestudeerd: De cognitieve psychologie bestudeert menselijke gevolgtrekking ofwel hoe mensen conclusies trekken. De logica bestudeert de wetten van de logische gevolgtrekking. De statistiek heeft formele regels ontwikkeld om conclusies te trekken uit kwantitatieve data. In de kunstmatige intelligentie ontwikkelen wetenschappers geautomatiseerde besluitvormingssystemen.
  • Inferência, em Lógica, é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A conclusão também é chamada de idiomática.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 287573 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 5475 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 51 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 110970168 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 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.
  • 推論(すいろん、英語: inference, reasoning)とは、既知の事柄を元にして未知の事柄について知ろうとすることである。
  • 추론(推論)은 이미 알고 있는 것으로부터 결론을 도출하는 행위 또는 과정이다.추론은 다양한 분야에서 연구되고 있다. 인지 심리학 분야에서 전통적으로 연구되고 있는 인간 추론 유효한 추론의 규칙을 연구하는 논리학 양적 자료로부터 추론의 형식적 규칙을 개발하는 통계학자 자동화된 추론 시스템을 개발하는 인공 지능 연구자들
  • Умозаключение — при него от едно или няколко съждения, спазвайки определени правила, извеждаме ново знание.
  • Inferência, em Lógica, é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A conclusão também é chamada de idiomática.
  • La inferència és l'acte o el procés en què hom deriva una conclusió a partir d'unes premisses. La inferència s'estudia des de diversos camps: La inferència humana, és a dir, la descripció de la manera com els humans deriven conclusions en llur raonament quotidià, és un tema del qual se n'ocupa la Psicologia cognitiva. La Lògica les lleis de la inferència correcta. L'Estadística ha desenvolupat mètodes que permeten fer inferència a partir de dades quantitatives.
  • Als Schlussfolgerung (Inferenz von lat. infero „hineintragen“; „folgern“, „schließen“; englisch inference) bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: Eine Schlussfolgerung ist erstens ein sprachliches Gebilde, das aus einer Reihe von Aussagen einerseits, den Prämissen oder Annahmen (zum Beispiel wissenschaftlichen Hypothesen), und einer weiteren Aussage andererseits, der Konklusion, besteht.
  • Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal, son expresiones bien formadas de un lenguaje formal (EBF) 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.
  • Inference is the act or process of deriving logical conclusions from premises known or assumed to be true. The conclusion drawn is also called an idiomatic. The laws of valid inference are studied in the field of logic.Alternatively, 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.
  • Gevolgtrekking is het trekken van conclusies alleen op basis van reeds bestaande kennis. Binnen de wetenschap wordt de gevolgtrekking in verschillende vakken bestudeerd: De cognitieve psychologie bestudeert menselijke gevolgtrekking ofwel hoe mensen conclusies trekken. De logica bestudeert de wetten van de logische gevolgtrekking. De statistiek heeft formele regels ontwikkeld om conclusies te trekken uit kwantitatieve data.
  • L'inferenza è 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 differenza tra implicare e inferire.
  • Вывод (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторыхисходных суждений (предпосылок) к новым суждениям — заключениям.Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым.
  • 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.
rdfs:label
  • Inférence
  • Gevolgtrekking
  • Inference
  • Inferencia
  • Inferenza
  • Inferència
  • Inferência
  • Schlussfolgerung
  • Wnioskowanie
  • Вывод (рассуждение)
  • Умозаключение
  • 推論
  • 추론
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of