Knowledge Representation and Reasoning

Rating:
Summary: This book is an Eye-Opener!
Review: I love this book- It is a comprehensive introduction into knowledge representation, with enough detail to create your own knowledge representation programs.

Are you a programmer who wonders what it really means when an object *IS* another object, in the form of inheritance found in object-oriented systems? Ever confused by the nuances of multiple inheritance? Ever wonder what XML or OOP or Relational Databases have to do with each other? Ever wonder if all those A.I. programmers in the 70s actually created anything useful? Ever wonder how type systems work? Ever wonder how to store complicated and vague data into a database?

This book doesn't really have answers to these questions (nobody really does, in my opinion) but learning the information in this book is the first step you'll want to take to get closer to some answers...

It basically covers 3 main topics: FOL (traditional logic like you probably learned in college) Frames (sort of the grandaddy of OOP) and Description Logics (a really powerful synthesis of object-thinking with strict logical fundamentals)

This book has a bit of hairy mathematical notation in it, so if your not comfortable talking about things like "an object x that is an element in the domain" some of the chapters will require a bit of effort on your part. The authors are careful, however, to follow every difficult mathematical analysis with some concrete examples that ease the learning process- I often wish examples were more frequent in other theoretical tombs like this. Any computer programmer can process this text with a bit of moderate effort.

I couldn't imagine being a professional programmer and not knowing the information in this book now that I have read it. Although the topics in this book are somewhat obscure today, I think they will receive far greater appreciation in the future- especially among medical software developers. Here's your chance to be ahead of the curve in the field of knowledge representation!