abduction

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

Implementation of a new scenario for the Neural-Symbolic system NEUROLOG

TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption

This repository describes kinematics of shoulder joint which is highly complex with multiple internal joints rather than conventional 3 DOF ball joint model.

UFO Raider is a synthwave arcade side-scroller about human abduction — flying a Class-9 Extractor through five hostile sectors while Earth's military response escalates in real time.

Interpret natural language using abductive inference

A Python interface of Open-David, an abductive reasoner

Seminar paper on Abduction and Logic Programming with some Abstract Argumentation

Implementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.

Source code for KR 2016 paper "Implicit Hitting Set Algorithms for Reasoning Beyond NP"

Abduction test code by F# for my learning.

AI-generated discussion artifact on system boundaries, computable search, and the structural-incapacity claim in LLMs Can’t Jump. Full prompts and reproducibility files.

A Mathematical Theory of Abductive Logical Reasoning.

Source code for the paper: Espinosa Dice N, Kaye M, Ahmed H, Montanez G, "A Probabilistic Theory of Abductive Reasoning," ICAART 2021. Work supported in part by the National Science Foundation under Grant No. 1950885.

CATS (Comenius-Abduction-Team Solver) is an experimental tool for solving A-Box abduction problems in description logics using various algorithms.