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, distinguishing abduction from induction.

AttributesValues
rdf:type
rdfs:label
  • Inference
  • استدلال (بحث علمي)
  • Inferència
  • Důsledek
  • Schlussfolgerung
  • Inferenco
  • Inferencia
  • Inferentzia (logika)
  • Inférence (logique)
  • Inferenza
  • 推論
  • 추론
  • Gevolgtrekking
  • Wnioskowanie
  • Inferência
  • Вывод (рассуждение)
  • 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 . * Logiko studas la leĝojn pri valida inferenco. * Statistiko disvolvas formalajn regulojn por inferenco el kvantaj datumoj. * Artefarita inteligenteco disvolvas aŭtomatajn inferencosistemojn.
  • 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 immédiates des inférences médiates telles que déductives, inductives et abductives.
  • 推論(すいろん、英語: inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。
  • 추론(推論)은 이미 알고 있는 또는 확인된 정보로부터 을 도출하는 행위 또는 과정이다. 따라서 추론(推論)은 '어떠한 판단을 근거로 삼아 다른 판단을 이끌어 내는 것이라고 할 수 있다. 이러한 추론은 다양한 분야에서 연구되고 있다. * 인지 심리학 분야에서 전통적으로 연구되고 있는 인간의 추론 작용 * 유효한 추론의 규칙을 연구하는 논리학 * 양적 자료로부터 추론의 형식적 규칙을 개발하는 통계학자 * 자동화된 추론 시스템을 개발하는 인공 지능(AI) 연구자들
  • 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.
  • 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.
  • 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.
  • 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, distinguishing abduction from induction.
  • 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.
  • La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.​ Cuando una proposición se sigue de otras de ese modo, se dice que éstas implican aquella. La inferencia es el objeto de estudio tradicional de la lógica (así como la materia es de la química y la vida es de la biología). La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica y no por el contenido específico del argumento o el lenguaje utilizado. Por esto se construyen sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural.​
  • Nella logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo, induttivo o deduttivo, attraverso il quale da una proposizione assunta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima secondo opportune regole di inferenza. Inferire è quindi trarre una conclusione come ad esempio accade nel sillogismo. 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.
  • 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 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.
  • Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений. Пример: Все люди смертны. все греки — люди. Все греки смертны. Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов.(Основная статья: Умозаключение)
  • Висновок — остаточна думка про що-небудь, логічний підсумок, зроблений на основі спостережень, міркувань або розгляду певних фактів. Висно́вувати означає робити ви́сновок. Виснувати, або вивести X означає зробити висновок, що X є істинним. Висновок — форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження, котре містить у собі нове знання.Наприклад, коли з двох суджень: 1) «Кожен обвинувачуваний має право на захист» і 2) «Петренко — обвинувачуваний» виводиться третє судження: «Петренко має право на захист», ми робимо умовивід.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3321 as of Jun 2 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software