Author Description

The need for more expressive systems of knowledge representation is not controversial although it is still debatable whether or not such systems have to be based on formal logic. In this book, the formal approach is assumed to be a worthy one, and the author attempts to help AI researchers understand how the intelligent agents that they are developing represent and reason about what they believe, know, and hold to be true. Annotation copyright Book News, Inc. Portland, Or.