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