On the Heuristics of JSM Research (Additions to Articles)
- Авторы: Finn V.K.1
-
Учреждения:
- Federal Research Center Computer Science and Control, Russian Academy of Sciences
- Выпуск: Том 53, № 5 (2019)
- Страницы: 250-282
- Раздел: The Jsm Method of Automated Research Support and Its Application in Intelligent Systems for Medicine
- URL: https://journal-vniispk.ru/0005-1055/article/view/150332
- DOI: https://doi.org/10.3103/S0005105519050078
- ID: 150332
Цитировать
Аннотация
The logical means of detecting empirical regularities using the JSM method of automated research support are considered. Generators of hypotheses about the causes and hypotheses about predictions that are stored in sequences of expandable fact bases are determined. Many “histories of possible worlds” are considered, where “world” refers to an expandable fact base. This set is used to determine empirical regularities, that is, empirical laws, tendencies, and weak tendencies. Empirical regularities are used to determine empirical modalities of necessity (for empirical laws), possibilities (for empirical tendencies), and weak possibilities (for weak empirical tendencies). The Propositional calculi of the class ERA are proposed, that is, modal logics with two empirical modalities of necessity and possibility such that they imitate abductive inference through the axioms of abduction (◻(p → q) & Tq) → ◻p), (◇(p → q) & Tq) → ◇p), where ◻, ◇, T are operators of necessity, possibility, and truth (“it is true that…”). A series of definitions related to the characterization of data mining using heuristics of the JSM method of automated research support is given.
Об авторах
V. Finn
Federal Research Center Computer Science and Control, Russian Academy of Sciences
Автор, ответственный за переписку.
Email: ira.finn@gmail.com
Россия, Moscow, 119333
Дополнительные файлы
