Logic and RepresentationCenter for the Study of Language (CSLI), 1995 - 196 pages Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logic and the notion of explicit representation of knowledge to a variety of problems in artificial intelligence, natural language semantics and the philosophy of mind and language. Particular attention is paid to modelling and reasoning about knowledge and belief, including reasoning about one's own beliefs, and the semantics of sentences about knowledge and belief. Robert C. Moore begins by exploring the role of logic in artificial intelligence, considering logic as an analytical tool, as a basis for reasoning systems, and as a programming language. He then looks at various logical analyses of propositional attitudes, including possible-world models, syntactic models, and models based on Russellian propositions. Next Moore examines autoepistemic logic, a logic for modelling reasoning about one's own beliefs. Rounding out the volume is a section on the semantics of natural language, including a survey of problems in semantic representation; a detailed study of the relations among events, situations, and adverbs; and a presentation of a unification-based approach to semantic interpretation. Robert C. Moore is principal scientist of the Artificial Intelligence Center of SRI International. |
Contents
The Role of Logic in Artificial Intelligence | 3 |
A Cognitivist Reply to Behaviorism | 19 |
A Formal Theory of Knowledge and Action | 27 |
Computational Models of Belief and the Semantics | 71 |
Propositional Attitudes and Russellian | 91 |
Semantical Considerations on Nonmonotonic | 123 |
PossibleWorld Semantics for Autoepistemic | 145 |
Common terms and phrases
action actual world adverbs approach argument Artificial Intelligence attitude reports autoepistemic interpretation autoepistemic logic autoepistemic model axioms Barwise behavior belief reports belief sentences belief set chapter complete computational models consistent constituent contain define denote dialing the combination fact false first-order logic form LP formal ideally rational agent individual inference rules internal language John believes Know(A knows in W₁ lambda expressions LISP locked logic programming logical form logical-form expression Mary McDermott and Doyle meaning metalanguage modal logic natural language nonmonotonic logic notion noun phrase object language objective formulas performing Perry possible worlds possible-world semantics predicate problem PROLOG proper names properties propositional attitudes propositional functions propositional logic quantified representation result rigid designator Roman orator seems semantic value set of premises simply situation situation semantics stable autoepistemic theory stable expansion Suppose syntactic T₁ tautological consequence telephone number theorem tion truth conditions Tweety variable verb phrase W₂