Flora-2 - Flora-2

Flora-2 bu ochiq manba uchun semantik qoidalarga asoslangan tizim bilimlarni aks ettirish va mulohaza yuritish.Tizim tili olingan F-mantiq,[1] Salom,[2] va Tranzaksiya mantig'i.[3] F-mantiq va HiLog-ga asoslanganlik ob'ektga yo'naltirilgan sintaksis va yuqori darajadagi vakolat tizimning asosiy xususiyatlari ekanligini anglatadi. Flora-2, shuningdek, mag'lubiyatga asoslangan fikrlash shaklini qo'llab-quvvatlaydi Standart va argumentatsion nazariyalar bilan mantiqiy dasturlash (LPDA).[4] Ilovalarga aqlli agentlar, Semantik veb, bilimlar bazalari tarmog'i, ontologiya boshqarish, axborotni birlashtirish, xavfsizlik siyosatini tahlil qilish, ma'lumotlar bazasini avtomatlashtirilgan normallashtirish va boshqalar.[5][6][7][8][9][10]

Flora-2 ga tayanadi XSB tizimi uning dvigateli uchun. Flora-2 dizayni va arxitekturasi bir qator asarlarda tasvirlangan.[11][12][13][14]

Tizim tafsilotlari va undan foydalanish Flora-2 foydalanuvchi qo'llanmasida keltirilgan.[15] Flora-2 barcha asosiy hisoblash platformalarida, shu jumladan mavjud Linux va boshqa lazzatlari Unix, Microsoft Windows (ikkalasi ham 32 va 64 bit) va Mac OS X.

Tarix

Flora-2 - Flora tizimining davomchisi (1998-1999) va original Flora tizimini ishlab chiqish va undan foydalanish bo'yicha to'plangan tajribani o'zida mujassam etgan. Flora-2 loyihasi 2000 yilda Guyzhen Yang va Maykl Kifer tomonidan boshlangan. Keyingi yillarda uni Maykl Kifer boshqargan va ko'plab boshqa ishtirokchilar bo'lgan.

Flora-2 dan foydalanadigan loyihalar

  • TaOPiS o'zini o'zi tashkil etuvchi jamoalarni qo'llab-quvvatlash uchun ijtimoiy semantik veb-ilovadir.[16][17][18]
  • Baze ga o'xshash ma'lumotlar bazasini ishlab chiqish muhiti Kirish va Asosiy.
  • Muvaffaqiyatli Python Python-ga F-Logic qo'shadigan moduldir.[19]
  • The FRDCSA loyiha Perl va FreeKBS3 tizimidan Flora-2 va HiLog-ga kirishni qo'llab-quvvatlash uchun Perl XSB interfeysini kengaytirmoqda.

