Como subcampo de la inteligencia artificial , el Diagnóstico se ocupa del desarrollo de algoritmos y técnicas que son capaces de determinar si el comportamiento de un sistema es correcto. Si el sistema no funciona correctamente, el algoritmo debería poder determinar, con la mayor precisión posible, qué parte del sistema está fallando y qué tipo de falla enfrenta. El cálculo se basa en observaciones , que proporcionan información sobre el comportamiento actual.
La expresión diagnóstico también se refiere a la respuesta a la pregunta de si el sistema funciona mal o no, y al proceso de cálculo de la respuesta. Esta palabra proviene del contexto médico donde un diagnóstico es el proceso de identificar una enfermedad por sus síntomas.
Un ejemplo de diagnóstico es el proceso de un mecánico de garaje con un automóvil. El mecánico primero intentará detectar cualquier comportamiento anormal basándose en las observaciones del automóvil y su conocimiento de este tipo de vehículos. Si descubre que el comportamiento es anormal, el mecánico intentará refinar su diagnóstico utilizando nuevas observaciones y posiblemente probando el sistema, hasta que descubra el componente defectuoso; el mecánico juega un papel importante en el diagnóstico del vehículo.
El diagnóstico experto (o diagnóstico por sistema experto ) se basa en la experiencia con el sistema. A partir de esta experiencia se construye un mapeo que asocia eficientemente las observaciones a los diagnósticos correspondientes.
Un enfoque ligeramente diferente es construir un sistema experto a partir de un modelo del sistema en lugar de hacerlo directamente a partir de una experiencia. Un ejemplo es el cálculo de un diagnosticador para el diagnóstico de sistemas de eventos discretos . Este enfoque puede verse como basado en modelos, pero se beneficia de algunas ventajas y sufre algunos inconvenientes del enfoque de sistema experto.
El diagnóstico basado en modelos es un ejemplo de razonamiento abductivo utilizando un modelo del sistema. En general, funciona de la siguiente manera: