frame problem
Sign in to savethe problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logic
Available in 10 languages
via Wikidata sitelinks · CC0
Connections
Situation calculus
Entity
philosophy
Entity
Artificial intelligence
Concept
Gottfried Wilhelm Leibniz
Entity
International Standard Book Number
Entity
axiom
Entity
Stanford University
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Lisp
Entity
cognitive science
Entity
OCLC, Inc.
Entity
common sense
Entity
John McCarthy
Entity
Royal Swedish Academy of Sciences
Entity
proposition
Entity
formal language
Entity
University of Texas at Austin
Entity
Stanford Encyclopedia of Philosophy
Entity
garbage collection
Entity