search

aig-upf / tarski

Tarski - An AI Planning Modeling Framework
Apache License 2.0
61 stars 20 forks source link

Implement Some Axiom Inference Algorithm #46

Closed gfrances closed 1 year ago

gfrances commented 5 years ago

This is a more far fetched project, but I'd like to implement some algorithms (perhaps a good starting point would be Miura & Fukunaga, ICAPS 2017) to infer axioms from the problem description.

miquelramirez commented 1 year ago

Deduction of invariants a la DISCOPLAN (or as in the reference above) would require implementation on a close-to-the-metal programming language (or interfacing with an external solver). I would like to note that support for the PDDL 3.0 domain constraints concepts mapping onto planning invariants (e.g. logical sentences true in all states) has been provided in the pddl-2.x-support branch.