Picture 1 of 1

Stock photo

Knowledge in Action: Logical Foundations for Specifying and Implementing Dynami, - Picture 1 of 1

Knowledge in Action : Logical Foundations for Specifying and Implementing Dynamical Systems by Raymond Reiter (2001, Hardcover)

Endless Chapters (3271)

94.4% positive feedback

Price:

US $132.97

(inclusive of GST)

ApproximatelyS$ 173.87

+ $34.17 shipping

Estimated delivery Mon, 19 May - Wed, 28 May

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Good

About this product

Product Identifiers

PublisherMIT Press

ISBN-100262182181

ISBN-139780262182188

eBay Product ID (ePID)1920848

Product Key Features

Number of Pages448 Pages

LanguageEnglish

Publication NameKnowledge in Action : Logical Foundations for Specifying and Implementing Dynamical Systems

Publication Year2001

SubjectInformation Theory, Expert Systems, Intelligence (Ai) & Semantics, Logic

TypeTextbook

Subject AreaMathematics, Computers

AuthorRaymond Reiter

FormatHardcover

Dimensions

Item Height1.1 in

Item Weight31 Oz

Item Length9.1 in

Item Width7.1 in

Additional Product Features

Intended AudienceScholarly & Professional

LCCN2001-030522

Dewey Edition21

Grade FromCollege Graduate Student

IllustratedYes

Dewey Decimal006.3/32

SynopsisSpecifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book's Web site.

LC Classification NumberQ387.R48 2001