• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    • Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems

    Author(s)
    Chen, Qingliang
    Su, Kaile
    Hu, Yong
    Hu, Guiwu
    Griffith University Author(s)
    Su, Kaile
    Chen, Qingliang
    Year published
    2014
    Metadata
    Show full item record
    Abstract
    Coalition Logic (CL) is one of the most influential logical formalisms for strategic abilities of multi-agent systems. However CL can not formalize the evolvement of rational mental attitudes of the agents such as knowledge. In this paper, we introduce Coalition Logic of Temporal Knowledge (CLTK), by incorporating a temporal logic of knowledge (Halpern and Vardi's logic of CKL n ) into CL to equip CL with the power to formalize how agents' knowledge (individual or group knowledge) evolves over the time by the coalitional forces and the temporal properties of strategic abilities as well. Furthermore, we provide a complete ...
    View more >
    Coalition Logic (CL) is one of the most influential logical formalisms for strategic abilities of multi-agent systems. However CL can not formalize the evolvement of rational mental attitudes of the agents such as knowledge. In this paper, we introduce Coalition Logic of Temporal Knowledge (CLTK), by incorporating a temporal logic of knowledge (Halpern and Vardi's logic of CKL n ) into CL to equip CL with the power to formalize how agents' knowledge (individual or group knowledge) evolves over the time by the coalitional forces and the temporal properties of strategic abilities as well. Furthermore, we provide a complete axiomatization of CLTK, along with the complexity of the satisfiability problem, which is shown to be EXPTIME-complete.
    View less >
    Conference Title
    ADVANCES IN ARTIFICIAL INTELLIGENCE, CANADIAN AI 2014
    Volume
    8436
    Publisher URI
    https://cs.uwaterloo.ca/conferences/ai2014/
    DOI
    https://doi.org/10.1007/978-3-319-06483-3_24
    Subject
    Computational Logic and Formal Languages
    Publication URI
    http://hdl.handle.net/10072/67883
    Collection
    • Conference outputs

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander