Formalizing Informal Logic
This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS), a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as prepon...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
University of Windsor
2015-12-01
|
| Σειρά: | Informal Logic |
| Θέματα: | |
| Διαθέσιμο Online: | https://informallogic.ca/index.php/informal_logic/article/view/4335 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|