Hispanopedia Wiki
Articulo de referencia

Flora-2

Flora-2 es un sistema de código abierto basado en reglas semánticas para la representación del conocimiento y el razonamiento . El lenguaje del sistema se deriva de F-logic , [ ...

Hispanopedia WikiContenido en espanolLectura gratuita

Flora-2 es un sistema de código abierto basado en reglas semánticas para la representación del conocimiento y el razonamiento . El lenguaje del sistema se deriva de F-logic , [ 1 ] HiLog , [ 2 ] y lógica transaccional . [ 3 ] Al basarse en F-logic y HiLog, la sintaxis orientada a objetos y la representación de orden superior son las características principales del sistema. Flora-2 también admite una forma de razonamiento derrotable llamada Programación Lógica con 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, incluidas Linux y otras variantes 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 fue iniciado alrededor del año 2000 por Guizhen Yang y Michael Kifer. Posteriormente, Michael Kifer lo lideró y contó con la colaboración de muchos otros.

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 añade F-Logic a Python. [ 19 ]
  • El proyecto FRDCSA está desarrollando una extensión de la interfaz Perl XSB para permitir el acceso a Flora-2 y HiLog desde Perl y el sistema FreeKBS3.

Referencias

  1. ^ M. Kifer, G. Lausen, J. Wu (1995). Fundamentos de los 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 transaccional , 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 de computación ubicua conscientes del 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, Lecture Notes in Computer Science 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 de comportamiento en vehículos inteligentes , Simposio sobre 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: una perspectiva de los sistemas de información autopoiéticos , 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ías de la Información / Lužar-Stiffler, Vesna; Jarec, Iva; Bekić, Zoran (eds.). - 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 computacional y matemática (1381-298X) 19, 4; 538-568
  11. ^ G. Yang y M. Kifer (2000), Flora: Implementación de un sistema DOOD eficiente mediante un motor de lógica tabular . Conferencia Internacional sobre Lógica Computacional, julio de 2000.
  12. ^ 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.
  13. ^ M. Kifer (2005), Razonamiento no monótono en Flora-2 . Conferencia Internacional sobre Programación Lógica y Razonamiento No Monótono. Lecture Notes in Computer Science Volumen 3662, 2005, pp 1-12.
  14. ^ G. Yang y M. Kifer (2003), Razonamiento sobre recursos anónimos y metadeclaraciones en la web semántica . Journal on Data Semantics. 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 scripting orientado a objetos , Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.
  • Sitio web de Flora-2 .
Obtenido de " https://en.wikipedia.org/w/index.php?title=Flora-2&oldid=1351015329 "