Algorithmization of procedures of the JSM method for automatic hypothesis generation

Authors:
A. Yu. Volkova
Affiliations:
Russian State University for the Humanities, Moscow, Russia 125993
Venue:
Automatic Documentation and Mathematical Linguistics
Year:
2011

Citing 0
Cited 3

Formal methods of situational analysis: Experience from their use

Automatic Documentation and Mathematical Linguistics
The JSM method: A set-theoretical explanation

Automatic Documentation and Mathematical Linguistics
Specification of the JSM intelligent system

Automatic Documentation and Mathematical Linguistics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Different methods of JSM reasoning are considered: the simple agreement method, prohibition of (卤) counterexamples, unique (+) cause, difference method, joint agreement and difference method, and method of residues. Formal descriptions of these methods and algorithmic interpretations are presented.