contextos formalizados segun McCarthy
Definición
-
Siempre las unidades elementales o bits de pensamiento ocurren dentro de algun contexto. Los humanos logran que el contexto se espcialice en situaciones o teorías particulares, lo cual tiene como resultado que el razonamiento sea más definido, incluso a veces completamente definido. Si avanzamos en el sentido opuesto, más de una vez nos vemos obligados a generalizar el contexto de nuestros pensamientos para que queden incorporados en él otros fenómenos antes dejados afuera.
Fué un buen avance el de incorporar dentro de la ontología de la IA lógica, a los contextos como objetos. Así la fórmula prototípica ist(c,p) afirma que la proposición p es verdadera (true) dentro del contexto c. La teoría formal está discutida en McC93 y en contribuciones de Sara Buvac que se pueden bajar de http://www-formal.stanford.edu/buvac/.
