
Summary: A mathematical model of knowledge base revision attempts to faithfully capture an intuitive notion of `closest' new information relative to some given background information. An attempt to topologically characterize this notion of closest information leads naturally to an approach using non-monotonic exterior operators in contrast to standard monotonic interior or closure operators. This paper introduces exterior topology and uses it to create revision spaces. It is shown that a generalized AGM revision algebra may be characterized in terms of a suitable family of revision spaces and that symmetric revision spaces induced by a distance function provide a metric notion of theory change.
non-monotonic reasoning, exterior topology, Other nonclassical logic, symmetric revision spaces, Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence, semantic revision
non-monotonic reasoning, exterior topology, Other nonclassical logic, symmetric revision spaces, Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence, semantic revision
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
