Knowledge Constructions for Artificial Intelligence | SpringerLink
Skip to main content
Springer Nature Link
Log in

Knowledge Constructions for Artificial Intelligence

  • Conference paper
  • First Online:
Foundations of Intelligent Systems (ISMIS 2002)

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

Included in the following conference series:

  • 683 Accesses

Abstract

Some new types of knowledge constructions in epistemic logic are defined, and semantics given by combining game-theoretic notions with modal models. One such notion introduced is focussed knowledge, which arises from imperfect information in quantified epistemic logics. This notion is useful in knowledge representation schemes in artificial intelligence and multi-agent systems with uncertainty. In general, in all the logics considered here, the imperfect information is seen to give rise to partiality, including partial common and partial distributed knowledge. A game-theoretic method of creating non-monotonicity will then be suggested, based on the partialised notion of ‘only knowing’ and inaccessible possible worlds. The overall purpose is to show the extent in which games combine with a given variety of knowledge constructions.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

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

    MATH  Google Scholar 

  2. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    Google Scholar 

  3. Hintikka, J., Sandu, G.: Game-theoretical semantics. In: van Benthem, J., ter Meulen, A. (eds): Handbook of Logic and Language. Elsevier, Amsterdam (1997) 361–410

    Google Scholar 

  4. Humberstone, I.L.: Inaccessible worlds. Notre Dame Journal of Formal Logic 24. (1981) 346–352

    Article  MathSciNet  Google Scholar 

  5. Jaspars, J., Thijsse, E.: Fundamentals of partial modal logic. In: Doherty, P. (ed.): Partiality, Modality, and Nonmonotonicity. Stanford, CSLI (1996) 111–141

    Google Scholar 

  6. Levesque, H.J.: All I know: A study in autoepistemic logic. Artificial Intelligence 42. (1990) 263–309

    Article  MathSciNet  MATH  Google Scholar 

  7. Pietarinen, A.: Intentional identity revisited. Nordic Journal of Philosophical Logic 6. (2001) 147–188

    Article  MATH  MathSciNet  Google Scholar 

  8. Sandu, G., Pietarinen, A.: Partiality and games: Propositional logic. Logic Journal of the IGPL 9. (2001) 107–127.

    Article  MathSciNet  Google Scholar 

  9. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems 3. (2000) 9–31

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Helsinki, University of Helsinki, P.O. Box 9, FIN-00014, Finland

    Ahti Pietarinen

Authors
  1. Ahti Pietarinen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. UFR d’Informatique, Université Claude Bernard Lyon I, 8, boulevard Niels Bohr, 69622, Villeurbanne Cedex, France

    Mohand-Saïd Hacid

  2. Dept. of Computer Science College of IT, University of North Carolina, Charlotte, NC, 28223, USA

    Zbigniew W. Raś

  3. Băt. L. Equipe de Recherche en Ingénierie des Connaissances, Université Lumière Lyon 2, 5, avenue Pierre Mendes-France, 69676, Bron Cedex, France

    Djamel A. Zighed

  4. LRI, Université Paris Sud, Băt. 490, 91405, Orsay Cedex, France

    Yves Kodratoff

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pietarinen, A. (2002). Knowledge Constructions for Artificial Intelligence. In: Hacid, MS., Raś, Z.W., Zighed, D.A., Kodratoff, Y. (eds) Foundations of Intelligent Systems. ISMIS 2002. Lecture Notes in Computer Science(), vol 2366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48050-1_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-48050-1_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43785-7

  • Online ISBN: 978-3-540-48050-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics