Reasoning about dialogical strategies

Magdalena Kacprzak, Katarzyna Budzynska

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

    3 Citations (Scopus)

    Abstract

    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
    PublisherSpringer
    Pages171-184
    Number of pages14
    ISBN (Electronic)9783642373435
    ISBN (Print)9783642373428
    DOIs
    Publication statusPublished - 2013
    Event16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems - Miramar Palace, San Sebastian, Spain
    Duration: 10 Sep 201212 Sep 2012
    http://kes2012.kesinternational.org/

    Publication series

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

    Conference

    Conference16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
    Abbreviated titleKES-2012
    CountrySpain
    City San Sebastian
    Period10/09/1212/09/12
    Internet address

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

    Cite this