Extend P-log with additional type of queries (and possibly new syntax).

iensen / plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)

GNU General Public License v3.0

1 stars 1 forks source link

Extend P-log with additional type of queries (and possibly new syntax). #12

Open iensen opened 6 years ago

iensen commented 6 years ago

Currently, we only allow queries of the form ?-a that return the answer. It can be useful to have other type of queries, such as MAP inference, Probabilistic Plannning (MDP/POMDP, Influence Diagrams), etc. Additional changes to P-log syntax may be required.

shiqizhang6 commented 6 years ago

@iensen Good to see you bringing up the MDP/POMDP syntax here. Hope I can help here somehow.