Reasoning about dialogical strategies

Magdalena Kacprzak, Katarzyna Budzynska

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)


    The paper proposes an extension of the modal logic with operators for reasoning about different types of strategies which agents may adopt in order to win a dialogue game. We model agent communication using the paradigm of formal systems of dialogues and in particular, a system proposed by Prakken. In the paper, the traditional notion of a winning strategy is extended with a notion of a strategy giving a chance for success and a notion of a strategy giving a particular degree of chances for victory. Then, using the framework of Alternating-time Temporal Logic (ATL) we specify operators which allow the investigation of the dialogical strategies. © 2013 Springer-Verlag.
    Original languageEnglish
    Title of host publicationKnowledge Engineering, Machine Learning and Lattice Computing with Applications
    Subtitle of host publication16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers
    EditorsManuel Grana, Carlos Toro, Robert J. Howlett, Lakhmi C. Jain
    Place of PublicationBerlin
    Number of pages14
    ISBN (Electronic)9783642373435
    ISBN (Print)9783642373428
    Publication statusPublished - 2013
    Event16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems - Miramar Palace, San Sebastian, Spain
    Duration: 10 Sept 201212 Sept 2012

    Publication series

    NameLecture notes In computer science
    ISSN (Print)0302-9743


    Conference16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    Abbreviated titleKES-2012
    City San Sebastian
    Internet address


    Dive into the research topics of 'Reasoning about dialogical strategies'. Together they form a unique fingerprint.

    Cite this