Open Access
Multimodal Dialogue System Grammars
TLDR
It is described how multimodal grammars for dialogue systems can be written using the Grammatical Framework (GF) formalism, and a proof-of-concept dialogue system constructed using these techniques is presented.Abstract:
We describe how multimodal grammars for dialogue systems can be written using the Grammatical Framework (GF) formalism. A
proof-of-concept dialogue system constructed using these techniques is also presented. The software engineering problem of keeping grammars for different languages, modalities and systems (such as speech recognizers and parsers) in sync is reduced by the formal relationship between the abstract and concrete syntaxes, and by generating equivalent grammars from GF grammars.read more
Citations
More filters
Book ChapterDOI
An Introduction to Question Answering over Linked Data
TL;DR: This tutorial gives an introduction to the rapidly developing field of question answering over linked data and gives an overview of the main challenges involved in the interpretation of a user’s information need expressed in natural language with respect to the data that is queried.
Book ChapterDOI
Implementing controlled languages in GF
Krasimir Angelov,Aarne Ranta +1 more
TL;DR: GF, Grammatical Framework, is introduced as a tool for implementing controlled languages and provides a high-level grammar formalism and a resource grammar library that make it easy to write grammars that cover similar fragments in several natural languages at the same time.
Proceedings ArticleDOI
Natural language generation from class diagrams
Håkan Burden,Rogardt Heldal +1 more
TL;DR: A case study to investigate the possibilities to generate natural language text from Executable and Translatable UML using a static part of the Platform-Independent Model; the structure of the class diagram.
Journal ArticleDOI
PGF: A Portable Run-time Format for Type-theoretical Grammars
TL;DR: This paper gives a concise description of PGF, covering syntax, semantics, and parser generation, and discusses the technique of embedded Grammatical Framework, where language processing tasks defined by PGF grammars are integrated in larger systems.
Proceedings ArticleDOI
Speech Recognition Grammar Compilation in Grammatical Framework
TL;DR: This paper describes how grammar-based language models for speech recognition systems can be generated from Grammatical Framework (GF) grammars, which enables rapid development of portable, multilingual and easily modifiable speech recognition applications.
References
More filters
The Coq proof assistant : reference manual, version 6.1
Bruno Barras,Samuel Boutin,Cristina Cornes,Judicaël Courant,Jean-Christophe Filliâtre,Eduardo Giménez,Hugo Herbelin,Gérard Huet,César A. Muñoz,Chetan Murthy,Catherine Parent,Christine Paulin-Mohring,Amokrane Saïbi,Benjamin Werner +13 more
TL;DR: Coq V6.1 is a proof assistant based on a higher-order logic allowing powerful definitions of functions and is available by anonymous ftp at ftp.ens-lyon.fr/INRIA/Projects/coq/V 6.1.
Proceedings Article
A Framework for Defining Logics
TL;DR: The Edinburgh Logical Framework (LF) as discussed by the authors provides a means to define (or present) logics, based on a general treatment of syntax, rules, and proofs by means of a typed l-calculus with dependent types.
Journal Article
Finite-state transducers in language and speech processing
TL;DR: This work recalls classical theorems and gives new ones characterizing sequential string-to-string transducers, including algorithms for determinizing and minizizing these transducers very efficiently, and characterizations of the transducers admitting determinization and the corresponding algorithms.
Journal ArticleDOI
A framework for defining logics
TL;DR: The Edinburgh Logical Framework provides a means to define (or present) logics through a general treatment of syntax, rules, and proofs by means of a typed λ-calculus with dependent types, whereby each judgment is identified with the type of its proofs.
Journal ArticleDOI
The open agent architecture: A framework for building distributed software systems
TL;DR: The Open Agent Architecture is structured so as to minimize the effort involved in creating new agents and "wrapping" legacy applications; to encourage the reuse of existing agents; and to allow for dynamism and flexibility in the makeup of agent communities.