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, Issue 4,Pages <nobr>34

This article is cited in 8 papers

Acquisition of knowledge and automation of reasonings

Deductive and revised reasoning on the the basis of uniform algebraic approach

B. A. Kulik^a, A. A. Zuenko^b, A. J. Fridman^b

^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.