TY - GEN
T1 - InstQL: A Query Language for Virtual Institutions Using Answer Set Programming
AU - Hopton, L
AU - Cliffe, Owen
AU - De Vos, Marina
AU - Padget, Julian
PY - 2010
Y1 - 2010
N2 - Institutions provide a mechanism to capture and reason about "correct" and "incorrect" behaviour within a social context. While institutions can be studied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help focus designers' attention on the expression of issues such as permission, violation and power but does not help the designer in verifying or querying the model they have specified. In this paper we present the query language InstQL which includes a number of powerful features including temporal constraints over events and fluents that can be used in conjunction with InstAL to specify those traces that are of interest in order to investigate and reason over the underlying normative models. The semantics of the query language is provided by translating InstQL queries into AnsProlog, the same computational language as InstAL. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.
AB - Institutions provide a mechanism to capture and reason about "correct" and "incorrect" behaviour within a social context. While institutions can be studied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help focus designers' attention on the expression of issues such as permission, violation and power but does not help the designer in verifying or querying the model they have specified. In this paper we present the query language InstQL which includes a number of powerful features including temporal constraints over events and fluents that can be used in conjunction with InstAL to specify those traces that are of interest in order to investigate and reason over the underlying normative models. The semantics of the query language is provided by translating InstQL queries into AnsProlog, the same computational language as InstAL. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.
UR - http://dx.doi.org/10.1007/978-3-642-16867-3_6
U2 - 10.1007/978-3-642-16867-3_6
DO - 10.1007/978-3-642-16867-3_6
M3 - Chapter in a published conference proceeding
SN - 9783642168666
VL - 6214
T3 - Lecture Notes in Artificial Intelligence
SP - 102
EP - 121
BT - Computational Logic in Multi-Agent Systems
A2 - Dix, J
A2 - Fisher, M
A2 - Novak, P
PB - Springer
CY - Berlin
T2 - 10th International Workshop on Computational Logic in Multi-Agent Systems
Y2 - 9 September 2008 through 10 September 2008
ER -