Intelligente Grundlegung von regelbasierter Argumentation mit Datalog
Das neue Forschungsdokument von arXiv präsentiert einen innovativen Ansatz zur effizienten Grundlegung von Regel-basierten Argumentationssystemen, die auf dem weit verbreiteten ASPIC+ Framework aufbauen. Während ASPIC+ üblicherweise mit ersten‑Ordnung-Regeln arbeitet, beschränken sich die meisten bestehenden Verfahren auf propositionsale Regeln, was die direkte Anwendung auf komplexere Szenarien verhindert.
