Abstract
Active logic is a conceptual system, the principles of which are satisfied by the formalism of reasoning, enabling them to correlate the results with the timing and which are tolerant to inconsistencies. However, tolerance to the contrary not yet received a theoretical substantiation in the form Paraconsistent semantics. The work proposes a variant of argumentation semantics for formalism of stepping theories built on the principles of Active Logic and logic programming. It is shown that the proposed argumentation semantics are Paraconsistent in the meaning of existence of contradictions in the stepping theories does not lead to their destruction, as is the case in standard logic systems.
This work was supported by the RFBR.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Elgot-Drapkin, J., Perlis, D.: Reasoning situated in time I: basic concepts. J. Exp. Theor. Artif. Intell. 2(1), 75–98 (1990)
Hovold, J.: On a semantics for active logic, MA Thesis, Department of Computer Science, Lund University (2011)
Vinkov, M.M.: Active logic in the context of well-founded semantics of logical programs with priorities. In: Sb. nauch. tr. IX nats. konf. s mezhdunar. uchastiem “KII—2004” [Proceedings of the 9th National Conference with International Participation “KII—2004”], vol. 1, pp. 86–94. Fizmatlit Publisher, Moscow (2004) (in Russian)
Vinkov, M.M.: Argumentation semantics for active logic step theories. In: Sb. nauch. tr. X nats. konf. s mezhdunar. uchastiem “KII—2006” [Proceedings of the 10th National Conference with International Participation “KII—2006”], vol. 1, pp. 64–72. Obninsk (2006) (in Russian)
Vinkov, M.M., Fominykh, I.B.: Argumentation semantics for active logic step theories with granulation time. In: Iskusstvenny intellekt i prinyatie resheniy [Artificial intelligence and decision-making], no. 3, pp. 3–9. URSS Publishers, Moscow (2015) (in Russian)
Dung, P.M.: Negation as hypothesis: an abduction foundation for logic programming. In: Proceedings of the 8th International on Logic Programming. MIT Press, Paris (1991)
Vagin, V.N., Zagoryanskaya, A.A.: Argumentatsiya v pravdopodobnom vyvode. In: Sb. nauch. tr. VII nats. konf. s mezhdunar. uchastiem “KII—2000” [Proceedings of the 9th National Conference with International Participation “KII—2000”], vol. 1, pp. 28–34. Fizmatlit Publisher, Moscow (2000) (in Russian)
Jaskowski, S.: Prepositional calculus for contradictory deductive systems. Stud. Logica 24 (1969)
da Costa N.C.A.: On the theory of inconsistent formal system. Notre Dame J. Formal Logic 15 (1974)
Gelfond, M., Lifsitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3,4), 365–385 (1991)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Fominykh, I., Vinkov, M. (2016). Paraconsistency of Argumentation Semantics for Stepping Theories of Active Logic. In: Abraham, A., Kovalev, S., Tarassov, V., Snášel, V. (eds) Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16). Advances in Intelligent Systems and Computing, vol 450. Springer, Cham. https://doi.org/10.1007/978-3-319-33609-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-33609-1_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33608-4
Online ISBN: 978-3-319-33609-1
eBook Packages: EngineeringEngineering (R0)