Overview of knowledge representation techniques

Learning Pathways

computing > AI > KR

Early steps

A framework for representing knowledge

M. Minsky

1974

PAPER

Report on a general problem-solving program

Newell, Shaw, Simon

1958

ARTICLE

Logic programming

Logica | Modern Logic Programming

logica.dev

ARTICLE

Knowledge graphs

AmpliGraph 1.4.0 documentation

docs.ampligraph.org

TOOL

From SPIN to SHACL

spinrdf.org

ARTICLE

SPIN - SPARQL Inferencing Notation

spinrdf.org

ARTICLE

Datasets

Linked Wikitext-2

rloganiv.github.io

TOOL

Hierarchical Inference Applied to Cyc

D. García-Gasulla, Ulises Cortés

2013 CCIA

PAPER

Cyc

Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project

D. Lenat, R. Guha

1990

BOOK

CYC: A Large-Scale Investment in Knowledge Infrastructure

Doug Lenat

ARTICLE

First-Orderized ResearchCyc : Expressivity and Efficiency in a Common-Sense Ontology

Deepak Ramachandran, Pace Reagan, and Keith Goolsbey et al.

ARTICLE

Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc

D. Lenat, G. Marcus

2023 arXiv.org

PAPER

Doug Lenat, 1950-2023 AI has lost a giant

garymarcus.substack.com

ARTICLE

Cognitive Atlas

Mapping Mental Function to Brain Structure: How Can Cognitive Neuroimaging Succeed?

Poldrack

ARTICLE

The Cognitive Atlas: Toward a Knowledge Foundation for Cognitive Neuroscience

Poldrack

ARTICLE

Other projects

JeffreyBenjaminBrown/hode

github.com

ARTICLE

Reasonable Ontology Templates (OTTR)

ottr.xyz

ARTICLE

Datalog

Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases.

Not Your Mothers Datalog - Paula Gearon - reClojure 2021 - YouTube

youtube.com

VIDEO

Datalog all the way down - Christopher Small - YouTube

youtube.com

VIDEO

AI3:::Adaptive InformationArticles on semantic technologies and KBAI (knowledge-based artificial intelligence)

mkbergman.com

ARTICLE

Souffle for Datalog

souffle-lang.github.io

ARTICLE

Overview of Datalog

clojure.github.io

ARTICLE

Differential Datalog

github.com

ARTICLE

LogicBlox

en.wikipedia.org

ARTICLE

Cognitive primitives

Cognitive and Universal Primitives of the Language of Thought

medium.com

ARTICLE

Help

Welcome to your learning pathway, "Overview of knowledge representation techniques".

You can add new resources by clicking the button.

To add a scientific paper (research article), paste its title, then hit Return. The paper will be identified using Semantic Scholar so that you don't have to type in the year, authors, journal or abstract.

To add a web page, paste its URL and Learning Pathways will fetch the page title for you. You may need to edit the title if it is not correct.

Click on a resource to see details about it, or to edit it. Using the buttons at the bottom of the page, resources can be re-ordered and section headings can be added.