RUS  ENG
Full version
JOURNALS // Artificial Intelligence and Decision Making // Archive
Artificial Intelligence and Decision Making, 2014 Issue 4, Pages 25–30 (Mi iipr373)
Knowledge engineering

Agreement and difference method by J.S. Mill in category theory language

A. V. Zhozhikashvili

Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow

Abstract: The paper describes usage of the category theory pattern matching language for formalization of the method of agreement and the method of difference underlying for automatic hypothesis generation.

Keywords: intelligent knowledge-based systems, category theory, JSM-method.


 English version: , 2015, 42:6, 397–401

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025