Advertisement

A Natural Language Interface for Specifying Digital Systems

  • John J. Granacki
  • Alice C. Parker
Conference paper

Abstract

This work describes a natural language interface for specifying the behavior of digital systems in restricted English text. A neutral formal representation for the behavior is described. An intermediate representation based on Conceptual Dependencies is presented and its use with a semantic-based parser is illustrated by a series of examples.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abbott, R.J. (1983) Program Description by Informal English Descriptions. Communications of the ACM, November 1983, Volume 26, Number 31, pp. 882–894.CrossRefzbMATHGoogle Scholar
  2. Balzer, R. (1985) A 15 Year Perspective on Automatic Programming (Invit ed Paper). IEE Transactions on Software Engineering, November 1985, Volume SE-11, Number 11 pp. 1257–1268.CrossRefGoogle Scholar
  3. Breuer, M. and Zhu, X. (1985) A Knowledge Based System for Selectinga Test Metho dology for a PLA. In Proce edings of the 22 nd ACM/IEEE Design Automation Conference, Las Vegas, NV, June 1985 pp. 259–265.CrossRefGoogle Scholar
  4. Comer, J. R. (1979) An Experimental Natural-Language Processor for Generating Data Type Specifications. Ph.D. Dissertation, Computing Science, Texas A&M University, May 1979.Google Scholar
  5. Fink, P.A., Sigmon, A.H., and Biermann, A.W. (1985) Computer Control via Limited Natural Language. IEEE Transactions on Systems, Man, and Cybernetics, Vol. SMC-15, No. 1, January/February 1985.Google Scholar
  6. Ginsparg, J.M. (1977) A Parser for English and Its Application in an Automatic Programming System. Ph.D. Dissertation, Computer Science, Stanford University, June 1977.Google Scholar
  7. Granacki, J., Knapp, D., and Parker, A. (1985) The ADAM Design Automation System: Overview, Planner and Natural Language Interface. Proceedings of the 22nd ACM/IEEE Design Automation Conference, Las Vegas, NV, June 1985 pp. 727–730.Google Scholar
  8. Grinberg, M.R. (1980) A Knowledge-Based Design Environment for Digital Electronics. Ph.D. Dissertation, Computer Science, University of Maryland, September 1980.Google Scholar
  9. Knapp, D. and Parker, A. (1986) A Design Utility Manager. Submitted to the 23rd ACM/IEEE Design Automation Conference, Las Vegas, NV, June 1986.Google Scholar
  10. Knapp, D. and Parker, A. (1983) A Data Structure for VLSI Synthesis and Verification. Technical Report CRI-85–19 (DISC 83–6a - May 8, 1984), August 14, 1985.Google Scholar
  11. Mander, K.C. and Presland, S.G., An Introduction to Specification Anlysis -SPAN. University of Liverpool (Gt. Brit.), Department of Computational and Statistical Science, CSS/79/12.Google Scholar
  12. Samad, T. and Director, S.W. (1985) Toward a Natural Language Interface for CAD. Proceedings of the 22nd ACM/IEEE Design Automation Conference, Las Vegas, NV, June 1985 pp. 2–8.Google Scholar
  13. Schank, R.C. (1975) Conceptual Infromation Processing, American Elsevier Publishing Company, Inc., New York.Google Scholar
  14. Weischedel, R.M. (1983) Prerequisites for Deriving Formal Specifications from Natural Language Requirements: Final Report. Department of Computer & Information Sciences, University of Delaware, Newark, DE. AFOSR-TR-83–0687.Google Scholar
  15. Wilensky, R., and Arens, Y. (1980) PHRAN — a Knowledge Based Approach to Natural Language Analysis. University of California Berkeley, Electronic Research Laboratory Memorandum No. UCB M80/34.Google Scholar
  16. Wilensky, R., Arens, Y. and Chin, D. (1984) Talking to UNIX in English: An Overview of UC. Communications of the ACM, June 1984, Volume 27, Number 6.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • John J. Granacki
    • 1
  • Alice C. Parker
    • 1
  1. 1.University of Southern CaliforniaLos AngelesUSA

Personalised recommendations