Loading...
Please wait, while we are loading the content...
Modelling Institutions using Answer Set Programming: Enhancing the Institution Action Language
| Content Provider | Semantic Scholar |
|---|---|
| Author | Hopton, Luke |
| Copyright Year | 2009 |
| Abstract | Institutions are normative multi-agent systems. Cliffe et al. (2005) have developed a model of multiple interacting institutions in answer set programming (ASP). ASP is a declarative programming paradigm which provides non-monotonic reasoning. As a part of this work, they have developed InstAL, an action language which is used for the specification of institutions. These specifications are then translated into ASP. In this project we enhance the support for InstAL in two areas. We present an overview of the software engineering process used to implement InstEdit, an editor for InstAL. InstEdit supports the institution designer in creating and reasoning about InstAL specifications. We present also InstQL, the institution query language. This language is designed for the specification of queries for InstAL institutions. As with InstAL, the semantics of InstQL are given by translation into ASP. The development of this language is informed by motivating example queries. These are queries specified in ASP for an existing institution. We demonstrate how these can be expressed in InstQL and translate them back into ASP to verify the correctness of the semantics. We discuss how InstQL allows us to perform prediction, postdiction and planning and identify a restricted form of linear temporal logic that can be expressed in InstQL. Finally, we present the development of a tool to automate the translation of InstQL into ASP. We conclude that these additions aid the institution designer when working with InstAL and provide the foundation for further enhancements. Acknowledgments Thanks to Owen Cliffe, Marina de Vos and Julian Padget for not only being the muchreferenced “Cliffe et al”, but also for their help and advice. Special thanks to Marina, my supervisor, for her guidance throughout. Thanks also to my family and friends (especially Ell) for love and support. Thanks to my parents for their financial support also: I literally couldn’t have done it without you. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.bath.ac.uk/~mdv/courses/CM30082/projects.bho/2008-9/Hopton-LC-dissertation-2008-9.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
