Skip to content

tiny-datalog 0.2.0

Choose a tag to compare

View all tags
@andrewgoodchild andrewgoodchild released this 03 Oct 09:24
· 11 commits to main since this release
v0.2.0
dfa1ffe

New: defeasible logic. tiny_datalog.defeasible and the tiny-datalog-defeasible command: rules with exceptions and priorities — strict ->, defeasible =>, defeaters ~>, superiority r1 > r2, strong negation ~ — with ambiguity blocking (default) or --propagating. The proof conditions follow Antoniou, Billington, Governatori & Maher (TOCL 2001) and Maher (TPLP 2012).

pip install --upgrade tiny-datalog
tiny-datalog-defeasible -q 'flies(X)' birds.dfl

The course gains lesson 18, Rules with exceptions; the neighbours move to lesson 19. The external datalog-conformance corpus now runs its defeasible theories too: 195 cases pass.

Assets 2
Loading