Skip to main content
SpringerLink
Log in

Dynamic Epistemic Preferential Logic of Action

  • Conference paper
  • First Online:
Artificial Intelligence and Soft Computing (ICAISC 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10246))

Included in the following conference series:

Abstract

H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi proposed in 2003 some complete formalism for representation of actions for Multi-Agent Systems. This paper is aimed at proposing a new preferential extension of this formalism in terms of dynamic-epistemic logic supported by a unique multi-valued logic. This new system is interpreted in the interval fibred semantics on a base of earlier ideas of D. Gabbay.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Notes

  1. 1.

    Set of agents associated with actions is defined as follows \(set(\phi ) =\emptyset , set(R_{B}) = B\) and for above admitted combinations of actions \(\alpha \) and \(\alpha ^{'}\) by \(set(a) \cap set(a^{'})\).

  2. 2.

    (F joins these two intervals such that the last preferential interval is connected with the first temporal one).

References

  1. Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. In: TARK 2013, pp. 19–28 (2013)

    Google Scholar 

  2. Baader, F., Horrock, J., Sattler, U.: Description logics. In: Handbook of Knowledge Representation. Elsevier (2007)

    Google Scholar 

  3. Ditmarsch, H.P., wan der Hoek, D., Kooi, B.P.: Concurrent dynamic epistemic logic for MAS. In: AAMAS, pp. 289–304 (2003)

    Google Scholar 

  4. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  5. Fikes, P., Nilsson, N.: Strips: a new appraoch to the application of theorem proving to problem solving. Artif. Intell. 2(3–4), 189–208 (1971)

    Article  MATH  Google Scholar 

  6. Gabbay, D., Shehtman, V.: Product of modal logic, part 1. Logic J. IGPL 6(1), 73–146 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  7. Godo, L., Esteva, H., Rodriquez, R.: A modal account of similarity-based reasoning. Int. J. Approxim. Reason. 4 (1997)

    Google Scholar 

  8. Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  9. Hajek, P., Hramancova, D.: A qualitative fuzzy possibilistic logic. Int. J. Approxim. Reason. 12, 1–19 (1995)

    Article  MathSciNet  Google Scholar 

  10. Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38, 935–962 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  11. Jobczyk, K., Ligeza, A.: Fuzzy-temporal approach to the handling of temporal interval relations and preferences. In: Proceeding of INISTA, pp. 1–8 (2015)

    Google Scholar 

  12. Jobczyk, K., Ligeza, A.: Multi-valued halpern-shoham logic for temporal allen’s relations and preferences. In: Proceedings of the Annual International Conference of Fuzzy Systems (FuzzIEEE) (2016). Page to appear

    Google Scholar 

  13. Jobczyk, K., Ligeza, A.: Systems of temporal logic for a use of engineering. Toward a more practical approach. In: Stýskala, V., Kolosov, D., Snášel, V., Karakeyev, T., Abraham, A. (eds.) Intelligent Systems for Computer Modelling. AISC, vol. 423, pp. 147–157. Springer, Cham (2016). doi:10.1007/978-3-319-27644-1_14

    Chapter  Google Scholar 

  14. Jobczyk, K., Ligeza, A., Kluza, K.: Selected temporal logic systems: an attempt at engineering evaluation. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2016. LNCS (LNAI), vol. 9692, pp. 219–229. Springer, Cham (2016). doi:10.1007/978-3-319-39378-0_20

    Google Scholar 

  15. Jobczyk, K., Ligęza, A., Bouzid, M., Karczmarczuk, J.: Comparative approach to the multi-valued logic construction for preferences. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS (LNAI), vol. 9119, pp. 172–183. Springer, Cham (2015). doi:10.1007/978-3-319-19324-3_16

    Chapter  Google Scholar 

  16. Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16, 872–923 (1991)

    Article  Google Scholar 

  17. Lomuscio, A., Michaliszyn, J.: An epistemic halpern-shoham logic. In: Proceedings of IJCAI 2013, pp. 1010–1016 (2013)

    Google Scholar 

  18. Nilsson, N.J.: Principles of Artificial Intelligence. Tioga Publishing, Palo Alto (1980)

    MATH  Google Scholar 

  19. Traverso, P., Ghallab, M., Nau, D.: Automated Planning: Theory and Practice. Elsevier, Amsterdam (1997, 2004)

    Google Scholar 

  20. van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Logics 17(2), 119–155 (2007)

    MathSciNet  MATH  Google Scholar 

  21. van Benthem, J., Gheerbrant, A.: Game: Solution, epistemic dynamics, and fixed-point logics. Fundamenta Informaticae 100, 19–41 (2010)

    MathSciNet  MATH  Google Scholar 

  22. von Wright, J.: The Logic of Preference. Edinburgh University Press, Edinburgh (1963)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Basse-Normandie of Caen, Caen, France

    Krystian Jobczyk

  2. AGH University of Science and Technology of Kraków, Kraków, Poland

    Krystian Jobczyk & Antoni Ligeza

Authors
  1. Krystian Jobczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoni Ligeza
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Krystian Jobczyk .

Editor information

Editors and Affiliations

  1. Częstochowa University of Technology, Częstochowa, Poland

    Leszek Rutkowski

  2. Częstochowa University of Technology, Częstochowa, Poland

    Marcin Korytkowski

  3. Częstochowa University of Technology, Częstochowa, Poland

    Rafał Scherer

  4. AGH University of Science and Technology, Kraków, Poland

    Ryszard Tadeusiewicz

  5. University of California, Berkeley, California, USA

    Lotfi A. Zadeh

  6. University of Louisville, Louisville, Kentucky, USA

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Jobczyk, K., Ligeza, A. (2017). Dynamic Epistemic Preferential Logic of Action. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2017. Lecture Notes in Computer Science(), vol 10246. Springer, Cham. https://doi.org/10.1007/978-3-319-59060-8_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59060-8_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59059-2

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation