Excerpt from Preliminary Studies for a First Order Logic of Knowledge and Action
Because he does not know what X is when he starts out, step 2) is not fully specified until step 1) is completed.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 0,65 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781330222638
Cantidad disponible: 15 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781330222638
Cantidad disponible: 15 disponibles
Librería: Forgotten Books, London, Reino Unido
Paperback. Condición: 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. Nº de ref. del artículo: 9781330222638_0
Cantidad disponible: Más de 20 disponibles