lenguajes epistemologicamente adecuados segun McCarthy
Descripción
Un lenguaje lógico utilizable en una situación informática de sentido común debe ser capaz de expresar en forma directa la información realmente disponible a un agente. Por ejemplo, proporcionando los datos de temperatura y densidad del aire y su campo de velocidades, a la luz de las ecuaciones de Navier-Stokes, no le permite en forma práctica a una persona o a un robot ninguna exteriorización de la dirección y la intensidad del viento que está sintiendo. Sin embargo, nosotros y el robot podemos exteriorizar qué viento sentimos y si tuviesemos instrumentos a nuestra disposición, podríamos tambien informar cifras. Lo cual no quita que aún en ausencia de valores numéricos nos arreglamos para hablar del viento.