Accession Number:

ADA460583

Title:

Domain-Independent Task Specification in the TACITUS Natural Language System

Descriptive Note:

Technical note #488

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1990-05-01

Pagination or Media Count:

17.0

Abstract:

Many seemingly very different application tasks for natural language systems can be viewed as a matter of inferring the instance of a prespecified schema from the information in the text and the knowledge base. We have defined and implemented a schema specification and recognition language for the TACITUS natural language system. This effort entailed adding operators sensitive to resource bounds to the first-order predicate calculus accepted by a theorem-prover. We give examples of the use of this schema language in a diagnostic task, an application involving data base entry from messages, and a script recognition task, and we consider further possible developments.

Subject Categories:

  • Linguistics
  • Anatomy and Physiology
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE