Logic of discovery and knowledge. Decision algorithm : научное издание


Тип публикации: статья из журнала

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

Идентификатор DOI: 10.3233/IDT-2009-0052

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

Аннотация: The logic of Chance Discovery (CD) as well as mathematical models for CD, by the 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, especiaПоказать полностьюlly in a carefully chosen and reasonably expressive mathematical formalism. The framework, the authors suggest1 in this paper, is based on a well-developed area of modal logic, more precisely on Kripke-Hintikka semantics, with a notable distinction: unlike some 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. © 2009 - IOS Press and the authors.

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


Журнал: Intelligent Decision Technologies

Выпуск журнала: Т. 3, 2

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

ISSN журнала: 18724981


  • Babenyshev S. (Institute of Mathematics,Siberian Federal University)
  • Rybakov V. (Institute of Mathematics,Siberian Federal University)