Metadata
Author: WikiMatrix
Data
English[en]
Representing the state of a robot with traditional FOL requires the use of many axioms (symbolic language) to imply that things about an environment that do not change arbitrarily.
Spanish[es]
El problema del marco surgió debido al uso de la lógica de primer orden (LPO) para expresar hechos sobre un robot en el mundo. Representar el estado de un robot con LPO tradicional requiere el uso de muchos axiomas(lenguaje simbólico), para implicar las cosas acerca de un ambiente que no cambia de manera arbitraria.