Skip to main content
SpringerLink
Log in

Step Theories of Active Logic and Extended Logical Programs

  • Conference paper
  • First Online:
Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) (IITI 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 679))

Abstract

In the paper, two formalisms are compared: the step theory of Active Logic with the formalism of extended logical programs, taking into account the different specifics of their application. Particular attention is paid to the relationship between the formalism of extended logical programs and the formalism introduced by the authors of the step theory of Active Logic with two kinds of negation.

This work was supported by the RFBR.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Gelfond, M., Lifsitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3,4), 365–385 (1991)

    Article  MATH  Google Scholar 

  2. 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 Publ., Moscow (2004). (in Russian)

    Google Scholar 

  3. 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 Publ., Moscow (2015). (in Russian)

    Google Scholar 

  4. Dung, P.M.: Negation as hypothesis: on abduction foundation for logic programming. In: Proceedings of the 8th International on Logic Programming. MIT Press, Paris (1991)

    Google Scholar 

  5. 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 Publ., Moscow (2000). (in Russian)

    Google Scholar 

  6. 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”], Obninsk, 2006, vol. 1, pp. 64–72 (2006). (in Russian)

    Google Scholar 

  7. Fominykh, I., Vinkov, M.: Paraconsistency of argumentation semantics for stepping theories of active logic. In: Abraham, A., Kovalev, S., Tarassov, V., Snazel, V. (eds.) Proceedings of the First International Scientific Conference, Intelligent Information Technologies for Industry, (IITI 2016), Sochi, 16–21 May 2016. Advances in Intelligent Systems and Computing, vol. 450 (2016). Springer, Cham (2016). (vol. 1, pp. 191–206)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow Power Engineering Institute, Moscow, Russia

    Igor Fominykh

  2. Bauman Moscow State Technical University, Moscow, Russia

    Michael Vinkov

Authors
  1. Igor Fominykh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Vinkov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Igor Fominykh .

Editor information

Editors and Affiliations

  1. Scientific Network for Innovation and Research Excellence, Machine Intelligence Research Labs (MIR labs), Auburn, Washington, USA

    Ajith Abraham

  2. Rostov State Transport University , Rostov-on-Don, Russia

    Sergey Kovalev

  3. Bauman Moscow State Technical University , Moscow, Russia

    Valery Tarassov

  4. VSB-Technical University of Ostrava , Ostrava, Czech Republic

    Vaclav Snasel

  5. Department Electrical Power Engineering, Technical University of Varna, Varna, Bulgaria

    Margreta Vasileva

  6. Rostov State Transport University , Rostov-on-Don, Russia

    Andrey Sukhanov

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Fominykh, I., Vinkov, M. (2018). Step Theories of Active Logic and Extended Logical Programs. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Vasileva, M., Sukhanov, A. (eds) Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17). IITI 2017. Advances in Intelligent Systems and Computing, vol 679. Springer, Cham. https://doi.org/10.1007/978-3-319-68321-8_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-68321-8_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-68320-1

  • Online ISBN: 978-3-319-68321-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation