फ्लोरा-2

फ्लोरा-2 ज्ञान प्रतिनिधित्व एवं तर्क के लिए खुला स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा F तर्क हाईलोग, एवं आदान-प्रदानतर्क से ली गई है। F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा -2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है। अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।      फ्लोरा-2 स्वयं अनुमान इंजन के लिए XSB पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।    प्रणाली का विवरण एवं इसका उपयोग फ्लोरा -2 उपयोगकर्ता के नियमावली वर्णित है। फ्लोरा -2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें लिनक्स एवं यूनिक्स,  माइक्रोसॉफ़्ट विंडोज़  एवं  Mac OS X  के अन्य स्वाद सम्मिलित हैं।

इतिहास
फ्लोरा-2 फ्लोरा प्रणाली (1998-1999) का उत्तराधिकारी है एवं इसमें मूल फ्लोरा  प्रणाली के विकास एवं उपयोग से प्राप्त अनुभव सम्मिलित है। फ्लोरा-2 परियोजना के प्रारम्भ वर्ष 2000 के निकट गुइझेन यांग एवं माइकल किफर ने की थी। पश्चात के वर्षों में इसका नेतृत्व माइकल किफ़र ने किया एवं इसमें कई अन्य योगदानकर्ता थे।

फ्लोरा -2
का उपयोग कर परियोजनाएं


 * TaOPiS स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।
 * बेज़ माइक्रोसॉफ्ट एक्सेस एवं लिब्रे ऑफिस बेस के समान डेटाबेस विकास वातावरण है।
 * रिज़नेबलपायथन मॉड्यूल है जो F-तर्क को पायथन में जोड़ता है।
 * FRDCSA परियोजना पर्ल एवं FreeKBS3 प्रणाली से फ्लोरा-2 एवं हाईलॉग तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।

बाहरी संबंध

 * Flora-2 Web site.