Instrucciones para la Programación Lógica

Instrucciones para la Programación Lógica

Resumen

Actualmente necesitamos una mejor comprensión del papel de la programación lógica para el futuro. Se ha visto una extrema relación entre la teoría lógica y el ambiente con el que esa teoría interactúa. En la teoría más pragmática, ingresan flujos de sentencias observacionales, que el agente debe asimilar. Investigar el origen de este flujode entrada y especular sobre la naturaleza de la fuente es necesario.
Las reglas de condición-acción se ejecutan, haciendo coincidir sus condiciones con "hechos", y derivando las acciones correspondientes como candidatos para la selección y ejecución. El problema con los sistemas de producción es que no son muy buenos para el razonamiento acerca de las metas y objetivos para la reducción desub-objetivos. Sin embargo, este es el lugar donde la programación lógica y el razonamiento hacia atrás sobresalen.
La falta de asignación destructiva en programación lógica pura es un caso especial del problema de la representación y el razonamiento sobre el cambio de estados de las cosas. Cuando se necesita para razonar sobre el pasado o el futuro, observando el estado actual del mundo se puedecombinar con el razonamiento al respecto por medio del marco de acciones adecuadas.




1. Introducción
Los tiempos han cambiado. Atrás han quedado los días en que la programación lógica parecía dominar el mundo. En éstos días de internet, la programación orientada a objetos, agentes reactivos y sistemas multiagente, necesitamos una mejor comprensión del papel de la programación lógica para elfuturo.
El argumento para la programación lógica se basa en gran medida en sus bases lógicas.
Habitualmente, los doctores en Lógica e Inteligencia Artificial se centraron en el uso de la lógica para formalizar el proceso de pensamiento de un agente individual. Sin prestar demasiada atención al ambiente en el cuál el individuo se encuentra inserto, su interacción con el mismo y demás agentes.2. Desarrollo
Lógica sin Teoría de Modelos

En el propio trabajo, a veces se ha visto una extrema relación entre la teoría lógica y el ambiente con el que esa teoría interactúa. Ahora ese punto de vista ha sido parte de la culpa tanto de algunas de las limitaciones del propio trabajo y algunas de las limitaciones del enfoque de la programación lógica que se ha defendido en el pasado.
En"Lógica Sin teoría de modelos":
En la teoría de modelos, hay un mundo real, constituido por individuos reales, funciones y relaciones.
En la teoría más pragmática, sin embargo, esto es inevitable, constantemente ingresan flujos de sentencias observacionales, que el agente debe asimilar. Investigar el origen de este flujo de entrada y especular sobre la naturaleza de la fuente es necesario y útil. Paratodo el agente nunca puede aspirar a determinar, la fuente puede ser también una forma de realidad virtual.
Aunque este punto de vista podría ser lógicamente coherente, subestima la importancia del medio ambiente. Ahora creo, a diferencia de antes, que el medio es un mundo real, lo que da sentido a los pensamientos de un agente, de la misma manera que un modelo, en el sentido de la teoría demodelos, da sentido a las oraciones en sentencia lógica.

La Observación-Pensamiento-Acción Ciclo del Agente
Mi nueva forma de pensar se inspira por pensar en los agentes reactivos y sistemas multiagente. Agentes reactivos y agentes inteligentes, más en general, pueden entenderse en el marco del ciclo de pensamiento-acción-observación de un agente.
El ciclo agente ha surgido en los últimos años,como un marco más amplio para el entendimiento humano y la inteligencia artificial. Pone la lógica en su lugar como una manera de pensar; y pone de relieve la importancia de las interacciones de los agentes con el mundo. El ciclo se puede simplificar en:
• al ciclo,
• observar cualquier entrada,
• pensar,
• seleccionar y comprometerse a una acción a realizar,
• acto,
• ciclo.
Así, para...