Kai Sauerwald

Kai Sauerwald
FernUniversität in Hagen · Fakultät für Mathematik und Informatik

Master of Science

About

23
Publications
1,028
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
43
Citations

Publications

Publications (23)
Article
Many modern artificial intelligence (AI) systems like human-interacting smart devices or expert systems adapt to specific users' information processes but the underlying AI methods commonly lack a theory of mind. Thus, there is a need to better understand human thinking and to integrate the resulting cognitive models into AI methods. By taking the...
Preprint
Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we demonstrate how iterated belief change is connected to computation. In particular, we show that iterative belief revision is Turing complete, even under the condition that b...
Preprint
Full-text available
In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investigate and evaluate four groups of iteration principles for contraction which consider the dynamics of conditional beliefs. For all these principles, we provide semantic cha...
Preprint
The AGM postulates by Alchourr\'on, G\"ardenfors, and Makinson continue to represent a cornerstone in research related to belief change. Katsuno and Mendelzon (K&M) adopted the AGM postulates for changing belief bases and characterized AGM belief base revision in propositional logic over finite signatures. We generalize K&M's approach to the settin...
Preprint
Full-text available
Activation-based conditional inference applies conditional reasoning to ACT-R, a cognitive architecture developed to formalize human reasoning. The idea of activation-based conditional inference is to determine a reasonable subset of a conditional belief base in order to draw inductive inferences in time. Central to activation-based conditional inf...
Preprint
Full-text available
Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in particular, to Boole's variable elimination. On the other hand, marginalisation of epistemic states is a specific approach to actively reduce signatures in more complex...
Preprint
The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the concept of dynamic-limited revision, which are revisions expressible by a total preorder over a limited set of worlds. For a belief change operator, we consider the scope,...
Chapter
Descriptor revision is a belief change framework that was introduced by Hansson as an alternative to the currently prevailing AGM paradigm. One central idea of descriptor revision is to describe the desired outcome of a belief change. Thus, descriptor revision allows expressing different kinds of belief change operations like revision or contractio...
Preprint
The AGM postulates by Alchourr\'{o}n, G\"{a}rdenfors, and Makinson continue to represent a cornerstone in research related to belief change. We generalize the approach of Katsuno and Mendelzon (KM) for characterizing AGM base revision from propositional logic to the setting of (multiple) base revision in arbitrary monotonic logics. Our core result...
Chapter
Descriptor revision by Hansson is a framework for addressing the problem of belief change. In descriptor revision, different kinds of change processes are dealt with in a joint framework. Individual change requirements are qualified by specific success conditions expressed by a belief descriptor, and belief descriptors can be combined by logical co...
Conference Paper
According to Boutillier, Darwiche and Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction, a similar formulation is not known. In particular, the characterisation for revision does not immediately yield a characterisation for contraction, because in the se...
Preprint
Descriptor revision by Hansson is a framework for addressing the problem of belief change. In descriptor revision, different kinds of change processes are dealt with in a joint framework. Individual change requirements are qualified by specific success conditions expressed by a belief descriptor, and belief descriptors can be combined by logical co...
Preprint
According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially because for iterated belief change the connection between revision and contraction via the Levi and Harper identit...
Article
Full-text available
Several different semantics have been proposed for conditional knowledge bases \(\mathcal {R}\) containing qualitative conditionals of the form “If A, then usually B”, leading to different nonmonotonic inference relations induced by \(\mathcal {R}\). For the notion of c-representations which are a subclass of all ranking functions accepting \(\math...
Chapter
While research on iterated revision is predominant in the field of iterated belief change, the class of iterated contraction operators received more attention in recent years. In this article, we examine a non-prioritized generalisation of iterated contraction. In particular, the class of weak Open image in new window operators is introduced, which...
Chapter
Intentional forgetting means to deliberately give up information and is a crucial part of change or consolidation processes, or to make knowledge more compact. Two well-known forgetting operations are contraction in the AGM theory of belief change, and various types of variable elimination in logic programming. While previous work dealt with postul...
Preprint
While research on iterated revision is predominant in the field of iterated belief change, the class of iterated contraction operators received more attention in recent years. In this article, we examine a non-prioritized generalisation of iterated contraction. In particular, the class of weak decrement operators is introduced, which are operators...
Conference Paper
This article focusses on how belief change operations could model forgetting and remembering. Inspired by psychological findings, it is proposed that forgetting could be understood as an operation of memory decay. Remembering is then an operation which recovers already decayed beliefs. It is described how different areas of belief change could be u...
Article
While humans have developed extremely effective ways of forgetting outdated or currently irrelevant information, freeing them to process ever-increasing amounts of information, there seems to be a gap between the technically defined notions of forgetting in knowledge representation and the common-sense understanding of forgetting. In order to bring...
Chapter
Full-text available
Current trends, like digital transformation and ubiquitous computing, yield in massive increase in available data and information. In artificial intelligence (AI) systems, capacity of knowledge bases is limited due to computational complexity of many inference algorithms. Consequently, continuously sampling information and unfiltered storing in kno...

Network

Cited By

Projects

Projects (2)
Project
Es werden in 8 verschiedenen Projekten... ...Mechanismen des menschlichen Vergessens für einen technischen und organisationalen Kontext nutzbar gemacht. ...existierende Organisationstheorien weiterentwickelt im Hinblick auf die Frage, wie eine Passung zwischen den Prozessen, MitarbeiterInnen, Technologien und Strukturen der Organisation und der Informationsmenge, die intern und extern der Organisation generiert wird, hergestellt werden kann, in dem die Informationssysteme in Organisationen befähigt werden zu vergessen. ...interdisziplinär neue Methoden und Übertragungswege für Organisationen entwickelt, um die Balance zwischen stetig wachsenden Mengen an gespeicherten Informationen und einer Informationsreduktion durch Vergessen zu finden. Beteiligte Forschung: https://www.researchgate.net/project/Intentionales-Vergessen-von-arbeitsteiligen-geschaeftsprozessbezogenen-Aktivitaeten-in-der-Fertigung https://www.researchgate.net/project/AdaptPRO-Adaptive-Process-and-Role-Design-in-Organizations https://www.researchgate.net/project/Cyber-physical-forgetting-in-socio-digital-systems https://www.researchgate.net/project/Intentional-Forgetting-of-Everyday-Work-Behavior https://www.researchgate.net/project/EVOWIPE-Explizites-Vergessen-ontologiebasierten-Wissens-in-der-Produktentwicklung https://www.researchgate.net/project/Intentional-Forgetting-within-Organizations https://www.researchgate.net/project/Getrost-vergessen https://www.researchgate.net/project/Intentional-Forgetting
Project
- The project is part of the Schwerpunktprogramm "Intentional Forgetting in Organisations" (SPP 1921), namely ‘FADE’ funded by the Deutsche Forschungsgemeinschaft (DFG) - To develop a formal framework that combines the models of forgetting developed in psychology with the methods of computer science (e.g., knowledge contraction)