Flora-2 es un sistema de código abierto basado en reglas semánticas para la representación y el razonamiento del conocimiento . El lenguaje del sistema se deriva de la lógica F , [1] HiLog , [2] y la lógica de transacción . [3] Estar basado en F-logic y HiLog implica que la sintaxis orientada a objetos y la representación de orden superior son las principales características del sistema. Flora-2 también admite una forma de razonamiento anulable llamado Programación lógica con teorías por defecto y argumentación (LPDA). [4] Las aplicaciones incluyen agentes inteligentes, Web semántica, redes de bases de conocimiento, ontologíagestión, integración de información, análisis de políticas de seguridad, normalización automatizada de bases de datos y más. [5] [6] [7] [8] [9] [10]
Flora-2 se basa en el sistema XSB para su motor de inferencia. El diseño y la arquitectura de Flora-2 se describen en una serie de trabajos. [11] [12] [13] [14]
Los detalles del sistema y su uso se describen en el Manual del usuario de Flora-2. [15] Flora-2 está disponible para las principales plataformas informáticas, incluyendo Linux y otros sabores de Unix , Microsoft Windows y Mac OS X .
Historia
Flora-2 es un sucesor del sistema Flora (1998-1999) e incorpora la experiencia adquirida desarrollando y utilizando el sistema Flora original. El proyecto Flora-2 comenzó alrededor del año 2000 por Guizhen Yang y Michael Kifer. En años posteriores fue dirigido por Michael Kifer y tuvo muchos otros colaboradores.
Proyectos que utilizan Flora-2
- TaOPiS es una aplicación web semántica social para apoyar comunidades autoorganizadas. [16] [17] [18]
- Baze es un entorno de desarrollo de bases de datos similar a Access y Base .
- ReasonablePython es un módulo que agrega F-Logic a Python. [19]
- El proyecto FRDCSA está desarrollando una extensión de la interfaz Perl XSB para admitir el acceso a Flora-2 y HiLog desde Perl y el sistema FreeKBS3.
Referencias
- ^ M. Kifer, G. Lausen, J. Wu (1995). Fundamentos de lenguajes orientados a objetos y basados en marcos , Journal of ACM, mayo de 1995.
- ^ W. Chen, M. Kifer y DS Warren (1993), HiLog: una base para la programación lógica de orden superior . Revista de programación lógica, 1993.
- ^ AJ Bonner y M. Kifer (1993), Transaction Logic Programming , Conferencia internacional sobre programación lógica (ICLP), 1993.
- ^ H. Wan, B. Grosof, M. Kifer, P. Fodor, S. Liang (2009), Programación lógica con valores predeterminados y teorías de la argumentación . 25th International Conference on Logic Programming (ICLP 2009), julio de 2009.
- ^ H. Chen, T. Finin y A. Joshi (2003). Una ontología para entornos informáticos omnipresentes conscientes del contexto , The Knowledge Engineering Review 18: 3, Cambridge University Press.
- ^ Y. Zou, T. Finin, H. Chen (2005). F-OWL: un motor de inferencia para la web semántica , enfoques formales de sistemas basados en agentes, notas de clase en ciencias de la computación v. 3228, Springer Verlag.
- ^ AD Lattner, JD Gehrke, IJ Timm, O. Herzog (2005) Un enfoque basado en el conocimiento para la decisión de comportamiento en vehículos inteligentes , Simposio de vehículos inteligentes, IEEE, págs. 466-471.
- ^ M. Malekovic y M. Schatten (2008) Liderazgo en la gestión del conocimiento basada en equipos - Perspectiva de un sistema de información autopoyético , Conferencia centroeuropea sobre información y sistemas inteligentes (CECIIS-2008), Universidad de Zagreb.
- ^ T. Orehovacki, M. Schatten, A. Lovrencic (2011) Implementación de un sistema lógico para probar la forma normal independiente funcional en bases de datos relacionales , Actas de la 33ª Conferencia internacional sobre interfaces de tecnología de la información / Lužar-Stiffler, Vesna; Jarec, Iva; Bekić, Zoran (ed.). - Zagreb: Centro Universitario de Computación, Universidad de Zagreb, 2011. 167-172 ( ISBN 978-953-7138-20-2 ).
- ^ M. Schatten (2013) Gestión del conocimiento en redes sociales semánticas , teoría de la organización matemática y computacional (1381-298X) 19, 4; 538-568
- ^ G. Yang y M. Kifer (2000), Flora: Implementación de un sistema DOOD eficiente mediante un motor lógico de tabulación . Intl. Conferencia sobre lógica computacional, julio de 2000.
- ^ G. Yang, Michael Kifer y C. Zhao (2003), FLORA-2: Una infraestructura de representación e inferencia del conocimiento basada en reglas para la Web semántica . Segunda Conferencia Internacional sobre Ontologías, Bases de Datos y Aplicaciones de la Semántica (ODBASE), Catania, Sicilia, Italia, noviembre de 2003.
- ^ M. Kifer (2005), Razonamiento no monotónico en Flora-2 . Conf. Int. sobre Programación Lógica y Razonamiento No Monotónico. Lecture Notes in Computer Science Volumen 3662, 2005, págs. 1-12.
- ^ G. Yang y M. Kifer (2003), Razonamiento sobre recursos anónimos y declaraciones meta en la web semántica . Revista de semántica de datos. Notas de la conferencia en Ciencias de la Computación vol. 2800, Springer, 2003.
- ^ M. Kifer, G. Yang, H. Wan, C. Zhao (2013), Manual del usuario de Flora-2
- ^ M. Schatten, M. Cubrilo, J.Seva (2008) Un sistema semántico Wiki basado en F-Logic , Conferencia centroeuropea sobre información y sistemas inteligentes (CECIIS-2008), Universidad de Zagreb.
- ^ M. Schatten, M. Cubrilo, J.Seva (2009) Consultas dinámicas en sistemas semánticos Wiki , Conferencia centroeuropea sobre información y sistemas inteligentes (CECIIS-2009), Universidad de Zagreb.
- ^ M. Schatten, V. Kakulapati, M. Cubrilo (2010) Razonamiento sobre aplicaciones web semánticas sociales que utilizan la similitud de cadenas y la lógica de marcos , Conferencia centroeuropea sobre información y sistemas inteligentes (CECIIS-2010), Universidad de Zagreb.
- ^ M. Schatten (2007) Python razonable o cómo integrar F-Logic en un lenguaje de secuencias de comandos orientado a objetos , sistemas de ingeniería inteligente (INES-2007), IEEE, págs. 297-300.
enlaces externos
- Sitio web Flora-2 .