SearchSkip to Search Results
[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...
This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional...
[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: In 1986 Pelletier published an annotated list of logic problems, intended as an aid for students, developers, and researchers to test their automated theorem proving (ATP) systems. The 75 problems in the list are subdivided into propositional logic (Problems 1-17), monadic-predicate...
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...
Introduction: Some problems that are difficult for automated theorem provers (ATPs) are so merely because of their size, but not because of any logical or conceptual complexity. Examples of this type of difficult problem have been published in the past: see Pelletier [1986: problems 12, 29, 34,...
I wish to first formulate a criterion according to which two systems of logic might be said to be \"really the same system\" in spite of their having different vocabulary — especially where the difference is in the logical operators each has. One way of doing this might be to show that the...
P.P. Gibbins closes his article (\"The Strange Modal Logic of Indeterminacy\" Logique et Analyse #100 :443446) with \"But indeterminacy generates a strange modal logic. The semantical business of there being classes of indeterminate worlds accessible to no worlds not even to themselves is strange...
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...
Introduction: We describe an approach to parsing and logical translation that was inspired by Gazdar's work on context-free grammar for English. Each grammar rule consists of a syntactic part that specifies an acceptable fragment of a parse tree, and a semantic part that specifies how the logical...