Flora-2 - Flora-2
Flora-2 er et open source semantisk regelbaseret system til vidensrepræsentation og ræsonnement . Systemets sprog stammer fra F-logik , HiLog og Transaktionslogik . At være baseret på F-logik og HiLog indebærer, at objektorienteret syntaks og repræsentation af højere ordre er de vigtigste træk ved systemet. Flora-2 understøtter også en form for gennemførlig ræsonnement kaldet Logic Programming with Defaults and Argumentation Theories (LPDA). Applikationer inkluderer intelligente agenter, Semantic Web, vidensbasebaseret netværk, ontologistyring , integration af information, sikkerhedspolitisk analyse, automatiseret databasenormalisering og mere.
Flora-2 er afhængig af XSB-systemet for sin inferensmotor. Flora-2's design og arkitektur er beskrevet i en række værker.
Detaljer om systemet og dets anvendelse er beskrevet i Flora-2 brugervejledning. Flora-2 er tilgængelig for alle større platforme, herunder Linux og andre varianter af Unix , Windows , og Mac OS X .
Historie
Flora-2 er en efterfølger til Flora-systemet (1998–1999) og inkorporerer de erfaringer, der er opnået med at udvikle og bruge det originale Flora-system. Flora-2-projektet startede omkring år 2000 af Guizhen Yang og Michael Kifer. I de senere år blev den ledet af Michael Kifer og havde mange andre bidragydere.
Projekter, der bruger Flora-2
- TaOPiS er en social semantisk webapplikation til støtte for selvorganiserende samfund.
- Baze er et databaseudviklingsmiljø svarende til Access og Base .
- ReasonablePython er et modul, der tilføjer F-Logic til Python.
- Den FRDCSA Projektet er ved at udvikle en udvidelse til Perl XSB interface til støtte adgangen til Flora-2 og HiLog fra Perl og FreeKBS3 systemet.
