Flora-2
Flora-2 är ett semantiskt regelbaserat system med öppen källkod för kunskapsrepresentation och resonemang . Språket i systemet kommer från F-logic , HiLog och Transaction logic . Att vara baserad på F-logic och HiLog innebär att objektorienterad syntax och högre ordningsrepresentation är huvuddragen i systemet. Flora-2 stöder också en form av avförbara resonemang som kallas Logic Programming with Defaults and Argumentation Theories ( LPDA). Tillämpningar inkluderar intelligenta agenter, semantisk webb, kunskapsbasnätverk, ontologihantering , integrering av information, säkerhetspolicyanalys, automatiserad databasnormalisering och mer.
Flora-2 förlitar sig på XSB-systemet för sin inferensmotor. Flora-2:s design och arkitektur beskrivs i ett antal verk.
Detaljer om systemet och dess användning beskrivs i Flora-2 användarmanual. Flora-2 är tillgänglig för alla större datorplattformar, inklusive Linux och andra varianter av Unix , Microsoft Windows och Mac OS X.
Historia
Flora-2 är en efterföljare till Flora-systemet (1998–1999) och innehåller erfarenheterna från att utveckla och använda det ursprungliga Flora-systemet. Flora-2-projektet startade omkring år 2000 av Guizhen Yang och Michael Kifer. Under senare år leddes den av Michael Kifer och hade många andra bidragsgivare.
Projekt som använder Flora-2
- TaOPiS är en social semantisk webbapplikation för att stödja självorganiserande samhällen.
- Baze är en databasutvecklingsmiljö som liknar Access och Base .
- ReasonablePython är en modul som lägger till F-Logic till Python.
- FRDCSA -projektet utvecklar en förlängning av Perl XSB-gränssnittet för att stödja åtkomst till Flora-2 och HiLog från Perl och FreeKBS3-systemet .