Zobrazeno 1 - 10
of 46 433
pro vyhledávání: '"Inference Rules"'
Autor:
Borrego-Díaz, Joaquín1 (AUTHOR) acordon@us.es, Cordón-Franco, Andrés1 (AUTHOR), Lara-Martín, Francisco Félix1 (AUTHOR)
Publikováno v:
Axioms (2075-1680). May2024, Vol. 13 Issue 5, p306. 24p.
In a multigranular framework, the two most important binary predicates are those for subsumption and disjointness. In the first part of this work, a sound and complete inference system for assertions using these predicates is developed. It is customi
Externí odkaz:
http://arxiv.org/abs/2303.15138
Autor:
Rimatskiy, V. V.1 (AUTHOR) Gemmeny@rambler.ru
Publikováno v:
Siberian Mathematical Journal. Jan2024, Vol. 65 Issue 1, p153-166. 14p.
Publikováno v:
Axioms, Vol 13, Iss 5, p 306 (2024)
In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form
Externí odkaz:
https://doaj.org/article/4ad09020e84e457e85a1d9b360cd63de
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to the case of symmetric implication calculus $\mathsf{S^2IC}$, where we
Externí odkaz:
http://arxiv.org/abs/2201.06076
Publikováno v:
Jisuanji kexue yu tansuo, Vol 16, Iss 10, Pp 2357-2364 (2022)
Formal concept analysis is a data analysis method based on concept lattice, while decision implication and variable decision implication are two decision knowledge representations of formal concept analysis. Both decision implication and variable dec
Externí odkaz:
https://doaj.org/article/0534c4c662ae42ab941fd7202d5915dd
Autor:
Sergey V. Zykin
Publikováno v:
Моделирование и анализ информационных систем, Vol 29, Iss 3, Pp 210-227 (2022)
The process of testing dependencies and inference rules can be used in two ways. First, testing allows verification hypotheses about unknown inference rules. The main goal, in this case, is to search for the relation - a counterexample that illustrat
Externí odkaz:
https://doaj.org/article/1db72a93127c41e880d7cb7bed78e49b