Razão Comum Lisp. Common Lisp Racaler visa criar uma tecnologia prática que explora a sinergia entre seus três principais componentes.
Baixe Agora

Razão Comum Lisp. Classificação e resumo

Razão Comum Lisp. Tag

comum Lisp comum Lisp. Railer. Tecnologia prática aplicações relacionadas com o AI

Razão Comum Lisp. Descrição

O Lisp Racaleiro Comum tem como objetivo criar uma tecnologia prática que explora a sinergia entre seus três principais componentes. Common Lisp Racaler é um software que visa criar uma tecnologia prática que explora a sinergia entre seus três principais componentes para fazer aplicativos relacionados à AI, como agendamento e diagnóstico, mais fácil de se desenvolver. Estes componentes são: · Uma extensão portátil do sistema comum de objeto Lisp (Clos) · O sistema de manutenção de verdade baseado em assunção (ATMs) de De Kleer · Uma linguagem de regra compreendendo restrições não direcionais, bem como as legismas unidirecionais, por Meios do Protocolo MetaObject, extensão aberta, é tanto a linguagem de implementação quanto o kernel do sistema implementado, dentro do qual um conjunto de princípios de som apropriados para a prática da representação do conhecimento, em vez de programação, foram realizadas. Os valores armazenados nos slots de uma instância (os dados a serem raciocinados com) são acumulados em vez de substituídos. Valores permitidos são especificados na classe da instância. Eles são outros casos, ou enumerados intervalos de valores (mutuamente exclusivos) que podem ser subsequentemente estreitados pela atividade de raciocínio. O valor armazenado é encapsulado em um nó ATMS - um registro não apenas do valor, mas também sua justificativa (derivação) e os estados de crença resultantes (ou ambientes), determinados pelos caixas eletrônicos, em que se mantém. Um ambiente é dado por um conjunto de pressupostos primitivos; Uma suposição constitui uma decisão explícita e específica para assumir algum dado ou dados. Os ATMs permite que ambientes sejam explorados sistematicamente e eficientemente. A linguagem de regra permite a expressão de frases lógicas arbitrariamente complexas. As definições de slot das aulas constituem coletivamente um vocabulário de atributos que podem ser referidos nas definições de regras. Quando raciocínio, as aulas e instâncias fornecem um meio eficiente de recuperar as regras e os dados sobre os quais operam. O que é novo nesta versão: · Ele foi revisado para estar em conformidade com o padrão ANSI, seção 11.1.2.1.2. As violações de bloqueio de pacotes não ocorrem mais. · Métodos de leitores gerados automaticamente (isto é, que se comportam como redução do valor de slots) estão funcionando no SBCL, não estão funcionando em clisp e devem funcionar em lançamentos mais recentes de Allegro.

Razão Comum Lisp. Software Relacionado