• Corpus ID: 3206034

A Framework for Creating Natural Language User Interfaces for Action-Based Applications

  title={A Framework for Creating Natural Language User Interfaces for Action-Based Applications},
  author={Stephen Chong and Riccardo Pucella},
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent components, in order to reduce the effort of creating a natural language interface for a given application. Using a type-logical grammar, we first translate natural language sentences into expressions in an extended higher-order logic. These expressions can be seen as executable specifications corresponding to the original… 
The Design of A Natural Language Interface for File System Operations on the basis of a Structured Meanings Model
An original approach to designing natural language interfaces for the action-based applications as the complements and alternatives to traditional graphical interfaces is described.
A Survey of Naturalistic Programming Technologies
This article presents a review of tools and languages with naturalistic features and highlights the problems that authors have resolved and those they have not addressed, going on to discuss the fact that a “naturalistic” language based on a well-defined model is not reported.
Voice Control Framework for Form Based Applications
The steps required for building a voice recognition system are introduced, starting from the presentation of different alternatives alongside their problems and benefits, and ending up with integrating them within the implemented system.


NaturalJava: a natural language interface for programming in Java
The technical details of each component are described, the capabilities of the user interface are explained, and examples of NaturalJava in use are presented.
Procedures As A Representation For Data In A Computer Program For Understanding Natural Language
A system for the computer understanding of English that combines a complete syntactic analysis of each sentence with a 'heuristic understander' which uses different kinds of information about a sentence, other parts of the discourse, and general information about the world in deciding what the sentence means.
Natural language interfaces to databases - an introduction
This paper is an introduction to natural language interfaces to databases (NLIDBS) and some less explored areas of NLIDB research are presented, namely database updates, meta-knowledge questions, temporal questions, and multi-modal NLIDBS.
The Mathematics of Sentence Structure
The aim of this paper is to obtain an effective rule (or algorithm) for distinguishing sentences from nonsentences, which works not only for the formal languages of interest to the mathematical
An introduction to mathematical logic and type theory - to truth through proof
  • Peter B. Andrews
  • Computer Science, Mathematics
    Computer science and applied mathematics
  • 1986
This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
The lambda calculus - its syntax and semantics
  • H. Barendregt
  • Mathematics, Computer Science
    Studies in logic and the foundations of mathematics
  • 1985
This chapter discusses the theory and practice of reduction in the context of classical Lambda Calculus, as well as some of the theories and practices used in the development of modern lambda calculus.
Computational lambda-calculus and monads
  • E. Moggi
  • Mathematics, Computer Science
    [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
  • 1989
The author gives a calculus based on a categorical semantics for computations, which provides a correct basis for proving equivalence of programs, independent from any specific computational model.
Categorial Type Logics
Categorial type logics developed out of the Syntactic Calculus proposed by Lambek fifty years ago, and complemented in the 1980'ies with a ‘proofs-as-programs’ interpretation associating derivations
TerraService.NET: An Introduction to Web Services
The article presents the design of two USDA applications that interoperate with database and web service resources in Fort Collins Colorado and the TerraService web service located in Tukwila Washington.
The formal semantics of programming languages
A shutter mechanism alternates between an exposure phase and a reflex phase. In the reflex phase it reflects incident scene light onto a light-sensitive stage which generates a light-indicating