Matches in SemOpenAlex for { <https://semopenalex.org/work/W1643527273> ?p ?o ?g. }
- W1643527273 abstract "The paper proposes a dialogue system LND which brings together and unifies two traditions in studying dialogue as a game: the dialogical logic introduced by Lorenzen; and persuasion dialogue games as specified by Prakken. The first approach allows the representation of formal dialogues in which the validity of argument is the topic discussed. The second tradition has focused on natural dialogues examining, e.g., informal fallacies typical in real-life communication. Our goal is to unite these two approaches in order to allow communicating agents to benefit from the advantages of both, i.e., to equip them with the ability not only to persuade each other about facts, but also to prove that a formula used in an argument is a classical propositional tautology. To this end, we propose a new description of the dialogical logic which meets the requirements of Prakken's generic specification for natural dialogues, and we introduce rules allowing to embed a formal dialogue in a natural one. We also show the correspondence result between the original and the new version of the dialogical logic, i.e., we show that a winning strategy for a proponent in the original version of the dialogical logic means a winning strategy for a proponent in the new version, and conversely." @default.
- W1643527273 created "2016-06-24" @default.
- W1643527273 creator A5005175482 @default.
- W1643527273 creator A5014420282 @default.
- W1643527273 creator A5086113868 @default.
- W1643527273 date "2013-01-01" @default.
- W1643527273 modified "2023-09-27" @default.
- W1643527273 title "Proving Propositional Tautologies in a Natural Dialogue" @default.
- W1643527273 cites W1485409386 @default.
- W1643527273 cites W1548116827 @default.
- W1643527273 cites W1568035319 @default.
- W1643527273 cites W1569903868 @default.
- W1643527273 cites W1576632330 @default.
- W1643527273 cites W1872397016 @default.
- W1643527273 cites W1973429332 @default.
- W1643527273 cites W1997404185 @default.
- W1643527273 cites W2012949508 @default.
- W1643527273 cites W2053222057 @default.
- W1643527273 cites W2100758964 @default.
- W1643527273 cites W2120138464 @default.
- W1643527273 cites W2128842882 @default.
- W1643527273 cites W2154849078 @default.
- W1643527273 cites W2566772295 @default.
- W1643527273 cites W2612301260 @default.
- W1643527273 cites W2968832504 @default.
- W1643527273 cites W2747549055 @default.
- W1643527273 doi "https://doi.org/10.3233/fi-2013-944" @default.
- W1643527273 hasPublicationYear "2013" @default.
- W1643527273 type Work @default.
- W1643527273 sameAs 1643527273 @default.
- W1643527273 citedByCount "13" @default.
- W1643527273 countsByYear W16435272732013 @default.
- W1643527273 countsByYear W16435272732014 @default.
- W1643527273 countsByYear W16435272732016 @default.
- W1643527273 countsByYear W16435272732017 @default.
- W1643527273 countsByYear W16435272732021 @default.
- W1643527273 crossrefType "journal-article" @default.
- W1643527273 hasAuthorship W1643527273A5005175482 @default.
- W1643527273 hasAuthorship W1643527273A5014420282 @default.
- W1643527273 hasAuthorship W1643527273A5086113868 @default.
- W1643527273 hasConcept C102993220 @default.
- W1643527273 hasConcept C10646191 @default.
- W1643527273 hasConcept C111472728 @default.
- W1643527273 hasConcept C138885662 @default.
- W1643527273 hasConcept C154945302 @default.
- W1643527273 hasConcept C166374712 @default.
- W1643527273 hasConcept C166957645 @default.
- W1643527273 hasConcept C185592680 @default.
- W1643527273 hasConcept C199360897 @default.
- W1643527273 hasConcept C203659156 @default.
- W1643527273 hasConcept C2776608160 @default.
- W1643527273 hasConcept C3845977 @default.
- W1643527273 hasConcept C41008148 @default.
- W1643527273 hasConcept C55493867 @default.
- W1643527273 hasConcept C65059942 @default.
- W1643527273 hasConcept C69562738 @default.
- W1643527273 hasConcept C95457728 @default.
- W1643527273 hasConcept C98184364 @default.
- W1643527273 hasConceptScore W1643527273C102993220 @default.
- W1643527273 hasConceptScore W1643527273C10646191 @default.
- W1643527273 hasConceptScore W1643527273C111472728 @default.
- W1643527273 hasConceptScore W1643527273C138885662 @default.
- W1643527273 hasConceptScore W1643527273C154945302 @default.
- W1643527273 hasConceptScore W1643527273C166374712 @default.
- W1643527273 hasConceptScore W1643527273C166957645 @default.
- W1643527273 hasConceptScore W1643527273C185592680 @default.
- W1643527273 hasConceptScore W1643527273C199360897 @default.
- W1643527273 hasConceptScore W1643527273C203659156 @default.
- W1643527273 hasConceptScore W1643527273C2776608160 @default.
- W1643527273 hasConceptScore W1643527273C3845977 @default.
- W1643527273 hasConceptScore W1643527273C41008148 @default.
- W1643527273 hasConceptScore W1643527273C55493867 @default.
- W1643527273 hasConceptScore W1643527273C65059942 @default.
- W1643527273 hasConceptScore W1643527273C69562738 @default.
- W1643527273 hasConceptScore W1643527273C95457728 @default.
- W1643527273 hasConceptScore W1643527273C98184364 @default.
- W1643527273 hasLocation W16435272731 @default.
- W1643527273 hasOpenAccess W1643527273 @default.
- W1643527273 hasPrimaryLocation W16435272731 @default.
- W1643527273 hasRelatedWork W144372184 @default.
- W1643527273 hasRelatedWork W1487302223 @default.
- W1643527273 hasRelatedWork W1489992295 @default.
- W1643527273 hasRelatedWork W1569903868 @default.
- W1643527273 hasRelatedWork W1580881289 @default.
- W1643527273 hasRelatedWork W1581861171 @default.
- W1643527273 hasRelatedWork W1882581446 @default.
- W1643527273 hasRelatedWork W1981457916 @default.
- W1643527273 hasRelatedWork W2014090355 @default.
- W1643527273 hasRelatedWork W2042062742 @default.
- W1643527273 hasRelatedWork W2089017110 @default.
- W1643527273 hasRelatedWork W2100758964 @default.
- W1643527273 hasRelatedWork W2120138464 @default.
- W1643527273 hasRelatedWork W2140023165 @default.
- W1643527273 hasRelatedWork W2150359269 @default.
- W1643527273 hasRelatedWork W2337976833 @default.
- W1643527273 hasRelatedWork W2394901454 @default.
- W1643527273 hasRelatedWork W2588963225 @default.
- W1643527273 hasRelatedWork W2612301260 @default.
- W1643527273 hasRelatedWork W3158347664 @default.
- W1643527273 isParatext "false" @default.