Description: Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial intelligence. It elaborates on the relevant theories and provides a mathematically precise foundation for the thesis that large parts of theoretical reason can be subsumed under practical reason.
Review Quotes: "This is an ambitious book. ... concise and very useful ... very valuable as a reference source. ... The proofs of all theorems are placed in appendices, amounting to nearly a hundred rigorously presented pages. ... The volume can be warmly recommended for use in courses on belief revision and nonmonotonic reasoning, whether as a principal text ... or for collateral reading and reference."--Mathematical Reviews