-
Large language model
-
https://en.wikipedia.org/wiki/Douglas_Lenat
ββ:
-
Gary Marcus
-
https://en.wikipedia.org/wiki/Abductive_reasoning
ββ:
-
Theory of mind
-
Knowledge graph
-
https://en.wikipedia.org/wiki/Cyc
ββ:
-
https://en.wikipedia.org/wiki/Knowledge_base
ββ:
-
Ontology
-
https://en.wikipedia.org/wiki/Linnaean_taxonomy
ββ:
-
https://en.wikipedia.org/wiki/Taxon
ββ:
-
Expert system
-
https://en.wikipedia.org/wiki/Propositional_calculus
ββ:
-
https://en.wikipedia.org/wiki/Quadratic_formula
ββ:
-
https://en.wikipedia.org/wiki/Stoichiometry
ββ:
-
Automated theorem proving
-
https://en.wikipedia.org/wiki/First-order_logic
ββ:
-
https://en.wikipedia.org/wiki/Modal_logic
ββ: