Konferenzbeitrag
Automated Reasoning for Conflict Solving in Knowledge Graphs
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2024
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.