Dialogue Systems as Proof Editors

Authors:
Aarne Ranta;Robin Cooper
Affiliations:
Department of Computing Science, Chalmers University of Technology and Göteborg University, S-412 96 Göteborg, Sweden. E-mail: aarne@cs.chalmers.se;Department of Linguistics, Göteborg University, Renströmsgatan 6, S-412 55 Göteborg, Sweden. E-mail: cooper@ling.gu.se
Venue:
Journal of Logic, Language and Information
Year:
2004

Citing 8
Cited 2

The ALF proof editor and its proof engine

TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Type-theoretical grammar

Type-theoretical grammar
Audio system for technical readings

Audio system for technical readings
The Haskell: The Craft of Functional Programming

The Haskell: The Craft of Functional Programming
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification

TYPES '95 Selected papers from the International Workshop on Types for Proofs and Programs
Grammatical Framework

Journal of Functional Programming
Information state and dialogue management in the TRINDI dialogue move engine toolkit

Natural Language Engineering
XML and multilingual document authoring: convergent trends

COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1

Realization of natural language interfaces using lazy functional programming

ACM Computing Surveys (CSUR)
PGF: A Portable Run-time Format for Type-theoretical Grammars

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

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.