Beschreibung
Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical processing. A rich palette of methods for uncertain reasoning have been developed in the field of knowledge representation showing its many facets - qualitative vs. quantitative reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision have become very active fields of research, among many others.
Previous events of the Workshop on "Dynamics of Knowledge and Belief", organized by the GI-Fachgrupppe "Wissensrepräsentation und Schließen", took place in Osnabrück (2007), Paderborn (2009), and Berlin (2011). The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reaoning and belief change in their broad senses, and in particular provide an interdisciplinary forum for research work linking different paradigms of reasoning such as work on argumentation and belief change, or the usage of uncertain reasoning methods in first-order environments, especially for ontologies. The workshops shall also foster cross-fertilization between the area of knowledge representation, on the one hand, and other disciplines such as philosophy and psychology, on the other hand.
We welcome papers on the following and any related topics:
- Knowledge representation in theory and practice
- Belief revision and belief update
- Nonmonotonic and uncertain reasoning
- Learning and knowledge discovery in data
- Argumentation theories
- Decision theory and preferences
- Ontologies and description logics
- Agents and multiagent systems
- Action and change
Programm
10:30 -11:00 Coffee
11:00 - 12:30 Preferences, Argumentation and Agents
- Dynamic Preference Aggregation under Preference Changes
Matthias Thimm - Characteristics of Multiple Viewpoints in Abstract Argumentation
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran - Secrecy preserving BDI Agents based on Answerset Programming
Patrick Krümpelmann, Gabriele Kern-Isberner
12:30 -14:00 Lunch
14:00 - 15:00 Invited Talk
- Conditionals and Inferential Connections
Igor Douven
15:00 - 15:30 Uncertain Reasoning and Qualitative Conditionals
- OCF-Networks with Missing Values
Gabriele Kern-Isberner and Christian Eichhorn
15:30 -16:00 Coffee
16:00 - 17:30 Modeling and Reasoning with Probabilities
- An Overview of Algorithmic Approaches to Compute Optimum Entropy Distributions in the Expert System Shell MECore
Nico Potyka, David Marenke, Engelbert Mittermeier - Ampliative Inference Under Varied Entropy Level
Paul Thorn, Gerhard Schurz - Quantitative Measures for Adaptive Object-Oriented World Modeling
Achim Kuwertz, Jürgen Beyerer
After the workshop:
17:30 - 18:00 Mitgliederversammlung der GI-Fachgruppe Wissensrepräsentation und Schließen