Дескрипционные логики как фундамент для разрешения ряда алгоритмических вопросов

Ю. В. Нечитайлов

Аннотация


Проанализированы отличие и основные свойства баз даных и баз зна- ний как основных площадок для применения средств логического программирования. Приведено описание семейства дискрипционных логик, даны основные определения. Описана проблема баланса выразительной силы языка и вычислительной эффективности, приведены инструменты управления этими параметрами и описаны их сильные и слабые стороны. Предложены перечень и описание нестандартных алгоритмических проблем в системам логического программирования для их использования в качестве содержательной основы при формализации вопроса в рамках одной из логических систем.

Полный текст:

PDF

Литература


Alchourrón C., Gärdenfors P., Makinson D. On the Logic

of Theory Change: Partial Meet Contraction and Revision Functions // Journal of Symbolic Logic, Vol. 50, Issue 2. 1985. Pp. 510–530.

Apt K., Wallace M. Constraint Logic Programming using ECLiPSe. Cambridge University Press, UK. 2007. 349 p.

Baader F., Küsters R., and Wolter F. Extensions to Description

Logics // Description Logic Handbook. Theory, implementation, and applications. Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P. (eds), Cambridge University Press, UK. 2010. Pp. 237–282.

Brachman R., McGuiness D., Patel-Schneider P., Resnick L.,

Borgida A. Living with classic: when and how to use a kl-one-like language // Principles of Semantic Networks: Explorations in the Representation ofKnowledge. Sowa J. (ed.), MorganKaufmann, San Mateo. 1991. Pp. 401–456.

De Giacomo G., Lenzerini M. Boosting the correspondence

between Description Logics and propositional dynamic logics // Proceedings of the 12th National Conference on Artificial Intelligence (AAAI’94), AAAI Press/The MIT Press. 1994. Pp. 205–212.

Lutz C., Sattler U., Wolter F. Modal Logic and the Two-Variable

Fragment // Computer Science Logic. CSL 2001. Fribourg L. (eds), Lecture Notes in Computer Science, vol. 2142. Springer, Berlin, Heidelberg. 2001. Pp. 247–261.

Rademaker A. A Proof Theory for Description Logics. Springer. 2012. 109 p.

Schild K. A correspondence theory for terminological logics: Preliminary report // Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI’1991), Morgan Kaufmann Publishers, Sydney, Australia. 1991. Pp. 466–471.

Schild K. Terminological cycles and the propositional -calculus // Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR’94). Doyle J., Sandewall E., and Torasso P. (eds), Bonn (Germany). 1994. Pp. 509–520.

van Benthem J. Correspondence theory // Handbook of Philosophical Logic. Gabbay D., Guenthner F. (eds), vol. II. 1984. Pp. 167–247.

van Benthem J. Modal Logic for Open Minds. Center for the Study

of Language and Information. Рукопись. 2 февраля 2010. 390 с.

van Benthem J., Smets S. Dynamic Logics of Belief Change //

Handbook of Epistemic Logic, van Ditmarsch H., Halpern J., van der Hoek W., Kooi B. (eds), College Publications, 2015. Pp. 313–393.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2018 Ю. В. Нечитайлов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.