SearchSkip to Search Results
- 8Book Reviews
- 4Natural Language
- 2Artificial Intelligence
- 2Computational Semantics
Introduction: In the preface of this book, Copi explains that he has \"tried to give an account of the Theory of Logical Types which shall not be so technical as to repel the non-specialist nor so informal as to disappoint the serious student who wants to see exactly what it is and how it works\"...
Introduction: ‘Fuzzy logic’ means different things to different people. For some it is a philosophy of life— “a way to break the stranglehold that the black-and-white thinking of the Western tradition has upon us.” For others it is a more accurate way of describing our ordinary language (and...
Introduction: This is a book of articles about a new theoretical underpinning for computational linguistics. Despite this narrow and technical aim, it contains much that is of interest to philosophers of mind, epistemologists, and philosophers of language, regardless of whether they also have an...
[Review of the book Representation and Inference for Natural Language: A First Course in Computational Semantics, by Plackburn, & Jos]Download
Introduction: Computational semantics is the study of how to represent meaning in a way that computers can use. For the authors of this textbook, this study includes the representation of the meaning of natural language in logic formalisms, the recognition of certain relations that hold within...
Introduction: This very short book is apparently intended as a supplementary text in a graduate AI course. The author describes it as a \"text and reference work on the applications of non-standard logics to artificial intelligence (AI).\" It gives short and concise (too short and too concise, in...
Intensional logic (IL) and its application to natural language, which the present monograph addresses, was first developed by Richard Montague in the late 1960s (e.g., Montague 1970a, 1970b). Through the efforts of (especially) Barbara Partee (e.g., Partee 1975, 1976), and Richmond Thomason, who...
[Review of the book Formal Methods in Artificial Intelligence, by Aamsay]
Introduction: Many universities teach artificial intelligence (AI) by having one undergraduate course that introduces students to a very wide variety of topics, usually including search and search heuristics, representational systems (including formal logic), problem solving, vision, expert...
Introduction: James McCawley is a noted linguist whose concern with semantic matters in dealing with linguistic issues is well-known amongst philosophers of language. McCawley's goal here was to write a textbook that surveyed all those areas of logic he thinks are potentially of use in analyzing...