| dbpedia-owl:abstract
|
- 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 inference. The laws of valid inference are studied in the field of logic. 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 allows for inference from quantitative data.
- Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje, (EBF), que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBFs. De esta forma partiendo de la verdad o falsedad posible, o conocida de alguna o algunas de ellas puede deducirse la verdad o falsedad de alguna o algunas de las otras EBFs. 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 equivalente. Es la operación lógica utilizada en los motores de inferencia de los Sistemas Expertos.
- L'inferenza è il processo con il quale da una proposizione accolta come vera, si passa ad una seconda proposizione la cui verità è dedotta 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 scriviamo che tutti gli uomini sono mortali e Socrate è un uomo, implichiamo che Socrate è mortale, ma un lettore così attento da notare la nostra implicazione e pensare "quindi Socrate è mortale", inferisce che Socrate è mortale. « E quando qualcuno vi propone di credere a una proposizione voi dovete prima esaminare se essa è accettabile, perché la nostra ragione è stata creata da Dio, e ciò che piace alla nostra ragione non può non piacere alla ragione divina, sulla quale peraltro sappiamo solo quello che, per analogia e spesso per negazione, ne inferiamo dai procedimenti della nostra ragione. » In linguistica si parla di "formulazione di inferenze" nello schema di 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. Es. : 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.
- 推論（すいろん、Template:Lang-en, Template:Lang）とは、既知の事柄を元にして未知の事柄について知ろうとすることである。
- 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.
- 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 wnioskowania, w którym przesłanka jest racją dla wniosku, gdzie oderwać można wniosek od przesłanek; o wnioskowaniu indukcyjnym (enumeracyjnym lub eliminacyjnym) jako o wnioskowaniu ze szczegółu o ogóle (schemat: przedmiot x posiada własność p, przedmiot x posiada własność p, przedmiot x posiada własność p, ... , przedmiot x 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ę (o wnioskowaniu redukcyjnym jako o wnioskowaniu z następstwa o racji; o wnioskowaniu nieinferencyjnym, w którym nie stwierdza się związku pomiędzy przesłankami a konkluzją .
- Inferência:É uma conexão indireta entre assuntos. É uma ilação ou dedução. Predefinição:Ver desambiguação Predefinição:Portal-filosofia Em lógica, inferência é a passagem, através de regras válidas, do antecedente ao conseqüente de um argumento. Contudo, tanto em Coaching quanto em Trabalho Organizacional, a inferência é aplicada em formato de ferramenta - a Escada da Inferência. Essa teoria foi desenvolvida por Chris Argyris, através de uma pesquisa em 1990, com o título de Ladder of Inference, e mostra que adotamos crenças baseadas em conclusões inferidas do que observamos e nem sempre comprovadas, acrescidas por experiências passadas. Pode ser também algo relacionado a conclusão ou afirmação de algo.
- Вывод — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным. Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов. В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования. В информатике для описания фактов и правил логического вывода, а также баз знаний и моделей экспертных систем широко используется язык логического программировании Пролог. Умозаключения (отдельные шаги вывода) разделяют: По направлению логического следования. Дедуктивные (от общего к частному). Индуктивные (от частного к общему). Трансдуктивные (от одной степени общности к такой же степени общности). По достоверности вывода. Достоверные. Правдоподобные. По числу посылок. Непосредственные. Опосредственные.
- L'inférence est une opération mentale, ou jugement, qui consiste à tirer une conclusion (d'une série de propositions reconnues pour vraies). Ces conclusions sont tirées à partir de règles de base. Dans sa définition classique, l'inférence est une opération logique portant sur des propositions tenues pour vraies 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, selon certains théoriciens Modèle:Qui, la pensée n'opère pas sur des propositions mais sur des signes. 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 nous 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.
|
| rdfs:comment
|
- 推論（すいろん、Template:Lang-en, Template:Lang）とは、既知の事柄を元にして未知の事柄について知ろうとすることである。
- 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 inference. The laws of valid inference are studied in the field of logic. 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.
- Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje, (EBF), que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBFs. De esta forma partiendo de la verdad o falsedad posible, o conocida de alguna o algunas de ellas puede deducirse la verdad o falsedad de alguna o algunas de las otras EBFs.
- L'inferenza è il processo con il quale da una proposizione accolta come vera, si passa ad una seconda proposizione la cui verità è dedotta 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.
- 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.
- 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.
- Inferência:É uma conexão indireta entre assuntos. É uma ilação ou dedução. Predefinição:Ver desambiguação Predefinição:Portal-filosofia Em lógica, inferência é a passagem, através de regras válidas, do antecedente ao conseqüente de um argumento. Contudo, tanto em Coaching quanto em Trabalho Organizacional, a inferência é aplicada em formato de ferramenta - a Escada da Inferência.
- Вывод — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.
- L'inférence est une opération mentale, ou jugement, qui consiste à tirer une conclusion (d'une série de propositions reconnues pour vraies). Ces conclusions sont tirées à partir de règles de base. Dans sa définition classique, l'inférence est une opération logique portant sur des propositions tenues pour vraies et concluant à la vérité d'une nouvelle proposition en vertu de sa liaison avec les premières.
|
