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 premises 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
  • استدلال (بحث علمي)
  • Inferència
  • Schlussfolgerung
  • Inferenco
  • Inferencia
  • Inferentzia (logika)
  • Inférence (logique)
  • Kesimpulan
  • 推論
  • Inferenza
  • 추론
  • Gevolgtrekking
  • Inferência
  • Wnioskowanie
  • Slutledning
  • Вывод (рассуждение)
  • Висновок
  • 推理
rdfs:comment
  • 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.
  • الاستدلال، في مجال علم المنطق، هو فعل أو آلية استنتاج منطقي بناء على فرضية تعتبر صحيحة. وتسمى النتيجة بالـ«اصطلاح». تسم الاستدلالات الخاطئة بالباطل.
  • 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.
  • 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.
  • 推論(すいろん、英語: inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。
  • 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.
  • 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.
  • 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.
  • 推理是「使用理智從某些前提產生結論」的行動。以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。
  • 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.
  • La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.​ Cuando una conclusión se sigue de sus premisas por medio de inferencias válidas, se dice que éstas implican aquella. Tradicionalmente, se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.​ Las inducciones se estudian desde la lógica inductiva y el problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea.​
  • 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.
  • 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 premises to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction.
  • 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 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).
  • In logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo (induttivo o deduttivo, etc.) attraverso il quale una proposizione viene derivata, e.g., stabilita vera. 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".
  • 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.
  • Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений. Пример: Заключение — логическая противоположность основанию в логическом выводе. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки.
  • Висновок — остаточна думка про що-небудь, логічний підсумок, зроблений на основі спостережень, міркувань або розгляду певних фактів. Висно́вувати означає робити ви́сновок. Виснувати, або вивести X означає зробити висновок, що X є істинним. Висновок — форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження, що містить у собі нове знання.Наприклад, коли з двох суджень: 1) «Кожен обвинувачуваний має право на захист» і 2) «Петренко — обвинувачуваний» виводиться третє судження: «Петренко має право на захист», ми робимо умовивід.
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git110 as of Apr 06 2022


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.3323 as of May 9 2022, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2022 OpenLink Software