Reasoning about dialogical strategies

Magdalena Kacprzak; Katarzyna Budzynska

doi:10.1007/978-3-642-37343-5_18

Reasoning about dialogical strategies

Magdalena Kacprzak, Katarzyna Budzynska

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Subtitle of host publication	16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers
Editors	Manuel Grana, Carlos Toro, Robert J. Howlett, Lakhmi C. Jain
Place of Publication	Berlin
Publisher	Springer
Pages	171-184
Number of pages	14
ISBN (Electronic)	9783642373435
ISBN (Print)	9783642373428
DOIs	https://doi.org/10.1007/978-3-642-37343-5_18
Publication status	Published - 2013
Event	16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems - Miramar Palace, San Sebastian, Spain Duration: 10 Sept 2012 → 12 Sept 2012 http://kes2012.kesinternational.org/

Publication series

Name	Lecture notes In computer science
Publisher	Springer
Volume	7828
ISSN (Print)	0302-9743

Conference

Conference	16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
Abbreviated title	KES-2012
Country/Territory	Spain
City	San Sebastian
Period	10/09/12 → 12/09/12
Internet address	http://kes2012.kesinternational.org/

Access to Document

10.1007/978-3-642-37343-5_18

http://www.scopus.com/inward/record.url?eid=2-s2.0-84875819971&partnerID=40&md5=7447587c9fb29e92165c6b0739b46ce2

Cite this

Kacprzak, M., & Budzynska, K. (2013). Reasoning about dialogical strategies. In M. Grana, C. Toro, R. J. Howlett, & L. C. Jain (Eds.), Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers (pp. 171-184). (Lecture notes In computer science; Vol. 7828). Springer . https://doi.org/10.1007/978-3-642-37343-5_18

Kacprzak, Magdalena ; Budzynska, Katarzyna. / Reasoning about dialogical strategies. Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers. editor / Manuel Grana ; Carlos Toro ; Robert J. Howlett ; Lakhmi C. Jain. Berlin : Springer , 2013. pp. 171-184 (Lecture notes In computer science).

@inproceedings{e11f6d20bea9449e9ad63cb64c5a24ec,

title = "Reasoning about dialogical strategies",

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. {\textcopyright} 2013 Springer-Verlag.",

author = "Magdalena Kacprzak and Katarzyna Budzynska",

year = "2013",

doi = "10.1007/978-3-642-37343-5_18",

language = "English",

isbn = "9783642373428",

series = "Lecture notes In computer science",

publisher = "Springer ",

pages = "171--184",

editor = "Manuel Grana and Carlos Toro and Howlett, {Robert J.} and Jain, {Lakhmi C.}",

booktitle = "Knowledge Engineering, Machine Learning and Lattice Computing with Applications",

note = "16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, KES-2012 ; Conference date: 10-09-2012 Through 12-09-2012",

url = "http://kes2012.kesinternational.org/",

}

Kacprzak, M & Budzynska, K 2013, Reasoning about dialogical strategies. in M Grana, C Toro, RJ Howlett & LC Jain (eds), Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers. Lecture notes In computer science, vol. 7828, Springer , Berlin, pp. 171-184, 16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, San Sebastian, Spain, 10/09/12. https://doi.org/10.1007/978-3-642-37343-5_18

Reasoning about dialogical strategies. / Kacprzak, Magdalena; Budzynska, Katarzyna.
Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers. ed. / Manuel Grana; Carlos Toro; Robert J. Howlett; Lakhmi C. Jain. Berlin: Springer , 2013. p. 171-184 (Lecture notes In computer science; Vol. 7828).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Reasoning about dialogical strategies

AU - Kacprzak, Magdalena

AU - Budzynska, Katarzyna

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-37343-5_18

DO - 10.1007/978-3-642-37343-5_18

M3 - Conference contribution

SN - 9783642373428

T3 - Lecture notes In computer science

SP - 171

EP - 184

BT - Knowledge Engineering, Machine Learning and Lattice Computing with Applications

A2 - Grana, Manuel

A2 - Toro, Carlos

A2 - Howlett, Robert J.

A2 - Jain, Lakhmi C.

PB - Springer

CY - Berlin

T2 - 16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems

Y2 - 10 September 2012 through 12 September 2012

ER -

Kacprzak M, Budzynska K. Reasoning about dialogical strategies. In Grana M, Toro C, Howlett RJ, Jain LC, editors, Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers. Berlin: Springer . 2013. p. 171-184. (Lecture notes In computer science). doi: 10.1007/978-3-642-37343-5_18

Reasoning about dialogical strategies

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this