Make new P-log adjustments - Githubissues

potassco / plingo

🍀 A system for probabilistic reasoning in clingo

MIT License

15 stars 2 forks source link

Make new P-log adjustments #1

Open nrueh opened 2 years ago

nrueh commented 2 years ago

Changes:

&obs should allow all kind of attributes( not just random)
&do should have (optional) argument for experiment name
&obs and &do should have no body allowed

What to do about sorts?

Add boolean sort to meta encoding?
truly_random atom not needed? Already got int( intervention)