stringtranslate.com

Flora-2

Flora-2 es un sistema basado en reglas semánticas de código abierto para la representación y el razonamiento del conocimiento . El lenguaje del sistema se deriva de F-logic , [1] HiLog , [2] y la lógica de transacciones . [3] El hecho de 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 refutable llamada Programación lógica con valores predeterminados y teorías de argumentación (LPDA). [4] Las aplicaciones incluyen agentes inteligentes, Web semántica, redes de bases de conocimiento, gestión de ontologías , 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 varios 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 todas las principales plataformas informáticas, incluyendo Linux y otras versiones de Unix , Microsoft Windows y Mac OS X.

Historia

Flora-2 es el sucesor del sistema Flora (1998-1999) e incorpora la experiencia adquirida en el desarrollo y uso del 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 contó con muchos otros colaboradores.

Proyectos que utilizan Flora-2

Referencias

  1. ^ M. Kifer, G. Lausen, J. Wu (1995). Fundamentos de lenguajes orientados a objetos y basados ​​en marcos, Journal of ACM, mayo de 1995.
  2. ^ W. Chen, M. Kifer y DS Warren (1993), HiLog: una base para la programación lógica de orden superior. Journal of Logic Programming, 1993.
  3. ^ AJ Bonner y M. Kifer (1993), Programación lógica de transacciones , Conferencia internacional sobre programación lógica (ICLP), 1993.
  4. ^ H. Wan, B. Grosof, M. Kifer, P. Fodor, S. Liang (2009), Programación lógica con valores predeterminados y teorías de argumentación. 25.ª Conferencia internacional sobre programación lógica (ICLP 2009), julio de 2009.
  5. ^ H. Chen, T. Finin y A. Joshi (2003). Una ontología para entornos informáticos omnipresentes que tengan en cuenta el contexto, The Knowledge Engineering Review 18:3, Cambridge University Press.
  6. ^ Y. Zou, T. Finin, H. Chen (2005). F-OWL: un motor de inferencia para la Web semántica, Enfoques formales para sistemas basados ​​en agentes, Notas de clase en Ciencias de la Computación v. 3228, Springer Verlag.
  7. ^ AD Lattner, JD Gehrke, IJ Timm, O. Herzog (2005) Un enfoque basado en el conocimiento para la toma de decisiones sobre el comportamiento en vehículos inteligentes, Simposio de Vehículos Inteligentes, IEEE, págs. 466-471.
  8. ^ M. Malekovic y M. Schatten (2008) Liderazgo en la gestión del conocimiento basada en equipos: la perspectiva de un sistema de información autopoiético, Conferencia Centroeuropea sobre Información y Sistemas Inteligentes (CECIIS-2008), Universidad de Zagreb.
  9. ^ 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 de Computación Universitaria, Universidad de Zagreb, 2011. 167-172 ( ISBN  978-953-7138-20-2 ).
  10. ^ 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
  11. ^ G. Yang y M. Kifer (2000), Flora: Implementación de un sistema DOOD eficiente utilizando un motor de lógica de tablas. Conferencia internacional sobre lógica computacional, julio de 2000.
  12. ^ G. Yang, Michael Kifer y C. Zhao (2003), FLORA-2: Una infraestructura de inferencia y representación de conocimiento basada en reglas para la Web semántica. Segunda Conferencia Internacional sobre Ontologías, Bases de Datos y Aplicaciones de Semántica (ODBASE), Catania, Sicilia, Italia, noviembre de 2003.
  13. ^ M. Kifer (2005), Razonamiento no monótono en Flora-2. Conferencia internacional sobre programación lógica y razonamiento no monótono. Apuntes de clase en informática, volumen 3662, 2005, págs. 1-12.
  14. ^ G. Yang y M. Kifer (2003), Razonamiento sobre recursos anónimos y metadeclaraciones en la Web semántica. Revista sobre semántica de datos. Lecture Notes in Computer Science vol. 2800, Springer, 2003.
  15. ^ M. Kifer, G. Yang, H. Wan, C. Zhao (2013), Manual del usuario de Flora-2
  16. ^ M. Schatten, M. Cubrilo, J.Seva (2008) Un sistema Wiki semántico basado en F-Logic, Conferencia Centroeuropea sobre Información y Sistemas Inteligentes (CECIIS-2008), Universidad de Zagreb.
  17. ^ M. Schatten, M. Cubrilo, J.Seva (2009) Consultas dinámicas en sistemas Wiki semánticos, Conferencia Centroeuropea sobre Información y Sistemas Inteligentes (CECIIS-2009), Universidad de Zagreb.
  18. ^ M. Schatten, V. Kakulapati, M. Cubrilo (2010) Razonamiento sobre aplicaciones de la web semántica social utilizando similitud de cadenas y lógica de marcos, Conferencia Centroeuropea sobre Información y Sistemas Inteligentes (CECIIS-2010), Universidad de Zagreb.
  19. ^ M. Schatten (2007) Reasonable Python o cómo integrar F-Logic en un lenguaje de script orientado a objetos, Intelligent Engineering Systems (INES-2007), IEEE, págs. 297-300.

Enlaces externos