The correctness of the JSM reasonings for uniform strategies
Autor: | S. M. Gusakova |
---|---|
Rok vydání: | 2015 |
Předmět: | |
Zdroj: | Automatic Documentation and Mathematical Linguistics. 49:77-82 |
ISSN: | 1934-8371 0005-1055 |
DOI: | 10.3103/s0005105515030024 |
Popis: | A definition of the correctness of JSM reasonings for different methods and strategies is considered. It is shown that the extension lattice of methods with the relation of order by embedding sets of hypotheses induces an isomorphic lattice of uniform strategies in which the relation of order is conditioned by following the total correctness for one strategy from another. |
Databáze: | OpenAIRE |
Externí odkaz: |