Reasoning about actions for the management of Urban Wastewater System: preliminary report

Abstract

It is well-known that the management of Urban Wastewater Systems (UWS) is a complex and critical process. To decide which is the correct sequence of actions for managing a given circumstance it is necessary a sophisticated analysis of hypothetical impact of these. Hence, the design of intelligent systems able to perform temporal projections based on the description of actions could help to deal with risk scenarios. In this paper, we propose to use recent developments in knowledge representation languages and non-monotonic reasoning methodologies for representing and reasoning about actions for the Management of Urban Wastewater Systems. To this end, we explore the use of an action representation language called A for reasoning about the actions in the management of UWS. In particular, we consider the problem of industrial discharges. We present a declarative representation of a transition function from states and actions to states which allows us to make conclusions about a particular situation that may arise if one performs a particular sequence of actions.