Logic of discovery and knowledge: Decision algorithm

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: International Conference on Knowledge-Based Intelligent Information and Engineering Systems; Zagreb, CROATIA; Zagreb, CROATIA

Год издания: 2008

Ключевые слова: chance discovery, modal logic, decidability, Kripke-Hintikka models, inference rules, rules in normal reduced form

Аннотация: The logic of Chance Discovery (CD) as well as mathematical models for CD, by the very nature of the term chance, are hard to formalize, which poses challenging problems for mathematization of the area. It does not completely prevent us though from studying the logical laws which chance discovery and related notions should abide, especially in a carefully chosen and reasonably expressive mathematical formalism. The framework, the authors suggest(1) in this paper, is based on a well-developed area of modal logic, more precisely on Kripke-Hintikka semantics, with a notable distinction: unlike sonic other hybridization schemes, it, leads to decidable logics, while still preserving high expressive power. We demonstrate our approach by an example of the Logic of Discovery and Knowledge, where a, regular modal language is augmented with higher level operators intended to model some contrasting aspects of Chance Discovery: uncertain necessity of discovery and local common knowledge within contexts admitting branching time.

Ссылки на полный текст

Издание

Журнал: KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS

Выпуск журнала: Vol. 5178

Номера страниц: 711-

ISSN журнала: 03029743

Место издания: BERLIN

Издатель: SPRINGER-VERLAG BERLIN

Авторы

  • Babenyshev Sergey (Manchester Metropolitan Univ, Dept Comp & Math, John Dalton Bldg,Chester St, Manchester M1 5GD, Lancs, England)
  • Rybakov Vladimir (Siberian Fed Univ, Math Inst, Krasnoyarsk 660041, Russia)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.