# 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…

## Figures and Topics from this paper

## 3 Citations

The Design of A Natural Language Interface for File System Operations on the basis of a Structured Meanings Model

- Computer ScienceITQM
- 2014

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

- Computer ScienceACM Comput. Surv.
- 2017

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

- Computer ScienceAIMSA
- 2014

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.

## References

SHOWING 1-10 OF 18 REFERENCES

NaturalJava: a natural language interface for programming in Java

- Computer ScienceIUI '00
- 2000

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

- Computer Science
- 1971

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

- Computer ScienceNat. Lang. Eng.
- 1995

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

- Mathematics
- 1958

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

- Computer Science, MathematicsComputer 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

- Mathematics, Computer ScienceStudies 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

- 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

- Computer Science
- 1997

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

- Computer ScienceArXiv
- 2002

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

- Mathematics
- 1993

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…