Answer set programming for representing and reasoning about virtual institutions

Owen Cliffe; Marina De Vos; Julian Padget

doi:10.1007/978-3-540-69619-3_4

Answer set programming for representing and reasoning about virtual institutions

Owen Cliffe, Marina De Vos, Julian Padget

Department of Computer Science

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

42 Citations (Scopus)

Abstract

It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in other safety-critical scenarios, it is possible to prove that particular properties do or do not hold for all possible encounters. In contrast to symbolic model-checking, answer set programming permits the statement of problems and queries in domain-specific terms as executable logic programs, thus eliminating the gap between specification and verification language. Furthermore, results are presented in the same terms. In this paper we describe the use of answer set programs as an institutional modelling technique. We demonstrate that our institutional model can be intuitively be mapped into an answer set program such that the ordered event traces of the former can be obtained as the answer sets of the latter, allowing for an easy way to query properties of models.

Original language	English
Title of host publication	Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers
Editors	K. Inoue, S. Ken, F. Toni
Place of Publication	Heidelberg, Germany
Publisher	Springer
Pages	60-79
Number of pages	20
ISBN (Electronic)	9783540696193
ISBN (Print)	9783540696186
DOIs	https://doi.org/10.1007/978-3-540-69619-3_4
Publication status	Published - 2007
Event	Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII - Hakodate, Japan Duration: 8 May 2006 → 9 May 2006

Publication series

Name	Lecture Notes in Computer Science
Volume	4371
ISSN (Print)	0302-9743

Conference

Conference	Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII
Country	Japan
City	Hakodate
Period	8/05/06 → 9/05/06

Fingerprint

Cite this

Cliffe, O., De Vos, M., & Padget, J. (2007). Answer set programming for representing and reasoning about virtual institutions. In K. Inoue, S. Ken, & F. Toni (Eds.), Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers (pp. 60-79). (Lecture Notes in Computer Science; Vol. 4371). Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-540-69619-3_4

Answer set programming for representing and reasoning about virtual institutions. / Cliffe, Owen; De Vos, Marina ; Padget, Julian.

Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers . ed. / K. Inoue; S. Ken; F. Toni. Heidelberg, Germany : Springer, 2007. p. 60-79 (Lecture Notes in Computer Science; Vol. 4371).

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

Cliffe, O, De Vos, M & Padget, J 2007, Answer set programming for representing and reasoning about virtual institutions. in K Inoue, S Ken & F Toni (eds), Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers . Lecture Notes in Computer Science, vol. 4371, Springer, Heidelberg, Germany, pp. 60-79, Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII, Hakodate, Japan, 8/05/06. https://doi.org/10.1007/978-3-540-69619-3_4

Cliffe O, De Vos M , Padget J. Answer set programming for representing and reasoning about virtual institutions. In Inoue K, Ken S, Toni F, editors, Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers . Heidelberg, Germany: Springer. 2007. p. 60-79. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-69619-3_4

Cliffe, Owen ; De Vos, Marina ; Padget, Julian. / Answer set programming for representing and reasoning about virtual institutions. Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers . editor / K. Inoue ; S. Ken ; F. Toni. Heidelberg, Germany : Springer, 2007. pp. 60-79 (Lecture Notes in Computer Science).

@inproceedings{8878bb754b404757918fd523ea880577,

title = "Answer set programming for representing and reasoning about virtual institutions",

abstract = "It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in other safety-critical scenarios, it is possible to prove that particular properties do or do not hold for all possible encounters. In contrast to symbolic model-checking, answer set programming permits the statement of problems and queries in domain-specific terms as executable logic programs, thus eliminating the gap between specification and verification language. Furthermore, results are presented in the same terms. In this paper we describe the use of answer set programs as an institutional modelling technique. We demonstrate that our institutional model can be intuitively be mapped into an answer set program such that the ordered event traces of the former can be obtained as the answer sets of the latter, allowing for an easy way to query properties of models.",

author = "Owen Cliffe and {De Vos}, Marina and Julian Padget",

year = "2007",

doi = "10.1007/978-3-540-69619-3_4",

language = "English",

isbn = "9783540696186",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "60--79",

editor = "K. Inoue and S. Ken and F. Toni",

booktitle = "Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers",

}

TY - GEN

T1 - Answer set programming for representing and reasoning about virtual institutions

AU - Cliffe, Owen

AU - De Vos, Marina

AU - Padget, Julian

PY - 2007

Y1 - 2007

N2 - It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in other safety-critical scenarios, it is possible to prove that particular properties do or do not hold for all possible encounters. In contrast to symbolic model-checking, answer set programming permits the statement of problems and queries in domain-specific terms as executable logic programs, thus eliminating the gap between specification and verification language. Furthermore, results are presented in the same terms. In this paper we describe the use of answer set programs as an institutional modelling technique. We demonstrate that our institutional model can be intuitively be mapped into an answer set program such that the ordered event traces of the former can be obtained as the answer sets of the latter, allowing for an easy way to query properties of models.

AB - It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in other safety-critical scenarios, it is possible to prove that particular properties do or do not hold for all possible encounters. In contrast to symbolic model-checking, answer set programming permits the statement of problems and queries in domain-specific terms as executable logic programs, thus eliminating the gap between specification and verification language. Furthermore, results are presented in the same terms. In this paper we describe the use of answer set programs as an institutional modelling technique. We demonstrate that our institutional model can be intuitively be mapped into an answer set program such that the ordered event traces of the former can be obtained as the answer sets of the latter, allowing for an easy way to query properties of models.

UR - http://dx.doi.org/10.1007/978-3-540-69619-3_4

U2 - 10.1007/978-3-540-69619-3_4

DO - 10.1007/978-3-540-69619-3_4

M3 - Conference contribution

SN - 9783540696186

T3 - Lecture Notes in Computer Science

SP - 60

EP - 79

BT - Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers

A2 - Inoue, K.

A2 - Ken, S.

A2 - Toni, F.

PB - Springer

CY - Heidelberg, Germany

ER -

Access to Document

10.1007/978-3-540-69619-3_4

http://dx.doi.org/10.1007/978-3-540-69619-3_4