Epistemic Logic for AI and Computer Science
Normal Price: $120.00
Your Price: $108.00 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.00! (10% off normal price)
Plus...earn $5.40 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Epistemic Logic for AI and Computer Science by J.-J Ch. Meyer
Book DescriptionEpistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore's autoepistemic logic is discussed, together with Levesque's related logic of 'all I know'. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic.
Buy Epistemic Logic for AI and Computer Science book by J.-J Ch. Meyer from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521602808
(247mm x 174mm x 20mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 25-Mar-2004
Country of Publication: United Kingdom
» Have you read this book? We'd like to know what you think about it - write a review about Epistemic Logic for AI and Computer Science book by J.-J Ch. Meyer and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.