An Operational Approach for Implementing Normative Agents in Urban Wastewater Systems
Un enfoque operacional para implementar agentes normativos en sistemas urbanos de aguas residuales
Juan Carlos Nieves1, Dario Garcia–Gasulla1, Montse Aulinas2, and Ulises Cortés1
1 Knowledge Engineering and Machine Learning group (KEMLg), Universitat Politècnica de Catalunya (UPC), Barcelona, Spain. Correo: jcnieves@lsi.upc.edu, dariog,ia@lsi.upc.edu.
]]> 2 Laboratory of Chemical and Environmental Engineering, University of Girona, Girona, Spain. Correo: aulinas@lequia.udg.cat.
Article received on 27/03/2010.
Accepted on 14/12/2010.
Abstract
Water quality management policies on a river basin scale are of special importance in order to prevent and/or reduce environmental pollution caused by human sources. Industrial effluents are a priority issue particularly in Urban Wastewater Systems (UWS) that receive mixed household and industrial wastewaters, apart from rainfall water. In this paper, we present an analysis and implementation of normative agents that capture concrete regulations of the Catalan pollution–prevention policies. The implementation of the normative agents is based on Situation Calculus.
Keywords: Rational agents, environmental decision support systems, practical normative reasoning, situation calculus.
Resumen
]]> Las políticas de gestión de la calidad del agua a nivel de cuenca hidrográfica son especialmente importantes para la prevención y/o reducción de la polución originada por el hombre en el medio ambiente. Los efluentes industriales son un elemento prioritario particularmente en los Sistemas Urbanos de Aguas Residuales (SUAR) que reciben mezcladas las aguas residuales provenientes de viviendas particulares y de industrias, así como el agua de lluvia. En este artículo, presentamos un análisis y una implementación de agentes normativos que capturan las regulaciones específicas de las políticas Catalanas de prevención de la polución. La implementación de los agentes normativos está basada en el Cálculo de Situaciones.Palabras clave: Agentes racionales, sistemas de ayuda a la toma de decisiones, razonamiento práctico normativos, cálculo de situaciones.
DESCARGAR ARTÍCULO EN FORMATO PDF
Acknowledgements
Numerous discussions with J. Vázquez–Salceda helped us to clarify our ideas. This work has been partially supported by the FP7 European project ALIVE IST–215890. The views expressed in this paper are not necessarily those of the ALIVE consortium.
References
1. Aldewereld, H. (2007). Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. PhD thesis, Utrecht University, Utrecht, Netherlands. [ Links ]
2. Aulinas, M. (2009). Management of industrial wastewater discharges through agents' argumentation. PhD thesis, University of Girona, Girona, Catalunya, Spain. [ Links ]
3. Bandara, K., Lupu, E.C., & Russo, A. (2003). Using Event Calculus to Formalise Policy Specification and Analysis. 4th IEEE Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 26–40. [ Links ]
4. Baral, C. (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. New York: Cambridge University Press. [ Links ]
5. Decree 130/2003, Reglament dels serveis publics de sanejament. DOGC, 3894:11143–11158, 2003. [ Links ]
6. Demolombe, R. (2004). From belief change to obligation change in the situation calculus. European Conference on Artificial Intelligence, Valencia, Spain, 991–992. [ Links ]
7. Demolombe, R. & Pozos, P. (2006). Integrating state constraints and obligations in situation calculus. Latin American Workshop on NonMonotonic Reasoning. Retrieved from http://sunsite.informatik.rwth–aachen.de/Publications/CEUR–WS/Vol–217/. [ Links ]
8. Digmun, F., Dignum, V., Padget, J., & Vázqez–Salceda, J. (2009). Organizing Web Services to develop Dynamic, Flexible, Distributed Systems. 11th International Conference on Information Integration and Web–based Applications and Services– iiWAS2009, Kuala Lumpur, Malaysia, 225–234. [ Links ]
9. Directive 96/61/EC of 24 September 1996 concerning integrated pollution prevention and control. Official Journal L, 257(10), 10, 1996. [ Links ]
10. Fornara, N. & Colombetti, M. (2008). Formal Specification of Artificial Institutions Using the Event Calculus. (Technical Report 5). Italy: Institute for Communication Technologies, Université della Svizzera Italiana, Retrieved from http://doc.rero.ch/lm.php?url=1000,42,6,20090402172858–HW/ITC_TR05.pdf [ Links ]
11. Garcia, D., Nieves, J. C., & Cortés, U. (2010). Reasoning about Actions for the Management of Urban Wastewater Systems using a Causal Logic. International Congress on Environmental Model and Software 2010, Ottawa, Canada, Retrieved from http://www.iemss.org/iemss2010/papers/S21/S.21.04.Reasoning%20about%20Actions%20for%20the%20Management%20of%20Urban%20Wastewater%20Systems%20using%20a%20Causal%20Logic%20–DARIO%20GARCIA%20GASULLA.pdf [ Links ]
12. Kagal, L., Finin, T., & Joshi, A. (2004). Declarative Polices for Describing Web Services Capabilities and Constraints, W3C Workshop on Constraints and Capabilities for Web Services, Redwood Shores, USA, Retrieved from http://ebiquity.umbc.edu/paper/html/id/193/Declarative–Policies–for–Describing–Web–Service–Capabilities–and–Constraints. [ Links ]
13. Kaponis, D. & Pitt, P. (2007). Dynamic specifications in norm–governed open computational societies. Engineering Societies in the Agents World VII, Lecture Notes in Computer Science, 4457, 265–283. [ Links ]
14. Lesperance, Y., Levesque, H. J., & Reiter, R. (1999). A Situation Calculus approach to modeling and programming agents. In Michael Woodridge & Anand Rao (Eds.) Foundations and theories of rational agents (275–299).The Netherlands: Kluwer Academic Publishers. [ Links ]
15. McCarthy, J. & Hayes, P.J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie (Eds.) Machine Intelligence, vol. 4 (463–502), Edinburgh: Edinburgh University Press. [ Links ]
16. Meyer, J.J.C. & Wieringa, R. J. (1993). Deontic Logic in Computer Science: Normative System Specification. Chichester: John Wiley and Sons Ltd. [ Links ]
17. Modgil, S., Faci, N., Meneguzzi, F.R., Oren, N., Miles, S., & Luck, M. (2009). A framework for monitoring agent–based normative systems. Eighth International Conference on Autonomous Agents and Multi–Agent Systems –AAMAS 2009, Budapest, Hungary, 153–160. [ Links ]
18. Nieves, J.C., Garcia, D., Aulinas, M., & Cortés, U. (2010). Using Situation Calculus for Normative Agents in Urban Wastewater Systems. 8th International Conference on Practical Applications of Agents and Multi–Agent Systems, Advances in Soft Computing, vol.70, Salamanca, Spain, 247257. [ Links ]
19. Oren, N., Panagiotidi, S., Vázquez–Salceda, J., Modgil, S., Luck, M., & Miles, S. (2008). Towards a formalisation of electronic contracting environments. Coordination, Organization, Institutions and Norms in Agent Systems IV, Lecture Notes in Computer Science, 5428, 156171. [ Links ]
20. Panagiotidi, S., Nieves, J.C., & Vázquez–Salceda, J. (2009). A framework to model norm dynamics in answer set programming. Multi–Agent Logics, Languages, and Organisations Federated Workshops (MALLOW–FAMAS'09). Retrieved from http://ceur–ws.org/Vol–494/famaspaper8.pdf. [ Links ]
21. Reiter, R. (1991). The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, Boston: Academic Press, 59–380. [ Links ]
22. Shanahan, M. (1997). Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. Massachusetts: Massachusetts Institute Technology Press. [ Links ]
23. Vázquez–Salceda, J. (2003). The Role Of Norms And Electronic Institutions In Multi–Agent Systems Applied To Complex Domains The Harmonia Framework. Ph. D. Thesis, Universitat Politécnica de Catalunya , Barcelona, Spain. [ Links ]
24. Vázquez–Salceda, J., Aldewereld, H., Grossi, D., & Dignum, F. (2008). From human regulations to regulated software agents' behavior. Journal Artificial Intelligence and Law, 16(1), 73–87. [ Links ]
25. Wooldridge, M. (1999). Intelligent Agents. In G. Weiss (Eds), Multiagent Systems A Modern Approach to Distributed Artificial Intelligence (2778), Massachusetts: Massachusetts Institute Technology Press. [ Links ]
]]>