{"type":"ScholarlyArticle","title":"Understanding Without Proofs","authors":[{"name":"Yorick Wilks","slug":"yorick-wilks","given":"Yorick","family":"Wilks","affiliation":""}],"abstract":"The paper describes the analysis part of a running analysis and generation pro gram 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.","doi":null,"url":"https://ijcai.org/proceedings/1973/35","pdf":"https://ijcai.org/proceedings/1973/0035.pdf","markdown":"https://ijcai.org/proceedings/1973/35.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/35","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Natural Language: Systems","track":"Natural Language: Systems","number":35,"pages":{"first":270,"last":276},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}