Structural testing of rule-based expert systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information Processing Letters
On computational complexity of Prolog programs
Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Constraint satisfaction in Prolog: complexity and theory-based heuristics
Information Sciences—Intelligent Systems: An International Journal
Artificial intelligence: a new synthesis
Artificial intelligence: a new synthesis
Applying complexity measures to rule-based prolog programs
Journal of Systems and Software
A multiple criteria decision support system for testing integrated environmental models
Fuzzy Sets and Systems - Special issue on Uncertainty in geographic information systems and spatial data
Complexity Measures for Rule-Based Programs
IEEE Transactions on Knowledge and Data Engineering
Mind change complexity of learning logic programs
Theoretical Computer Science
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Complexity parameters for first order classes
Machine Learning
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
In this paper, it is shown how a system can be created by using methods of Artificial Intelligence, designated (a) to provide the user with information about the transformations of Mediterranean-type landscapes in an interactive way, (b) to allow the modelling of causes and effects of landscape transformations (such as land degradation) and (c) to forecast future landscape changes. The system consists of programs, which run independently. Each module performs a certain task only and contributes to the modelling of landscape transformations in a different way. The modelling approach results in reducing the semantic complexity of landscape transformations, while this model can be understood by both humans and machines. The output consists in linguistic descriptions of the landscape or landscape properties, along with quantitative descriptions. For instance, the system can reason what have been the possible causes of certain landscape transformations if certain ecological effects are observed on the face of the landscape and reversely, what are the expected ecological results if certain causes of landscape change are given.