Stock Image

The Logic of Knowledge Bases (MIT Press)

Levesque, Hector J.; Lakemeyer, Gerhard

4 ratings by Goodreads
ISBN 10: 0262122324 / ISBN 13: 9780262122320
Published by The MIT Press
Used Condition: Fair Hardcover
From Symposium Books (Providence, RI, U.S.A.)

AbeBooks Seller Since January 24, 2003

Quantity Available: 2

Buy Used
Price: US$ 11.98 Convert Currency
Shipping: US$ 3.99 Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

0262122324 We carry new, used, and remaindered books - some books may have remainder mark and/or underlining. We often have multiple copies per title - and have over 20,000 discounted titles available. Symposium Books is an Independent Bookstore in Providence, RI . We are dedicated to providing our customers with the widest selection of scholarly, literary and quality art books. Expedited shipping is available. We pride ourselves on offering prompt, reliable customer service and a no hassle return policy. Bookseller Inventory # 0262122324

Ask Seller a Question

Bibliographic Details

Title: The Logic of Knowledge Bases (MIT Press)

Publisher: The MIT Press

Binding: Hardcover

Book Condition:Fair

About this title

Synopsis:

This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning.The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge―a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest.This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.

About the Author:

Hector J. Levesque is Professor Emeritus in the Department of Computer Science at the University of Toronto. He is the author of Common Sense, the Turing Test, and the Quest for Real AI, coauthor (with Gerhard Lakemeyer) of The Logic of Knowledge Bases, and coeditor (with Ronald J. Brachman) of Knowledge Representation and Reasoning, all three published by the MIT Press.

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

Store Description

Symposium Books delivers the finest quality academic, scholarly, art, literary, and university press books - often at discounted prices. Many books are 40 to 90% off the publishers price - with hundreds of new titles added weekly. An independent bookshop for thinkers, serious readers and writers. Visit Symposium Books - Providence (near Brown University and Rhode Island School of Design)and Symposium Books - East Greenwich - or browse - www.symposiumbooks.com for a list of our new arrivals - and to view all of our subjects: philosophy, ficton, graphic novels, literary theory, sociology, architecture, ancient history, cognitive psychology, historiography, theology, lingusitics, and many others. We update our website daily to reflect our latest new releases, newest used books, and author events.

Visit Seller's Storefront

Terms of Sale:

Symposium Books accepts: Debit and Credit Cards: Visa, Master
Card(Euro Card), American Express, or Cheque. Libraries may use
invoice(s), but please contact us for the first order.

RETURN POLICY

If you are not satisfied for any reason, we accept returns within thirty days
of the original purchase. Return the book(s) with the original packing slip
and your credit card number and expiration date (if applicable). Your
account will be credited immediately or a check will be issued.


Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express