Items related to Preliminary Studies for a First Order Logic of Knowledge...

Preliminary Studies for a First Order Logic of Knowledge and Action (Classic Reprint) - Softcover

Leora Morgenstern

 
9781330222638: Preliminary Studies for a First Order Logic of Knowledge and Action (Classic Reprint)

Synopsis

This book explores the possibilities of a first-order logic to describe knowledge and action. It begins by reviewing the historical context of work on knowledge and action, acknowledging the work of McCarty and Hayes, Hintikka, and especially, Robert Moore. The author argues that Moore's possible worlds approach to formalizing knowledge, though innovative and effective, is flawed by its reliance on rigid designators for actions, which the author finds implausible. The book then presents an alternative first-order approach to knowledge and action, using a three-valued logic with grounded and ungrounded sentences. The book demonstrates how this approach can integrate many of Moore's insights and provide a more expressive and robust framework for reasoning about knowledge and action. The book concludes by discussing the significance of this work for developing more comprehensive and realistic theories of planning and action, and for the development of robust intelligent agents.

"synopsis" may belong to another edition of this title.