Logic and Representation

Moore, Robert C.

ISBN 10: 188152616X / ISBN 13: 9781881526162

Published by Centre for the Study of Language & Information, 1995

About this Item

A collection of essays on artificial intelligence, natural language semantics and the philosophy of mind and language. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 210 pages, Illustrations. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 156 x 238 x 14. Weight in Grams: 514. . 1995. 74. Hardback. . . . .

Seller Inventory # V9781881526162

Bibliographic Details

• Title: Logic and Representation
• Publisher: Centre for the Study of Language & Information
• Publication Date: 1995
• Language: English
• ISBN 10: 188152616X
• ISBN 13: 9781881526162
• Binding: Hardcover
• Condition: New

About this title

Synopsis

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.

Review

"The book should serve as a good high-level introduction to some current research issues, and Moore highlights points which are often overlooked....This volume will be of interest to logicians, computer scientists and theoretical linguists....Advancing the research issues of a decade, this is a competent, often engaging and enlightening, compendium." Oliver Lemon, Canadian Philosophical Review

."..[a] sharp-witted presentation...Moore manages to delight the reader despite the complex and controversial issues of artificial intelligence...Moor'e own ideas, as well as his discussion of those by other researchers, are all immensely rewarding because of his crisp and unpretentious presentation." Daniel Marcu, Computing Reviews