Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A conceptual theory of part-whole relations and its applications
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Conceptual Structures of Multicontexts
ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Goal-Oriented Requirements Analysis for Process Control Systems Design
MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Modeling and multi-agent specification of IF-Based distributed goal ontologies
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
| Hi-index | 0.00 |
In the engineering context of control or measurement systems, there is a growing need to incorporate more and more intelligence towards sensing/actuating components. These components achieve some global service related with an intended goal through a set of elementary services intended to achieve atomic goals. There are many possible choices and non-trivial relations between services. As a consequence, both novices and specialists need assistance to prune the search space of possible services and their relations. To provide a sound knowledge representation for functional reasoning, we propose a method eliciting a goal hierarchy in Intelligent Control Systems. To refine the concept of goal with sub-concepts, we investigate a formalization which relies on a multilevel structure. The method is centered both on a mereological approach to express both physical environment and goal concepts, and on Formal Concept Analysis (FCA) to model concept aggregation/decomposition. The interplay between mereology and FCA is discussed.