|
Artificial Intelligence and Decision Making, 2013, Issue 4, Pages 34–44
(Mi iipr413)
|
|
|
|
This article is cited in 8 scientific papers (total in 8 papers)
Acquisition of knowledge and automation of reasonings
Deductive and revised reasoning on the the basis of uniform algebraic approach
B. A. Kulika, A. A. Zuenkob, A. J. Fridmanb a Institute of Problems of Mechanical Engineering, Russian Academy of Sciences, St. Petersburg
b Institute for Informatics and Mathematical Modelling at the Kola Science Centre of the Russian Academy of Sciences, Apatity, Murmanskaya obl.
Abstract:
In this paper, we apply a unified classical method to modelling and analysis of both deductive and defeasible reasoning based on our n-tuple algebra. We propose an analysis technique for defeasible reasoning where the “non-classical” constituent is moved to the semantics and the logical analysis itself does not require for breaking laws of classical logic.
Keywords:
defeasible reasoning, n-tuple algebra, collisions, hypotheses analysis.
Citation:
B. A. Kulik, A. A. Zuenko, A. J. Fridman, “Deductive and revised reasoning on the the basis of uniform algebraic approach”, Artificial Intelligence and Decision Making, 2013, no. 4, 34–44; Scientific and Technical Information Processing, 42:6 (2015), 402–410
Linking options:
https://www.mathnet.ru/eng/iipr413 https://www.mathnet.ru/eng/iipr/y2013/i4/p34
|
Statistics & downloads: |
Abstract page: | 35 | Full-text PDF : | 8 | References: | 1 |
|