Answer set programming for representing and reasoning about virtual institutions

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationComputational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers
EditorsK. Inoue, S. Ken, F. Toni
Place of PublicationHeidelberg, Germany
PublisherSpringer
Pages60-79
Number of pages20
ISBN (Electronic)9783540696193
ISBN (Print)9783540696186
DOIs
Publication statusPublished - 2007
EventComputational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII - Hakodate, Japan
Duration: 8 May 20069 May 2006

Publication series

NameLecture Notes in Computer Science
Volume4371
ISSN (Print)0302-9743

Conference

ConferenceComputational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII
CountryJapan
CityHakodate
Period8/05/069/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