Autor(es)

Verónica Becher

URL Pública

Abstract

The problem of change in corpora of information is indeed interesting. Legislation is under constant modification, new discoveries reshape scientific theories and robots have to update their representation of the world each time a sensor gains new data. The theory of theory change offers a model for these processes under certain idealizations. A formal language and a logical consequence operation are assumed. Corpora of information are represented as sets of sentences closed under logical consequence, that is, theories. New information is expressed as sentences in the logical language. The notion of change is formalized as functions that take a theory and a sentence to an updated theory. There is a leading principle for these functions: consistency. The result of a change by a consistent sentence should always be a consistent theory.In 1985 Alchourréon, Giardenfors and Makinson (henceforth AGM) published …