Overview of knowledge representation techniques
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
Knowledge graphs
AmpliGraph 1.4.0 documentation
docs.ampligraph.org
From SPIN to SHACL
spinrdf.org
SPIN - SPARQL Inferencing Notation
spinrdf.org
Datasets
Linked Wikitext-2
rloganiv.github.io
Hierarchical Inference Applied to Cyc
D. García-Gasulla, Ulises Cortés
2013CCIA
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
2023arXiv.org
PAPER
Doug Lenat, 1950-2023 AI has lost a giant
garymarcus.substack.com
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
Reasonable Ontology Templates (OTTR)
ottr.xyz
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
Datalog all the way down - Christopher Small - YouTube
youtube.com
AI3:::Adaptive InformationArticles on semantic technologies and KBAI (knowledge-based artificial intelligence)
mkbergman.com
Souffle for Datalog
souffle-lang.github.io
Overview of Datalog
clojure.github.io
Differential Datalog
github.com
LogicBlox
en.wikipedia.org
Cognitive primitives
Cognitive and Universal Primitives of the Language of Thought
medium.com