Skip to main content
SpringerLink
Log in

Argumentation semantics for Active Logic step theories with granulation of time

  • Published:
Scientific and Technical Information Processing Aims and scope

Abstract

Active Logic is a conceptual system with principles that are satisfied by reasoning formalisms that are contradiction-tolerant and allow for matching of the reasoning outcomes with moments of time. This paper proposes an approach to building an argumentation semantics for one of such formalisms built on the basis of the logic programming principles. Meanwhile, the concept of granulation of time is applied, with the latter being construed as an external entity that is not dependent on the internal structure of the logic program. The specifics of Active Logic with time granulation demanded a considerable modification of the proposed system of argumentation in comparison to other systems of the type that are available.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Dung, P.M., Negation as hypothesis: Fn abduction foundation for logic programming, Proceedings of the 8th International on Logic Programming, Paris, 1991.

    Google Scholar 

  2. Vagin, V.N. and Zagoryanskaya, A.A., Reasoning in plausible inference, Trudy konferentsii KII’2000 (Proc. Conf. KII-2000), Moscow, 2000, vol. 1.

    Google Scholar 

  3. Vin’kov, M.M., Active logic in terms of well-founded semantics of logic programs with priorities, Trudy konferentsii KII’2004 (Proc. Conf. KII-2004), Moscow, 2004, vol. 1.

    Google Scholar 

  4. Vin’kov, M.M., Argumentation semantics for step-wise theories of active logic, Sb. nauchnykh trudov X natsional’noi konferentsii s mezhdunarodnym uchastiem “KII 2006” (Proc. X Natl. Conf. with Int. Participation KII-2006), Obninsk, 2006, vol. 1, pp. 64–72.

    Google Scholar 

  5. Elgot-Drapkin, J. and Perlis, D., Reasoning situated in time. I: Basic concepts, J. Exp. Theor. Artif. Intell., 1990, vol. 2, no. 1, pp. 75–98.

    Article  Google Scholar 

  6. Hovold, J., On a semantics for active logic, MAThesis, Lund University, 2005.

    Google Scholar 

  7. Vinkov, M.M., Time as an external entity in the simulation of reasoning of a rational agent with limited resources, Trudy XI-natsional’noi konferentsii po iskusstvennomu intellektu s mezhdunarodnym uchastiem KII-2008 (Proc. XI Natl. Conf. Artif. Intell. with Int. Participation KII-2008), Moscow, 2008.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bauman Moscow State Technical University, Moscow, Russia

    M. M. Vin’kov

  2. Moscow Power Engineering Institute, Moscow, Russia

    I. B. Fominykh

Authors
  1. M. M. Vin’kov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. B. Fominykh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. M. Vin’kov.

Additional information

Original Russian Text © M.M. Vin’kov, I.B. Fominykh, 2015, published in Iskusstvennyi Intellekt i Prinyatie Reshenii, 2015, No. 3, pp. 3–9.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Vin’kov, M.M., Fominykh, I.B. Argumentation semantics for Active Logic step theories with granulation of time. Sci. Tech. Inf. Proc. 43, 346–350 (2016). https://doi.org/10.3103/S0147688216050063

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0147688216050063

Keywords

Search

Navigation