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
ββ: