Logic of argumentation (original) (raw)
The logic of argumentation (LA) is a formalised description of the ways in which humans reason and argue about propositions. It is used, for example, in computer artificial intelligence systems in the fields of medical diagnosis and prognosis, and research chemistry.
| Property | Value |
|---|---|
| dbo:abstract | The logic of argumentation (LA) is a formalised description of the ways in which humans reason and argue about propositions. It is used, for example, in computer artificial intelligence systems in the fields of medical diagnosis and prognosis, and research chemistry. (en) A Lógica da Argumentação (AL) é uma descrição formalizada das maneiras pelas quais os seres humanos raciocinam e discutem sobre proposições. Ele é usado, por exemplo, em sistemas de inteligência artificial de computador nos campos de diagnóstico médico e prognóstico, e química de pesquisa. Krause et al. parece ter sido um dos primeiros autores a utilizar o termo "lógica da argumentação" em um artigo sobre o seu modelo modelo para usar a argumentação para o raciocínio qualitativo sob incerteza, embora a abordagem tenha sido usada anteriormente em protótipos de aplicativos de computador para apoiar o diagnóstico médico. Suas idéias foram desenvolvidos mais adiante, e utilizado em aplicações para a prever toxicidade química e metabolismo xenobiótico, por exemplo.Em LA argumentos a favor e argumentos contra uma proposição são distintos; um argumento para uma proposição contribui em nada para o caso contra ele, e vice-versa. Entre outras coisas, isto significa que LA pode suportar a contradição – a prova de que um argumento é verdadeiro e o que é falso. Argumentos que fundamentam o caso "para" e os argumentos que fundamentam o caso "contra" são agregados separadamente, levando a uma única avaliação de veracidade no caso e uma única avaliação de veracidade no caso contra. Em seguida, os dois são resolvidos para fornecer uma única medida de confiança na proposição. Na maioria das implementações de LA, o valor agregado padrão é igual ao valor mais forte no conjunto de argumentos para ou contra a proposição. Ter mais de um argumento em concordância não aumenta automaticamente a veracidade porque não se pode supor que os argumentos são independentes quando raciocinamos sob incerteza. Se houver evidência de que os argumentos são independentes e há um caso de maior veracidade quando eles concordam, isso às vezes é expresso em regras adicionais da forma "Se A e B então ...". O processo de agregação e resolução pode ser representado da seguinte forma: T = Resolve [Max {Para (Ca, x, Cb, y, ...)}, Max {Contra (Ca, x, Cb, y, ...) Onde T é a avaliação global da veracidade em uma proposição; Resolve [] é uma função que retorna o único valor veracidade que é a resolução de qualquer par de valores; Por e Contra são os conjuntos de argumentos que apoiam e se opõem à proposição, respectivamente; Ca, x, Cb, y, ..., são os valores de confiança para esses argumentos; Max {...} é uma função que retorna o membro mais forte do conjunto no qual ele opera (Para ou Contra). Argumentos podem atribuir veracidade a proposições que influenciam a veracidade em outros argumentos, e uma regra pode ser subestimada por outra. Uma implementação de computador pode reconhecer essas inter-relações para construir árvores de raciocínio automaticamente. (pt) |
| dbo:wikiPageID | 40619050 (xsd:integer) |
| dbo:wikiPageLength | 4639 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1093079438 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Logic dbr:Argumentation_framework dbr:Argumentation_theory dbr:Resolution_(logic) dbc:Arguments dbr:Qualitative_reasoning dbr:Contradiction dbr:Proposition dbr:Aggregation_(ethology) dbr:Logic_and_dialectic dbr:Medical_diagnosis dbr:Prognosis dbr:Reason dbr:Artificial_intelligence dbr:Chemistry dbr:Toxicity dbr:Uncertainty dbr:Xenobiotic_metabolism dbr:Computer_Applications |
| dbp:wikiPageUsesTemplate | dbt:Notability dbt:Reflist dbt:InfoMaps |
| dct:subject | dbc:Logic dbc:Arguments |
| rdfs:comment | The logic of argumentation (LA) is a formalised description of the ways in which humans reason and argue about propositions. It is used, for example, in computer artificial intelligence systems in the fields of medical diagnosis and prognosis, and research chemistry. (en) A Lógica da Argumentação (AL) é uma descrição formalizada das maneiras pelas quais os seres humanos raciocinam e discutem sobre proposições. Ele é usado, por exemplo, em sistemas de inteligência artificial de computador nos campos de diagnóstico médico e prognóstico, e química de pesquisa. O processo de agregação e resolução pode ser representado da seguinte forma: T = Resolve [Max {Para (Ca, x, Cb, y, ...)}, Max {Contra (Ca, x, Cb, y, ...) (pt) |
| rdfs:label | Logic of argumentation (en) Lógica da argumentação (pt) |
| owl:sameAs | wikidata:Logic of argumentation dbpedia-pt:Logic of argumentation https://global.dbpedia.org/id/g3EY |
| prov:wasDerivedFrom | wikipedia-en:Logic_of_argumentation?oldid=1093079438&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Logic_of_argumentation |
| is dbo:wikiPageRedirects of | dbr:Logic_of_Argumentation |
| is dbo:wikiPageWikiLink of | dbr:Argument_map dbr:Argumentation_framework dbr:Argumentation_theory dbr:Logic_and_dialectic dbr:Logic_of_Argumentation |
| is foaf:primaryTopic of | wikipedia-en:Logic_of_argumentation |