|
Flora-2 is an open source rule-based system for knowledge representation and reasoning. The language of the system is derived from F-logic,〔M. Kifer, G. Lausen, J. Wu (1995). (''Foundations of Object-Oriented and Frame-Based Languages )'', Journal of ACM, May 1995.〕 HiLog,〔 W. Chen, M. Kifer and D.S. Warren (1993), (''HiLog: A Foundation for Higher-Order Logic Programming'' ). Journal of Logic Programming, 1993. 〕 and Transaction logic.〔A.J. Bonner and M. Kifer (1993), ''Transaction Logic Programming'', International Conference on Logic Programming (ICLP), 1993.〕 Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called ''Logic Programming with Defaults and Argumentation Theories'' (LPDA).〔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.〕 Applications include intelligent agents, Semantic Web, knowledge-bases networking, ontology management, integration of information, security policy analysis, automated database normalization, and more.〔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.〕〔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.〕〔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.〕〔M. Malekovic and M. Schatten (2008) (''Leadership in Team Based Knowledge Management - An Autopoietic Information System's Perspective'' ), Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.〕〔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).〕〔M. Schatten (2013) (''Knowledge Management in Semantic Social Networks'' ), Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568〕 Flora-2 is relying on the XSB system for its inference engine. The design and architecture of Flora-2 are described in a number of works.〔G. Yang and M. Kifer (2000), (''Flora: Implementing an Efficient DOOD System Using a Tabling Logic Engine'' ). Intl. Conference on Computational Logic, July 2000.〕〔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 200.〕〔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.〕〔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.〕 Details of the system and its use are described in the Flora-2 User's Manual.〔M. Kifer, G. Yang, H. Wan, C. Zhao (2013),(''Flora-2 User's Manual )〕 Flora-2 is available for all major computing platforms, including Linux and other flavors of Unix, Microsoft Windows (both 32- and 64-bit), and Mac OS X. == History == Flora-2 is a successor to the Flora system (1998-1999) and incorporates the experience gained developing and using the original Flora system. The Flora-2 project started around year 2000 by Guizhen Yang and Michael Kifer. In later years it was led by Michael Kifer and had many other contributors. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Flora-2」の詳細全文を読む スポンサード リンク
|