Flora-2 - Flora-2
Flora-2 é um sistema baseado em regras semânticas de código aberto para representação de conhecimento e raciocínio . A linguagem do sistema é derivada da lógica F , HiLog e da lógica de transação . Ser baseado na lógica F e HiLog implica que a sintaxe orientada a objetos e a representação de ordem superior são as principais características do sistema. Flora-2 também suporta uma forma de raciocínio inviável chamada Programação Lógica com Teorias de Defaults e Argumentação (LPDA). Os aplicativos incluem agentes inteligentes, Web semântica, rede de bases de conhecimento, gerenciamento de ontologia , integração de informações, análise de política de segurança, normalização automatizada de banco de dados e muito mais.
Flora-2 depende do sistema XSB para seu mecanismo de inferência. O design e a arquitetura do Flora-2 são descritos em várias obras.
Detalhes do sistema e seu uso estão descritos no Manual do Usuário Flora-2. Flora-2 está disponível para todas as principais plataformas de computação, incluindo Linux e outros sabores de Unix , Microsoft Windows e Mac OS X .
História
Flora-2 é um sucessor do sistema Flora (1998–1999) e incorpora a experiência adquirida no desenvolvimento e uso do sistema Flora original. O projeto Flora-2 começou por volta do ano 2000 por Guizhen Yang e Michael Kifer. Nos últimos anos, foi liderado por Michael Kifer e teve muitos outros colaboradores.
Projetos usando Flora-2
- TaOPiS é um aplicativo da Web semântica social para oferecer suporte a comunidades auto-organizadas.
- Baze é um ambiente de desenvolvimento de banco de dados semelhante ao Access e Base .
- ReasonablePython é um módulo que adiciona F-Logic ao Python.
- O projeto FRDCSA está desenvolvendo uma extensão para a interface Perl XSB para suportar o acesso ao Flora-2 e HiLog do Perl e do sistema FreeKBS3.