Abductive logic programming (ALP) symbolic AI
noun phrase
Definition: A high-level knowledge-representation framework for declarative problem solving based on abductive reasoning; it extends logic programming by allowing some predicates to be incompletely defined as abducible predicates [Bakanach 2023].
Example in context: “In the realm of Abductive Logic Programming (ALP), a variety of proof procedures have been defined as well.” [Bellodi 2021]
Synonyms: ALP
Related terms: abductive reasoning, logic programming, knowledge representation