फ्लोरा-2: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 5: Line 5:
== इतिहास ==
== इतिहास ==


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


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

Revision as of 11:09, 19 May 2023

फ्लोरा-2 ज्ञान प्रतिनिधित्व एवं तर्क के लिए खुला स्रोत सिमेंटिक नियम-आधारित प्रणाली है। प्रणाली की भाषा F तर्क [1] हाईलोग,[2] एवं आदान-प्रदानतर्क से ली गई है।[3] F-तर्क एवं हाईलॉग पर आधारित होने का तात्पर्य है, कि वस्तु-ओरिएंटेड सिंटैक्स एवं उच्च-क्रम प्रतिनिधित्व प्रणाली की प्रमुख विशेषताएं हैं। फ्लोरा -2 तर्क कार्यक्रमों के साथ अभाव एवं विवाद सिद्धांतों (एलपीडीए) नामक प्रकार के निष्क्रिय तर्क का भी समर्थन करता है।[4] अनुप्रयोगों में बुद्धिमान एजेंट, सिमेंटिक वेब, नॉलेज-बेस नेटवर्किंग, ऑन्कोलॉजी (सूचना विज्ञान) प्रबंधन, सूचना का एकीकरण, सुरक्षा नीति विश्लेषण, स्वचालित डेटाबेस सामान्यीकरण, एवं अत्यधिक वस्तुएँ सम्मिलित हैं।[5][6][7][8][9][10] फ्लोरा-2 स्वयं अनुमान इंजन के लिए XSB पर निर्भर होता है। फ्लोरा-2 की आकृति एवं वास्तुकला का वर्णन कई कार्यों में किया गया है।[11][12][13][14] प्रणाली का विवरण एवं इसका उपयोग फ्लोरा -2 उपयोगकर्ता के नियमावली वर्णित है।[15] फ्लोरा -2 सभी प्रमुख कंप्यूटिंग प्लेटफॉर्म के लिए उपलब्ध है, जिसमें लिनक्स एवं यूनिक्स, माइक्रोसॉफ़्ट विंडोज़ एवं Mac OS X के अन्य स्वाद सम्मिलित हैं।

इतिहास

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

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

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

संदर्भ

  1. ↑ M. Kifer, G. Lausen, J. Wu (1995). Foundations of Object-Oriented and Frame-Based Languages, Journal of ACM, May 1995.
  2. ↑ W. Chen, M. Kifer and D.S. Warren (1993), HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming, 1993.
  3. ↑ A.J. Bonner and M. Kifer (1993), Transaction Logic Programming, International Conference on Logic Programming (ICLP), 1993.
  4. ↑ H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009), Logic Programming with Defaults and Argumentation Theories. 25th International Conference on Logic Programming (ICLP 2009), July 2009.
  5. ↑ H. Chen, T. Finin, and A. Joshi (2003). An ontology for context-aware pervasive computing environments, The Knowledge Engineering Review 18:3, Cambridge University Press.
  6. ↑ Y. Zou, T. Finin, H. Chen (2005). F-OWL: An Inference Engine for Semantic Web, Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.
  7. ↑ A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005) A knowledge-based approach to behavior decision in intelligent vehicles, Intelligent Vehicles Symposium, IEEE, pp. 466-471.
  8. ↑ M. Malekovic and M. Schatten (2008) Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective[permanent dead link], Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.
  9. ↑ T. Orehovacki, M. Schatten, A. Lovrencic (2011) Implementing a Logic System for Testing Functional Independent Normal Form in Relational Databases, Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 (ISBN 978-953-7138-20-2).
  10. ↑ M. Schatten (2013) Knowledge Management in Semantic Social Networks, Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568
  11. ↑ G. Yang and M. Kifer (2000), Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Intl. Conference on Computational Logic, July 2000.
  12. ↑ G. Yang, Michael Kifer, and C. Zhao (2003), FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.
  13. ↑ M. Kifer (2005), Nonmonotonic reasoning in Flora-2. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.
  14. ↑ G. Yang and M. Kifer (2003), Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.
  15. ↑ M. Kifer, G. Yang, H. Wan, C. Zhao (2013),Flora-2 User's Manual
  16. ↑ M. Schatten, M. Cubrilo, J.Seva (2008) A Semantic Wiki System Based on F-Logic[permanent dead link], Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.
  17. ↑ M. Schatten, M. Cubrilo, J.Seva (2009) Dynamic Queries in Semantic Wiki Systems, Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.
  18. ↑ M. Schatten, V. Kakulapati, M. Cubrilo (2010) Reasoning about Social Semantic Web Applications using String Similarity and Frame Logic, Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.
  19. ↑ M. Schatten (2007) Reasonable Python or how to Integrate F-Logic into an Object-Oriented Scripting Language, Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=फ्लोरा-2&oldid=171296’