(Sponging disallowed)

About: Inference     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FInference

Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in Europe dates at least to Aristotle (300s BCE). Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction.

AttributesValues
rdf:type
rdfs:label
  • Inference (en)
  • استدلال (بحث علمي) (ar)
  • Inferència (ca)
  • Schlussfolgerung (de)
  • Inferenco (eo)
  • Inferencia (es)
  • Inferentzia (logika) (eu)
  • Kesimpulan (in)
  • Inferenza (it)
  • Inférence (logique) (fr)
  • 추론 (ko)
  • Gevolgtrekking (nl)
  • 推論 (ja)
  • Wnioskowanie (pl)
  • Inferência (pt)
  • Вывод (рассуждение) (ru)
  • Slutledning (sv)
  • Висновок (uk)
  • 推理 (zh)
rdfs:comment
  • الاستدلال، في مجال علم المنطق، هو فعل أو آلية استنتاج منطقي بناء على فرضية تعتبر صحيحة. وتسمى النتيجة بالـ«اصطلاح». تسم الاستدلالات الخاطئة بالباطل. (ar)
  • 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. (ca)
  • Inferenco estas procezo konkludi surbaze nur de tio, kion oni jam scias. Inferencon oni studas en pluraj malsamaj kampoj. * Homa inferenco (t.e. kiel homoj konkludas) estas tradicie studata en la kampo de kogna psikologio. * Logiko studas la leĝojn pri valida inferenco. * Statistiko disvolvas formalajn regulojn por inferenco el kvantaj datumoj. * Artefarita inteligenteco disvolvas aŭtomatajn inferencosistemojn. (eo)
  • Kesimpulan adalah suatu proposisi (kalimat yang disampaikan) yang diambil dari beberapa premis (ide pemikiran) dengan aturan-aturan inferensi (yang berlaku). Kesimpulan juga merupakan sebuah gagasan yang tercapai pada akhir pembicaraan. Dengan kata lain, kesimpulan adalah hasil dari pembicaraan. (in)
  • 推論(すいろん、英語: inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。 (ja)
  • 추론(推論, deductive reasoning)은 이미 알고 있는 또는 확인된 정보로부터 을 도출하는 행위 또는 과정이다. 따라서 추론(推論)은 '어떠한 판단을 근거로 삼아 다른 판단을 이끌어 내는 것'이라고 할 수 있다. 이러한 추론은 다양한 분야에서 연구되고 있다. * 인지 심리학 분야에서 전통적으로 연구되고 있는 인간의 추론 작용 * 유효한 추론의 규칙을 연구하는 논리학 * 양적 자료로부터 추론의 형식적 규칙을 개발하는 통계학자 * 자동화된 추론 시스템을 개발하는 인공 지능(AI) 연구자들 (ko)
  • 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: * 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. (nl)
  • En slutledning är en process, vid vilken man från ett antal premisser och i kraft av en slutledningsregel framställer en slutsats. En slutledning är giltig då slutsatsen följer av premisserna. Slutsatsen S, sägs följa av premisserna P1....Pn då konjunktionen av dessa tautologt implicerar slutsatsen, vilket med symboler kan uttryckas som: P1....Pn Härav följer att slutsatsen S är sann då premisserna är sanna, men om någon av dessa är falsk kan, även om slutledningen är giltig, slutsatsen vara falsk. En härledning brukar beskrivas som en serie av slutledningar. (sv)
  • 推理是「使用理智從某些前提產生結論」的行動。以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。 (zh)
  • Schlussfolgerung, Schlussfolgern, Folgerung, Inferenz (aus lateinisch inferre „hineintragen“; „folgern“, „schließen“; englisch inference) oder Konklusion (lateinisch conclusio „Schlussfolgerung“) und Implikation sind in der Logik Bezeichnungen für mehrere eng miteinander verwandte Sachverhalte: Der logische Schluss wird mit dem Folgepfeil notiert. (de)
  • La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.​ Cuando una conclusión se sigue de sus premisas o hipótesis de partida, por medio de deducciones lógicas válidas, se dice que éstas implican aquella (es decir, que las premisas implican la conclusión). En las investigaciones sobre la inteligencia artificial, la inferencia es la operación lógica utilizada en los motores de inferencia de los sistemas expertos.[cita requerida] (es)
  • Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in Europe dates at least to Aristotle (300s BCE). Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction. (en)
  • Inferentzia deduktiboa egiazko aurrekarietatik egiazko ondorioak ateratzeko prozesua edo buru-eragiketa da. Jasotako informaziotik edo premisetatik, ontzat hartzen den edozein hatsarretan oinarriturik, ondorioak ateratzea. Gizakiok etengabe egiten dugun eragiketa logikoa da eta batzuetan behar diren ondorioak behar bezala dedukzioz ateratzen ditugu eta beste batzuetan ondorio okerrak ateratzen ditugu. (eu)
  • 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. Étymologiquement, le mot inférence signifie « reporter ». En théorie, l'inférence est traditionnellement divisée en déduction et induction, une distinction qui, en Europe, remonte au moins à Aristote (300 ans avant Jésus-Christ). (fr)
  • In logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo (induttivo o deduttivo, etc.) attraverso il quale una proposizione viene derivata dalle premesse (vale a dire: la sua verità o falsità viene derivata dalla verità o dalla falsità delle premesse). Spesso in un'inferenza deduttiva delle proposizioni vengono come vere e, in base al loro contenuto, è derivata la verità di un'altra, passando dalle prime all'ultima secondo opportune regole di inferenza. * oggetto: "case dai tetti spioventi" → messaggio interpretato: "qui nevica spesso". (it)
  • Wnioskowanie – 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 nazywane 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)
  • Ви́сновок — остаточна думка про що-небудь, логічний підсумок, зроблений на основі спостережень, міркувань або розгляду певних фактів. Висно́вувати означає робити ви́сновок. Виснувати, або вивести X означає зробити висновок, що X є істинним. Висновок — форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження, що містить у собі нове знання.Наприклад, коли з двох суджень: 1) «Кожен обвинувачуваний має право на захист» і 2) «Петренко — обвинувачуваний» виводиться третє судження: «Петренко має право на захист», ми робимо умовивід. (uk)
  • Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений. Пример: Заключение — логическая противоположность основанию в логическом выводе. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки. (ru)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software