Список выпусков > Серия «Математика». 2007. Том 1
Логическое программирование в областях знаний
В работе предлагается подход, интегрирующий парадигмы логического программирования и представления знаний. Этот подход базируется на концепции дескриптивных термов. Логическое программирование и представление знаний объединены таким образом, что лежащие в их основе логики аккуратно разделены. Ключевая идея здесь — сдвинуть формализм представления знаний на функциональный уровень. На уровне логического программирования база знаний рассматривается как совокупность ограничений, в котором специальные работают методы распространения ограничений. Создано исчисление NCC, работающее с дескриптивными термами, которое является базовой системой вывода для распространения ограничений. На основе данного формализма формируется язык логического программирования в ограничениях, интегрирующий подходы логического программирования и систем обработки знаний.
1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, 2003.
2. T. Berners-Lee, J. Hendler, O. Lassila. The Semantic Web. Scientific American, May, 2001.
3. Boley, H., Tabet, S., Wagner, G. Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In Proc. Semantic Web Working Symposium (SWWS’01), 381–401. Stanford University, July/August 2001.
4. S.S. Goncharov, Yu.L.Ershov, D.I.Sviridenko. Semantic programming, Information processing, Proc. IFIP 10-th World Comput. Congress, Dublin, v.10, 1986, 1093-1100.
5. Grosof, B.N., Horrocks, I., Volz, R. Description Logic Programs: Combining Logic Programs with Description Logic. Proc. of the Twelfth International World Wide Web, May 2003, ACM, 48–57.
6. V. Haarslev and R. Moeller. RACER System Description. In Proc. of IJCAR’2001, Lecture Notes in AI, 2083, 701–705, Springer, 2001.
7. I. Horrocks. Using an expressive description logic: FaCT or fiction? In A. G. Cohn, L. Schubert, and S. C. Shapiro, eds, Proceedings of KR’98, 636–647. Morgan Kaufmann Publishers, 1998.
8. I. Horrocks, B. Parsia, P. Patel-Schneider, and J. Hendler. Semantic web architecture: Stack or two towers? Principles and Practice of Semantic Web Reasoning (PPSWR 2005), Lecture Notes in Computer Science, 3703, 37-41, Springer, 2005.
9. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, eds., Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR’99), 1705, Lecture Notes in Artificial Intelligence, 161–180. Springer-Verlag, 1999.
10. M. Kifer, J. de Bruijn, H. Boley, D. Fensel. A Realistic Architecture for the Semantic Web. Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Lecture Notes in Computer Science, 3791, 17–29, Springer, 2005.
11. A.V. Mantsivoda. Semantic programming for semantic web. Invited Talk. Proc. 9th Asian Logic Conference, August 2005, 17-21.
12. A Riazanov and A. Voronkov. The Design and Implementation of Vampire. AI Communications, 15(2-3):91–110, 2002.
13. A. Robinson and A. Voronkov, editors. Handbook of Automated Reasoning. Elsevier, 2001.
14. D. Tsarkov, A. Riazanov, S. Bechhofer, and I. Horrocks. Using Vampire to reason with OWL. In S. A. McIlraith, D. Plexousakis, and F. van Harmelen, editors, Proc. of the 2004 International Semantic Web Conference (ISWC 2004), 3298, Lecture Notes in Computer Science, 471–485. Springer, 2004.