First Order Logic with Inductive Definitions for Model-Based Problem Solving

Authors

  • Maurice Bruynooghe Katholieke Universiteit Leuven
  • Marc Denecker Katholieke Universiteit Leuven
  • Miroslaw Truszczynski

DOI:

https://doi.org/10.1609/aimag.v37i3.2679

Abstract

In answer-set programming (ASP), programs can be viewed as specifications of finite Herbrand structures. Other logics can be (and, in fact, were) used towards the same end and can be taken as the basis of declarative programming systems of similar functionality as ASP. We discuss here one such logic, the logic FO(ID), and its implementation IDP3. The choice is motivated by notable similarities between ASP and FO(ID), even if both approaches trace back to different origins

Downloads

Published

2016-10-07

How to Cite

Bruynooghe, M., Denecker, M., & Truszczynski, M. (2016). First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Magazine, 37(3), 69-80. https://doi.org/10.1609/aimag.v37i3.2679

Issue

Section

Articles