Features and Fluents

This research text presents and uses a novel methodology for reasoning about actions and change. The work described here uses a systematic methodology for identifying the exact range of applicability of a given logic. This book is destined to become a necessary source of reference for researchers in knowledge representation, cognitive robotics, and intelligent control in the future.