SpringerBriefs in Intelligent Systems: Introduction and Overview

Fermé, Eduardo; Hansson, Sven Ove

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

Details

Published by: Springer

Publication Date: 2018-05-31

Format: Paperback

ISBN-13: 9783319605333

DOI: 10.1007/978-3-319-60535-7

Dimensions: 235cm x155cm

Pages: 125