Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Providing wastewater treatment plants with predictive knowledge based on transition networks
IIS '97 Proceedings of the 1997 IASTED International Conference on Intelligent Information Systems (IIS '97)
Hi-index | 0.00 |
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.