Overview of knowledge representation techniques
34 items
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
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
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