dl2asp: Implementing Default Logic via Answer Set Programming

In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formulas in a default theory. Based on this idea, we implement a new default logic solver - dl2asp. We report some experimental results, in particular the application of dl2asp for solving the fair division problem in social choice theory.

• Type: Journal
• Year: 2010
• Where: JELIA
• Authors: Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
• Keywords: Answer Set Programming, Artificial Intelligence, Default Logic, Default Theory, JELIA 2010