EtcAbductionPy

An implementation of Etcetera Abduction in Python

This software is a reference implementation of Etcetera Abduction. Given a knowledge base of first-order definite clauses and a set of observables, this software identifies the most probable set of assumptions that logically entails the observations, assuming the conditional independence of each assumption.

Tutorial

Getting started, on installing Etcetera Abduction, input files, and graphing solutions
Example 1: Chicken and Egg, introducing the etcetera literal, conditional and prior probabilities
Example 2: Dead Plant, introducing eventuality notation, nonmonotonic reasoning
Example 3: Lemon or Lime, relating abduction to classification
Example 4: For Want of a Nail, on backchaining depth, universally and existentially quantified variables
Example 5: Twenty Ticks, combinatorial explosions, and fast incremental Etcetera Abduction
Example 6: Man Bites Dog, natural language interpretation with and without word order
Example 7: TellTale Cards, playing story creation games
Example 8: Interpreting test results, overcoming the base rate fallacy
Example 9: Interpreting two tests, partitioning the sample space
Example 10: Coin flips, confidence, and classifiers, the XOR trick

Source code

https://github.com/asgordon/EtcAbductionPy

EtcAbductionPy

An implementation of Etcetera Abduction in Python

Tutorial

Source code

Further reading