<p>I'm not aware of any alternatives but some first-order abductive problems can be recast as evaluation of stable models.</p>

CC BY-SA 3.0
2015-03-13T18:27:59.823Z
2015-03-13T18:27:59.823Z
Pedro
<p>Is there an implementation of weighted abduction other than the PT theorem prover? A Google search reveals the PTTP and a few statistical approaches but I'm interested in a rule-based approach. The PTTP is too slow with large knowledge bases. Since I couldn't google up anything useful I guess there's none (maybe statistics is the way to go as abduction is intractable) but maybe someone knows of an alternative in a different branch of logic programming (such as ASP).</p>

<lo.logic>
Is there a rule-based implementation of weighted abduction other than the PTTP?
Atamiri
# Is there a rule-based implementation of weighted abduction other than the PTTP?

(Asked by: username_0 on 2015-03-07)

Is there an implementation of weighted abduction other than the PT theorem prover? A Google search reveals the PTTP and a few statistical approaches but I'm interested in a rule-based approach. The PTTP is too slow with large knowledge bases. Since I couldn't google up anything useful I guess there's none (maybe statistics is the way to go as abduction is intractable) but maybe someone knows of an alternative in a different branch of logic programming (such as ASP).

**Tags:** lo.logic


---

## 1 answers

### Answer by username_1 on 2015-03-13. Score: -1

I'm not aware of any alternatives but some first-order abductive problems can be recast as evaluation of stable models.


---

