Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report
作者： Ulises Cortés , Juan Carlos Nieves , Montse Aulinas
DOI:
关键词: Action (philosophy) 、 Sequence 、 Process (engineering) 、 Preliminary report 、 Representation (systemics) 、 Operations research 、 Wastewater systems 、 Computer science 、 Management science 、 Knowledge representation and reasoning 、 Intelligent decision support system
摘要: It is well-known that the management of Urban Wastewater Systems (UWS) a complex and critical process. To decide which correct sequence actions for managing given circumstance it necessary sophisticated analysis hypothetical impact these. Hence, design intelligent systems able to perform temporal projections based on description could help deal with risk scenarios. In this paper, we propose use recent developments in knowledge representation languages non-monotonic reasoning methodologies representing about Management Systems. end, explore an action language called A UWS. In particular, consider problem industrial discharges. We present declarative transition function from states allows us make conclusions particular situation may arise if one performs actions.
参考文章(14)
B. Crabtree, G. Morris, Effective environmental regulation to maximise the benefits of integrated wastewater management Water Science and Technology. ,vol. 45, pp. 211- 218 ,(2002) , 10.2166/WST.2002.0081
P. Struss, K. Gibert, I. Rodríguez-Roda, M. Sànchez-Marrè, V. Brilhante, J. P. Steyer, J. Comas, E. A. Roehl, R. S. Sojda, Intelligent Environmental Decision Support Systems ,(2008)
Chitta Baral, Knowledge representation, reasoning and declarative problem solving ,(2003)
Vladimir Lifschitz, Michael Gelfond, The stable model semantics for logic programming international conference on lightning protection. pp. 1070- 1080 ,(1988)
J.M. Gimeno, J. Bejar, M. Sanchez-Marre, U. Cortes, I.R. Roda, M. Poch, J. Lafuente, Providing wastewater treatment plants with predictive knowledge based on transition networks intelligent information systems. pp. 355- 359 ,(1997) , 10.1109/IIS.1997.645294
Regulating industrial wastewater discharged to public wastewater treatment plants - a conceptual approach Water Science and Technology. ,vol. 36, pp. 25- 33 ,(1997) , 10.1016/S0273-1223(97)00366-1
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres, A logic programming approach to knowledge-state planning, II: the DLV k system Artificial Intelligence. ,vol. 144, pp. 157- 211 ,(2003) , 10.1016/S0004-3702(02)00367-3
Michael Gelfond, Vladimir Lifschitz, Representing action and change by logic programs Journal of Logic Programming. ,vol. 17, pp. 301- 321 ,(1993) , 10.1016/0743-1066(93)90035-F
Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig, Modeling Biological Networks by Action Languages via Answer Set Programming Constraints - An International Journal. ,vol. 13, pp. 21- 65 ,(2008) , 10.1007/S10601-007-9031-Y
C. Baral, K. Chancellor, N. Tran, N.L. Tran, A. Joy, M. Berens, A knowledge based approach for representing and reasoning about signaling networks intelligent systems in molecular biology. ,vol. 20, pp. 15- 22 ,(2004) , 10.1093/BIOINFORMATICS/BTH918