Frame problem

the problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logic

Pronunciation

Categories