Welcome to Deolingo!

Deolingo is a tool for reasoning about Deontic Logic based in Answer Set Programming. The tool is implemented in Python and uses Clingo as the ASP solver. Check out the Github repo with the Python CLI tool and library. See also the documentation.

Deolingo implements the theoretical foundation described in the paper "Equilibrium Logic with eXplicit negation" by Pedro Cabalar, Agata Ciabatonni and Leendert van der Torre.

DELX extends Equilibrium Logic for normative reasoning. In contrast to modal approaches, DELX utilizes a normal form that restricts deontic operators solely to atoms. The cited paper establishes that any theories in DELX can be reduced to ASP.

This tool was created as part of an internship for the Master's Degree in Artificial Intelligence" by the University of A Coruña. Special thanks to professor Cabalar for his guidance and assistance as internship advisor.

Try the editor now!