Skip to main content
SpringerLink
Log in

Indeterministic Belief Structures

  • Conference paper
Agent and Multi-Agent Systems: Technologies and Applications

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

Abstract

The current paper falls into a bigger research programme concerning construction of modern belief structures applicable in multiagent systems. In previous papers we approached individual and group beliefs via querying paraconsistent belief bases. This framework, covering deterministic belief structures, turned out to be tractable under some natural restrictions on implementation. Moreover, we have indicated a four-valued query language 4QL as an implementation tool guaranteeing tractability and capturing all PTime -constructible belief structures.

In this paper we generalize our approach to the nondeterministic case. This is achieved by adjusting the key abstractions of epistemic profiles and belief structures to this new situation. Importantly, tractability of the approach is still maintained.

Supported by the Polish National Science Centre grants 2011/01/B/ST6/02769 and 2012/05/B/ST6/03094

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barbucha, D., Le, M., Howlett, R., Jain, L. (eds.): Proc. 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications. Frontiers in Artificial Intelligence and Applications, vol. 252. IOS Press (2013)

    Google Scholar 

  2. de Amo, S., Pais, M.: A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning 46, 366–386 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  3. Dunin-Keplicz, B., Radzikowska, A.M.: Nondeterministic actions with typical effects: Reasoning about scenarios. In: Meyer, J.-J.C., Schobbens, P.-Y. (eds.) ModelAge-WS 1997. LNCS (LNAI), vol. 1760, pp. 143–156. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Dunin-Kęplicz, B., Strachocka, A.: Perceiving rules under incomplete and inconsistent information. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol. 8143, pp. 256–272. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  5. Dunin-Kęplicz, B., Strachocka, A., Szałas, A., Verbrugge, R.: Perceiving speech acts under incomplete and inconsistent information. In: Barbucha, et al. (eds.) [1], pp. 255–264

    Google Scholar 

  6. Dunin-Kęplicz, B., Szałas, A.: Epistemic profiles and belief structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol. 7327, pp. 360–369. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  7. Dunin-Kęplicz, B., Szałas, A.: Taming complex beliefs. In: Nguyen, N.T. (ed.) Transactions on Computational Collective Intelligence XI. LNCS, vol. 8065, pp. 1–21. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  8. Dunin-Kęplicz, B., Verbrugge, R.: Teamwork in Multi-Agent Systems. A Formal Approach. John Wiley & Sons, Ltd. (2010)

    Google Scholar 

  9. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press (2003)

    Google Scholar 

  10. Małuszyński, J., Szałas, A.: Living with inconsistency and taming nonmonotonicity. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 384–398. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  11. Małuszyński, J., Szałas, A.: Logical foundations and complexity of 4QL, a query language with unrestricted negation. Journal of Applied Non-Classical Logics 21(2), 211–232 (2011)

    Article  MathSciNet  Google Scholar 

  12. Małuszyński, J., Szałas, A.: Partiality and inconsistency in agents’ belief bases. In: Barbucha, et al. (eds.) [1], pp. 3–17

    Google Scholar 

  13. Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for Computer Science and Artificial Intelligence. Cambridge University Press (1995)

    Google Scholar 

  14. Mueller, E.: Commonsense Reasoning. Morgan Kaufmann (2006)

    Google Scholar 

  15. Szałas, A.: How an agent might think. Logic Journal of the IGPL 21(3), 515–535 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  16. Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics (Intelligent Robotics and Autonomous Agents). The MIT Press (2005)

    Google Scholar 

  17. Tseng, C., Lin, C., Shih, B., Chen, C.: Sip-enabled surveillance patrol robot. Robotics and Computer-Integrated Manufacturing 29(2), 394–399 (2013)

    Article  Google Scholar 

  18. Vitória, A., Małuszyński, J., Szałas, A.: Modeling and reasoning with paraconsistent rough sets. Fundamenta Informaticae 97(4), 405–438 (2009)

    MATH  MathSciNet  Google Scholar 

  19. Zadeh, L.: Fuzzy sets. Information and Control 8, 333–353 (1965)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, Warsaw, Poland

    Barbara Dunin-Kęplicz & Andrzej Szałas

  2. Department of Computer and Information Science, Linköping University, Linköping, Sweden

    Andrzej Szałas

Authors
  1. Barbara Dunin-Kęplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej Szałas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Barbara Dunin-Kęplicz .

Editor information

Editors and Affiliations

  1. Faculty of Electrical Eng. and Comp. Department of Telecommunications, University of Zagreb, Zagreb, Croatia

    Gordan Jezic

  2. Faculty of Electrical Eng.and Com. Department of Telecommunications, University of Zagreb, Zagreb, Croatia

    Mario Kusek

  3. Faculty of Electrical Eng. and Comp. Department of Telecommunications, University of Zagreb, Zagreb, Croatia

    Ignac Lovrek

  4. KES International, City, United Kingdom

    Robert J. Howlett

  5. Faculty of Education, Science, Technology and Mathematics, University of Canberra, Adelaide, South Australia, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Dunin-Kęplicz, B., Szałas, A. (2014). Indeterministic Belief Structures. In: Jezic, G., Kusek, M., Lovrek, I., J. Howlett, R., Jain, L. (eds) Agent and Multi-Agent Systems: Technologies and Applications. Advances in Intelligent Systems and Computing, vol 296. Springer, Cham. https://doi.org/10.1007/978-3-319-07650-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-07650-8_7

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation