| Razonador de lisp comunes El razonador de Lisp comunes tiene como objetivo crear una tecnología práctica que explota la sinergia entre sus tres componentes principales. |
Descargar ahora |
Razonador de lisp comunes Clasificación y resumen
- Nombre del editor:
- William Hounslow
Razonador de lisp comunes Etiquetas
Razonador de lisp comunes Descripción
El razonador de Lisp comunes tiene como objetivo crear una tecnología práctica que explota la sinergia entre sus tres componentes principales. El razonador de Lisp comunes es un software que tiene como objetivo crear una tecnología práctica que explota la sinergia entre sus tres componentes principales para hacer que las aplicaciones relacionadas con AI, como la programación y el diagnóstico, más fácil de desarrollar. Estos componentes son: · Una extensión portátil del sistema de objetos Lisp comunes (Clos) · El sistema de mantenimiento de la verdad basado en el supuesto (cajeros automáticos) de De Kleer · un lenguaje de regla que comprende restricciones no direccionales, así como las reglas unidireccionales, por los permisos de ciertos, por Medios del protocolo de MetaObject, extensión abierta, es tanto el lenguaje de implementación como el kernel del sistema implementado, dentro del cual se ha realizado un conjunto de principios de sonido adecuados para la práctica de la representación del conocimiento en lugar de la programación. En las aplicaciones de razonamiento. Los valores almacenados en las ranuras de una instancia (los datos a razonarse) se acumulan en lugar de reemplazarse. Los valores permitidos se especifican en la clase de la instancia. Son otras instancias, o rangos enumerados de valores (mutuamente excluyentes) que posteriormente se pueden reducir mediante la actividad de razonamiento. Cada valor almacenado está encapsulado en un nodo ATMS, un registro no solo del valor, sino también su justificación (derivación) y Los Estados de la creencia (o ambientes) resultantes, determinados por los cajeros automáticos, en los que se sostiene. Un entorno es dado por un conjunto de supuestos primitivos; Una suposición constituye una decisión explícita y específica de problemas para asumir algunos datos o datos. Los ATMS permiten que los entornos se exploren de manera sistemática y eficiente. El lenguaje de la regla permite la expresión de oraciones lógicas arbitrariamente complejas. Las definiciones de tragamonedas de las clases constituyen colectivamente un vocabulario de atributos que pueden ser referidos en las definiciones de la regla. Cuando el razonamiento, las clases y las instancias proporcionan un medio eficiente para recuperar las reglas y los datos sobre los que operan. Lo que está nuevo en esta versión: · Se ha revisado para cumplir con el estándar ANSI, la Sección 11.1.2.1.2.1.2.1.2.1.2.1.2.1.2. Las infracciones de bloqueo de paquetes ya no se producen. · Métodos de lector generados automáticamente (es decir, que se comportan como el valor de ranura-valor de ranura) están trabajando en SBCL, no funcionan en CLISP y deben trabajar en versiones más recientes de Allegro.
Razonador de lisp comunes Software relacionado