Introduction to Multiagent Systems
Introduction to Multiagent Systems
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
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)
Possibilistic uncertainty handling for answer set programming
Annals of Mathematics and Artificial Intelligence
HIS '06 Proceedings of the Sixth International Conference on Hybrid Intelligent Systems
AI Communications - Binding Environmental Sciences and Artificial Intelligence
Multiple objective optimal control of integrated urban wastewater systems
Environmental Modelling & Software
Using exogenous quantities in qualitative models about environmental sustainability
AI Communications - Model-Based Systems
Environmental Modelling & Software
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Environmental Modelling & Software
Semantics for possibilistic disjunctive programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A Possibilistic Argumentation Decision Making Framework with Default Reasoning
Fundamenta Informaticae - Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)
Environmental Modelling & Software
Environmental Modelling & Software
Hi-index | 0.01 |
The use of knowledge-based systems has been shown to be a suitable approach to support decision making in environmental systems. Capturing and managing the huge quantity of data/information that has to be considered is an intrinsic factor that makes environmental systems a sophisticated domain. Organizing this data in a naive way can impact the efficacy of any knowledge-based system. Another intrinsic factor is the variety of data sources, which can result in inconsistent, uncertain or incomplete knowledge bases when different data sources are considered. Accordingly, two central issues of a successful knowledge-based system are the organization of its knowledge base and the expressiveness of its specification language. In this paper, we introduce a stratified framework for structuring any environmental knowledge base. We will argue that a declarative specification language, such as Answer Set Programming, is expressive enough to capture environmental knowledge bases that are inconsistent, uncertain and incomplete. We also present an automata-based approach to manage actions in knowledge-based systems. By solving a use case, specifically the diagnosis of the safety of a particular industrial wastewater discharge in an urban wastewater system, we illustrate how to represent relevant abstractions to model related complex processes. We show that by using them it is also possible to automate the diagnosis process (in the present case, for example, to diagnose problems at a wastewater treatment plant and afterward in the river) and hence support the decision-making task.