🌐EnglishEnglishDeutschFrançaisNederlandsالعربية한국어中文日本語EntityQ1185775· pop 10· linked from 45 articlesframe problemthe problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logicAvailable in 10 languagesFrançaisDeutsch日本語العربيةCatalanNederlandsNorwegian NynorskSerbian한국어via Wikidata sitelinks · CC0ConnectionsSituation calculusEntityphilosophyEntityCategories1969 introductionsConcepts in epistemologyKnowledge representationLogic programmingPhilosophical problemsProblems in artificial intelligence