abductive logic programming造句

• It is closely related to abductive logic programming.
• Abductive logic programming is a computational framework that extends normal logic programming with abduction.
• Kave Eshghi showed how the event calculus can be used for planning, using abductive logic programming.
• Kowalski was one of the early developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates.
• "' Abductive logic programming "'( "'ALP "') is a high-level knowledge-representation framework that can be used to solve problems declaratively based on abductive reasoning.
• The diversity of inductive programming usually comes from the applications and the languages that are used : apart from logic programming and functional programming, other programming paradigms and representation languages have been used or suggested in inductive programming, such as functional logic programming, constraint programming, probabilistic programming, abductive logic programming, modal logic, action languages, agent languages and many types of imperative languages.