Abductive Logic Programming with CIFF: Implementation and Applications
Ulle Endriss, Paolo Mancarella, Fariba Sadri, G. Terrreni, Francesca Toni · 2004
Abstract. We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct (partial or complete) plans and react to changes in the environment. CIFF extends the original IFF procedure in two ways: by dealing with constraint predicates and by dealing with non-allowed abductive logic programs. 1