Understanding without proofs

  • Authors:
  • Yorick Wilks

  • Affiliations:
  • Stanford University, Stanford, California

  • Venue:
  • IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
  • Year:
  • 1973

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper describes the analysis part of a running analysis and generation program for natural language. The system is entirely oriented to matching meaningful patterns onto fragmented paragraph length input. Its core Is a choice system based on what I call "semantic density". The system is contrasted with (1) syntax oriented linguistic approaches and (2) theorem proving approaches to the understanding problem. It is argued by means of examples that the present system is not only more workable, but more intuitively acceptable, at least as an understander for the purpose of translation, than deduction-based systems.