RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 16:15, Moscow, Steklov Mathematical Institute
 


Graded Dependent Modal Logics

Evgeny Zolin

Moscow Lomonosov State University
Video records:
Flash Video 250.4 Mb
Flash Video 1,523.9 Mb
MP4 250.4 Mb

Number of views:
This page:412
Video files:58

Evgeny Zolin
Photo Gallery


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: This research is motivated by applications of modal logics to knowledge representation, in particular, by the research in description logics (DLs). In order to formulate the results, we need to specify three things. First, the language we consider is the extension of the multimodal language by the so called graded modalities, which mean that a formula holds in at least (or at most) n successors of a given world. Secondly, the classes of Kripke frames we are interested in are determined by two kinds of constraints: (1) some accessibility relation is transitive; (2) some accessibility relation is contained in some other one. A finite collection of such constraints is called an RBox (a term used in the DL research community). Thirdly, the reasoning problem. Typically, the main problem investigated in modal logic is that of validity, or dually, local satisfiability of formulas: whether a given formula holds in some world of some Kripke model (from a given class). On the contrary, in DLs a crucial role is played by the problem of global satisfiability: whether a given formula holds in all worlds of some Kripke model (from a given class). We present results on (un)decidability of the global satisfiability problem of graded modal formulas in the classes of frames determined by various RBoxes. In our setting, the decidability of the problem depends only on the choice of an RBox. We also discuss some related decidability and complexity results in modal logic, show their relationship to the research in DL and, finally, list some open problems.
(Joint work with Yevgeny Kazakov, Oxford University.)

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017