Abstract: This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The logic of theory change was the starting-point of a large, rapidly growing literature, valuable for researchers in logic, philosophy, and artificial intelligence
Loading