En filosofía e IA (especialmente en sistemas basados en el conocimiento ), el problema de la cualificación se refiere a la imposibilidad de enumerar todas las precondiciones necesarias para que una acción del mundo real tenga el efecto deseado. [ 1 ] [ 2 ] Podría plantearse como cómo lidiar con las cosas que me impiden lograr el resultado deseado . Está fuertemente conectado con, y opuesto al lado de ramificación del, problema del marco . [ 1 ] John McCarthy ofrece el siguiente ejemplo motivador, en el que es imposible enumerar todas las circunstancias que pueden impedir que un robot realice su función ordinaria:
Para cruzar un río con éxito en una embarcación, si se trata de un bote de remos, es necesario que los remos y los chumaceras estén presentes e intactos, y que encajen entre sí. Se pueden añadir muchas otras condiciones, lo que hace que las reglas para usar un bote de remos sean prácticamente imposibles de aplicar, y aun así, cualquiera podrá pensar en requisitos adicionales no mencionados. [ 3 ]
Véase también
Referencias
- 1 2 Reiter, Raymond (2001). Conocimiento en acción: Fundamentos lógicos para especificar e implementar sistemas dinámicos . Cambridge, Massachusetts: The MIT Press. págs. 20–22 . ISBN 9780262527002.
- ↑ Thielscher, Michael (septiembre de 2001). "El problema de la cualificación: una solución al problema de los modelos anómalos" . Inteligencia Artificial . 131 ( 1–2 ): 1–37 . doi : 10.1016/S0004-3702(01)00131-X .
- ↑ McCarthy, John (abril de 1980). "Circumscription: A form of non-monotonic reasoning" (PDF) . Artificial Intelligence . 13 ( 1–2 ): 27–39 . doi : 10.1016/0004-3702(80)90011-9 .
Enlaces externos
- John McCarthy " Introducción: El problema de la cualificación "
- Representación del conocimiento
- Programación lógica
- Epistemología
- Esbozos de epistemología