Cálculo do cálculo do evento discreto Discrete Event Calculus Racalioner é um programa de código aberto para realizar o raciocínio automatizado de commissenses.
Baixe Agora

Cálculo do cálculo do evento discreto Classificação e resumo

Cálculo do cálculo do evento discreto Tag

evento cálculo commonsense Raciocínio Discreto Cálculo do evento. formalismo baseado em lógica

Cálculo do cálculo do evento discreto Descrição

Evento discreto Cálculo Racalioner é um programa de código aberto para realizar raciocínio automatizado de commissenses. Discrete Event Calculus Railus é um programa de código aberto para realizar o raciocínio automatizado de commissenses usando o cálculo do evento, um formalismo integral e altamente utilizável baseado em formalismo lógico.Discrete Event Calculus Racalioner resolve problemas de forma eficiente, convertendo-os em satisfogação (sábado) problemas. Características de "Discrete Event Calculus Railus": · Vem com 99 exemplos · Vem com manual de usuário de 12 páginas · Suporta dedução / projeção temporal, abdução / planejamento, pós-procedimento e localização do modelo · Permite o raciocínio padrão sobre a ação, mudança, espaço e Estados mentais · útil para interfaces de usuário inteligentes, sistemas de negócios, compreensão da linguagem natural e visão de computador · ajuda os aplicativos a entender o mundo, fazer inferências, adaptação a situações inesperadas, e ser mais flexível · lançadas sob a licença pública comum v1.0Requirements: O Discrete Event Calculus Racalioner requer Linux ou Windows + Cygwin, Python, Ply e um ou mais SAT SOLVERS: relsa t (recomendado), walksat e minissat. Aqui estão algumas características principais de "Discrete Event Calculus Racaler": · Vem com 99 exemplos · Vem com manual do usuário de 12 páginas · Suporta dedução / projeção temporal, abdução / planejamento, pós-inscrição e modelagem de modelos · Permite o raciocínio padrão sobre ação, mudança, espaço e estados mentais · Útil para interfaces de usuário inteligentes, sistemas de negócios, compreensão da linguagem natural e visão de computador · Ajuda aplicativos a entender o mundo, fazer inferências, adaptação a situações inesperadas, e ser mais flexível · Liberado sob a Licença Pública Comum v1.0 Requisitos: · O discreto Evento Cálculo Racaleu requer Linux ou Windows Cygwin, Python, Pys e um ou mais SAT SOLVERS: relsat (recomendado), walksat e minissat.

Cálculo do cálculo do evento discreto Software Relacionado