Dialogue systems as proof editors
Journal of Logic, Language and Information 13 (2):225-240 (2004)
| Abstract | This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a simple logical metatheory tosuch dialogue systems and also suggests new functions forthem, e.g., a local undo operation. The method developed provides alogically based declarative way of implementing simple dialoguesystems that is easy to port to new domains. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesH. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1).
Francis Jeffry Pelletier (1998). Automated Natural Deduction in Thinker. Studia Logica 60 (1):3-43.
Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano (1998). Encoding Modal Logics in Logical Frameworks. Studia Logica 60 (1):161-208.
Arnon Avron & Beata Konikowska (2001). Decomposition Proof Systems for Gödel-Dummett Logics. Studia Logica 69 (2):197-219.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Erik C. W. Krabbe (1985). Formal Systems of Dialogue Rules. Synthese 63 (3):295 - 328.
Erick C. W. Krabbe (1984). Formal Systems of Dialogue Rules. Synthese 58 (2):295 - 328.
Jim Mackenzie (1990). Four Dialogue Systems. Studia Logica 49 (4):567 - 583.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,761 of 549,694 )Recent downloads (6 months)1 ( #63,425 of 549,694 )How can I increase my downloads? |
My notes
Discussion
