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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 0,87 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781330222638
Anzahl: 15 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781330222638
Anzahl: 15 verfügbar
Anbieter: Forgotten Books, London, Vereinigtes Königreich
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9781330222638_0
Anzahl: Mehr als 20 verfügbar