24 Feb 2018, 05:00 • prolog, logic • 51 views

This post is about an extension of Prolog which makes it a more useful and user-friendly logic programming language.

24 Feb 2018, 05:19 • logic, semantics • 45 views

Formal logics are axiomatic systems that formalise inference. Let’s look at what higher-order logic is and how it can be worked with.

24 Feb 2018, 06:46 • logic, nlp • 40 views

Parsing reveals the syntactic structure of a sentence. Abduction is inference to the best explanation. We show in this post that context-free parsing is a special case of abductive reasoning.

24 Feb 2018, 07:14 • logic • 45 views

Automated planning is the task of finding a plan to achieve a goal given some prerequisites. Planning problems can be cast in terms of abductive theories which allows us to use an abductive prover to find the best plan.

24 Feb 2018, 14:36 • logic • 45 views

Effectively propositional abductive problems can be cast in terms of satisfiability. This post shows when it's possible and how to do it.

24 Feb 2018, 14:38 • logic, nlp • 42 views

This post describes formal logic embedded in formal logic. It sounds really weird but a simple example will illustrate why it might be useful.