Documento sobre nuevo desarrollo de inteligencia artificialResumen: Este artículo cree que la informática y la inteligencia artificial serán la principal fuerza impulsora para el desarrollo de la lógica en el siglo XXI y determinarán la cara de la lógica en en gran medida el siglo XXI. Al menos a principios del siglo XX(1), la Logic Society se centró en los siguientes temas: (1) ¿Cómo abordar la coordinación, la no monotonicidad y la tolerancia al error del razonamiento de sentido común en lógica? (2) ¿Cómo equipar a los robots con inteligencia creativa humana, como establecer juicios inductivos para guiar acciones futuras a partir de evidencia empírica? (3) ¿Cómo representar y razonar sobre el conocimiento, especialmente el razonamiento basado en la base de conocimientos existente y el conocimiento cognitivo entre sujetos? (4) ¿Cómo combinar varios factores contextuales para la comprensión y el razonamiento del lenguaje natural de modo que los robots inteligentes puedan comunicarse con éxito con las personas en su lenguaje natural? Espera un momento. [Palabras clave] Inteligencia artificial, razonamiento de sentido común, lógica inductiva, lógica intensional generalizada, lógica cognitiva, lógica del lenguaje natural La lógica moderna se fundó a finales del siglo XIX y principios del XX, y su impulso de desarrollo provino principalmente del movimiento axiomático en las matemáticas. Los matemáticos de esa época intentaron deducir otros teoremas matemáticos a partir de unos pocos axiomas basados en reglas de deducción claramente dadas, construyendo así todas las matemáticas en un riguroso edificio de deducción, y luego utilizaron ciertos procedimientos y métodos para demostrar la confiabilidad del sistema matemático de una vez por todas. todo. . Por tanto, es necesario inventar y forjar herramientas lógicas rigurosas, precisas y aplicables. Ésta es la principal fuerza impulsora detrás del nacimiento de la lógica moderna. La consecuencia de esto es la grave matematización de la investigación lógica en el siglo XX, que se manifiesta en lo siguiente: primero, la lógica se centra en las cuestiones planteadas en el proceso de formalización matemática; segundo, la lógica adopta la metodología matemática y se involucra en la investigación lógica; significa utilizar métodos rigurosos como las matemáticas para resolver el problema. La lógica desarrollada a partir de esto se llama apropiadamente "lógica matemática". Fortalece la profundidad de la investigación lógica y lleva el desarrollo de la lógica al tercer pico después de la lógica griega antigua y la lógica medieval europea. Tiene un impacto profundo en toda la ciencia moderna. En particular, las matemáticas, la filosofía, la lingüística y la informática han tenido un impacto muy importante. La pregunta que se discutirá en este artículo es: ¿De dónde vendrá la principal fuerza impulsora del desarrollo de la lógica en el siglo XXI? ¿Cómo se desarrollará en general? Mi opinión personal es que la informática y la inteligencia artificial serán al menos la principal fuerza impulsora del desarrollo de la lógica a principios del siglo XXI, lo que determinará la otra cara de la lógica en el siglo XXI. Debido a que la inteligencia artificial quiere simular la inteligencia humana, su dificultad no radica en los diversos razonamientos inevitables realizados por el cerebro humano (que se han hecho básicamente en el siglo XX, como el uso de computadoras para realizar pruebas matemáticas difíciles y de alta intensidad. " "Deep Blue" utiliza cálculos de alta velocidad a gran escala y El campeón del mundo juega al ajedrez), pero radica en la iniciativa y el pensamiento creativo que mejor encarna las características de la inteligencia humana. Este tipo de pensamiento incluye factores como el aprendizaje, la selección, la prueba, modificación y razonamiento. Por ejemplo, recopilan selectivamente evidencia empírica relevante, hacen juicios o elecciones tentativos basados en información insuficiente y ajustan y modifican continuamente sus comportamientos basándose en la retroalimentación ambiental para lograr el éxito práctico. Por lo tanto, la lógica tendrá que estudiar exhaustivamente las actividades del pensamiento humano y centrarse en varios razonamientos inciertos que reflejen mejor las características de iniciativa del pensamiento humano. La teoría lógica desarrollada a partir de esto también tendrá una aplicabilidad más fuerte. De hecho, la integración y penetración entre la lógica moderna y la inteligencia artificial (IA) comenzó entre mediados y finales del siglo XX. Por ejemplo, muchos temas de la investigación en lógica filosófica tienen un valor de aplicación importante en las computadoras teóricas y la inteligencia artificial. La IA ha obtenido muchos recursos de la psicología cognitiva, las ciencias sociales y la ciencia de la decisión, pero la lógica (incluida la lógica filosófica) juega un papel particularmente destacado en la IA. Algunas razones han impulsado a los lógicos filosóficos a desarrollar teorías sobre el razonamiento no matemático; casi por las mismas razones, los investigadores de IA también están realizando exploraciones similares. Los dos aspectos de la investigación se están acercando, aprendiendo uno del otro e incluso fusionándose gradualmente. Por ejemplo, la IA se centra específicamente en los siguientes temas: razonamiento eficiente y con recursos limitados; planes de percepción y respaldo de planes; precisión del conocimiento común entre los agentes; el procesamiento de sentidos; el razonamiento incierto y tolerante a errores; el razonamiento sobre el tiempo y la causalidad o la lógica explicativa en el siglo XXI también deben prestar atención y estudiarlos. Para hacer esto, los lógicos deben estar familiarizados con los requisitos de la IA y su progreso relacionado, para que los resultados de su investigación puedan aplicarse en la IA.
Creo que al menos a principios del siglo XX, la lógica se centrará en las siguientes áreas, y es posible que se logren logros significativos en ellas: (1) Cómo abordar los factores de coordinación, no monotonicidad y tolerancia a errores de ¿Razonamiento de sentido común en lógica? (2) ¿Cómo equipar a los robots con inteligencia creativa humana, como establecer juicios inductivos a partir de evidencia empírica para guiar acciones futuras? (3) ¿Cómo representar y razonar sobre el conocimiento, especialmente el razonamiento basado en la base de conocimientos existente y el conocimiento cognitivo entre sujetos? (4) ¿Cómo combinar varios factores contextuales para la comprensión y el razonamiento del lenguaje natural de modo que los robots inteligentes puedan comunicarse con éxito con las personas en su lenguaje natural? Espera un momento.