फ्लोरा-2

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

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

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


 * TaOPiS स्व-संगठित समुदायों का समर्थन करने के लिए एक सामाजिक शब्दार्थ वेब अनुप्रयोग है।
 * Baze Microsoft Access और LibreOffice Base के समान एक डेटाबेस विकास वातावरण है।
 * ReasonablePython एक मॉड्यूल है जो F-Logic को Python में जोड़ता है।
 * FRDCSA परियोजना पर्ल और FreeKBS3 सिस्टम से फ्लोरा-2 और HiLog तक पहुंच का समर्थन करने के लिए पर्ल XSB इंटरफ़ेस का विस्तार विकसित कर रही है।

बाहरी संबंध

 * Flora-2 Web site.