Adabiyotlar

  1. ^ M. Kifer, G. Lauzen, J. Vu (1995). Ob'ektga yo'naltirilgan va ramkaga asoslangan tillarning asoslari, ACM jurnali, 1995 yil may.
  2. ^ V. Chen, M. Kifer va D.S. Uorren (1993), HiLog: Yuqori darajadagi mantiqiy dasturlash uchun asos. Mantiqiy dasturlash jurnali, 1993 y.
  3. ^ A.J. Bonner va M. Kifer (1993), Tranzaksiyalarni mantiqiy dasturlash, Mantiqiy dasturlash bo'yicha xalqaro konferentsiya (ICLP), 1993 y.
  4. ^ H. Van, B. Grosof, M. Kifer, P. Fodor, S. Liang (2009), Standart va argumentatsion nazariyalar bilan mantiqiy dasturlash. Mantiqiy dasturlash bo'yicha 25-xalqaro konferentsiya (ICLP 2009), 2009 yil iyul.
  5. ^ X. Chen, T. Finin va A. Joshi (2003). Kontekstni biladigan keng tarqalgan hisoblash muhitlari uchun ontologiya, Knowledge Engineering Review 18: 3, Kembrij universiteti matbuoti.
  6. ^ Y. Zou, T. Finin, X. Chen (2005). F-OWL: Semantik veb uchun xulosa mexanizmi, Agentlarga asoslangan tizimlarga rasmiy yondashuvlar, Informatika fanidan ma'ruza matnlari v.228, Springer Verlag.
  7. ^ A. D. Lattner, J. D. Gehrke, I. J. Timm, O. Gertsog (2005) Aqlli transport vositalarida xulq-atvor qaroriga bilimga asoslangan yondashuv, Intellektual transport vositalari simpoziumi, IEEE, 466-471 betlar.
  8. ^ M. Malekovich va M. Shatten (2008) Jamoaga asoslangan bilimlarni boshqarishdagi etakchilik - avtopoetik axborot tizimining istiqboli, Axborot va intellektual tizimlar bo'yicha Markaziy Evropa konferentsiyasi (CECIIS-2008), Zagreb universiteti.
  9. ^ T. Orehovacki, M. Shatten, A. Lovrencich (2011) Funktsional mustaqil normal shaklni relyatsion ma'lumotlar bazalarida sinash uchun mantiqiy tizimni amalga oshirish, Axborot texnologiyalari interfeyslari bo'yicha 33-Xalqaro konferentsiya materiallari / Lujar-Stiffler, Vesna; Jarec, Iva; Bekich, Zoran (tahr.) - Zagreb: Universitet hisoblash markazi, Zagreb universiteti, 2011. 167-172 (ISBN  978-953-7138-20-2).
  10. ^ M. Shatten (2013) Semantik ijtimoiy tarmoqlarda bilimlarni boshqarish, Hisoblash va matematik tashkil etish nazariyasi (1381-298X) 19, 4; 538-568
  11. ^ G. Yang va M. Kifer (2000), Flora: Tabling Logic Engine yordamida samarali DOOD tizimini amalga oshirish. Intl. Hisoblash mantig'i bo'yicha konferentsiya, 2000 yil iyul.
  12. ^ G. Yang, Maykl Kifer va C. Chjao (2003), FLORA-2: Semantik veb uchun qoidalarga asoslangan bilimlarni aks ettirish va xulosa qilish infratuzilmasi. Ontologiyalar, ma'lumotlar bazalari va semantikaning qo'llanilishi bo'yicha ikkinchi xalqaro konferentsiya (ODBASE), Kataniya, Sitsiliya, Italiya, 2003 yil noyabr.
  13. ^ M. Kifer (2005), Flora-2da nonmonotonik mulohaza yuritish. Xalqaro Konf. Mantiqiy dasturlash va monotonik bo'lmagan fikrlash to'g'risida. Informatika bo'yicha ma'ruza yozuvlari, 2006 yildagi 3662-jild, 1-12-betlar.
  14. ^ G. Yang va M. Kifer (2003), Semantik Internetdagi anonim manbalar va meta bayonotlar haqida fikr yuritish. Ma'lumotlar semantikasi bo'yicha jurnal. Informatika fanidan ma'ruza matnlari vol. 2800, Springer, 2003 yil.
  15. ^ M. Kifer, G. Yang, H. Van, C. Chjao (2013),Flora-2 foydalanuvchi qo'llanmasi
  16. ^ M. Shatten, M. Kubrilo, J.Seva (2008) F-mantiqqa asoslangan semantik viki tizimi, Axborot va intellektual tizimlar bo'yicha Markaziy Evropa konferentsiyasi (CECIIS-2008), Zagreb universiteti.
  17. ^ M. Shatten, M. Kubrilo, J.Seva (2009) Semantik Wiki tizimlaridagi dinamik so'rovlar, Axborot va intellektual tizimlar bo'yicha Markaziy Evropa konferentsiyasi (CECIIS-2009), Zagreb universiteti.
  18. ^ M. Shatten, V. Kakulapati, M. Kubrilo (2010) String o'xshashligi va ramka mantig'idan foydalangan holda ijtimoiy semantik veb-ilovalar haqida fikr yuritish, Axborot va intellektual tizimlar bo'yicha Markaziy Evropa konferentsiyasi (CECIIS-2010), Zagreb universiteti.
  19. ^ M. Shatten (2007) Oqilona Python yoki F-Logicni ob'ektga yo'naltirilgan skript tiliga qanday qo'shish kerak, Intelligent Engineering Systems (INES-2007), IEEE, 297-300 betlar.

Tashqi havolalar