ISBN: 9781330222638 - preliminary studies for a first order logic of knowledge and action (classic reprint) (3 risultati)

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condizione: New. Print on Demand. 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. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.…