Automated Reasoning for Conflict Solving in Knowledge Graphs

Abstract

Forensic application of Methods of AI depends on the level of trust towards automated reasoning. Automated reasoning leads necessarily to conflicts, and with that to the need for adaptation. Knowledge Graphs are an existential part of formalization in complex systems, e.g. as representation of beliefs of an AI. Strong AI, and with that one of the two main research areas of the early 21st century in Computer Science, struggles with the representation of conflicting beliefs, as well as with strategies for their resolution. We present a template based approach with an implementation on detecting and resolving conflicts in belief systems leading to a deeper insight into AI and its ability of self reflection. Without the understanding of how beliefs are handled in strong AI systems, the application to forensics is hurdled.