Section: New Software and Platforms

Eldr

Existential Logic for Defeasible Reasoning

Keywords: Knowledge representation - Logic programming

Functional Description: Eldr is an open source defeasible reasoning tool that allows the use of different semantics (ambiguity blocking/propagating with or without team defeat) in order to reason with incoherent or inconsistent knowledge. It allows the reasoning about preferences and their justification between different agents with a final aim of producing justified preferences on different outcomes (alternatives). These preferences are then used with a voting module (given certain voting strategy) to break ties and establish the chosen alternative. It is applied within the GLOPACK and NOAW projects.

• Contact: Madalina Croitoru

• URL: https://github.com/hamhec/graal-elder