Corpus ID: 3206034

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

@article{Chong2004AFF,
  title={A Framework for Creating Natural Language User Interfaces for Action-Based Applications},
  author={Stephen Chong and Riccardo Pucella},
  journal={ArXiv},
  year={2004},
  volume={abs/cs/0412065}
}
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… Expand
The Design of A Natural Language Interface for File System Operations on the basis of a Structured Meanings Model
TLDR
An original approach to designing natural language interfaces for the action-based applications as the complements and alternatives to traditional graphical interfaces is described. Expand
A Survey of Naturalistic Programming Technologies
TLDR
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. Expand
Voice Control Framework for Form Based Applications
TLDR
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. Expand

References

SHOWING 1-10 OF 18 REFERENCES
NaturalJava: a natural language interface for programming in Java
TLDR
The technical details of each component are described, the capabilities of the user interface are explained, and examples of NaturalJava in use are presented. Expand
Procedures As A Representation For Data In A Computer Program For Understanding Natural Language
TLDR
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. Expand
Natural language interfaces to databases - an introduction
TLDR
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. Expand
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 mathematicalExpand
An introduction to mathematical logic and type theory - to truth through proof
  • Peter B. Andrews
  • Computer Science, Mathematics
  • Computer science and applied mathematics
  • 1986
TLDR
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. Expand
The lambda calculus - its syntax and semantics
  • H. Barendregt
  • Mathematics, Computer Science
  • Studies in logic and the foundations of mathematics
  • 1985
TLDR
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. Expand
Computational lambda-calculus and monads
  • E. Moggi
  • Mathematics, Computer Science
  • [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
  • 1989
TLDR
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. Expand
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 derivationsExpand
TerraService.NET: An Introduction to Web Services
TLDR
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. Expand
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-indicatingExpand
...
1
2
...