Logic and Representation
Robert C. Moore · 1994
Part I. Methodological Arguments: 1. The role of logic in artificial intelligence: 2. A cognitivist reply to behaviourism Part II. Propositional Attitudes: 3. A formal theory of knowledge and action 4. Computational models of belief and the semantics of belief sentences 5. Propositional attitudes and Russellian propositions Part III. Autoepistemic Logic: 6. Semantical considerations on nonmonotonic logic 7. Possible-world semantics for autoepistemic logic Part IV. Semantics of Natural Language: 8. Events, situations, and adverbs 9. Unification-based semantic interpretation Index.