Affiliation:
1. The University of Auckland, New Zealand
2. Massey University, New Zealand
Abstract
Although a wide range of sophisticated Qualitative Spatial and Temporal Reasoning (QSTR) formalisms have now been developed, there are relatively few applications that apply these commonsense methods. To address this problem, the authors of this chapter developed methodologies that support QSTR application design. They established a theoretical foundation for QSTR applications that includes the roles of application designers and users. The authors adapted formal software requirements that allow a designer to specify the customer’s operational requirements and the functional requirements of a QSTR application. The chapter presents design patterns for organising the components of QSTR applications, and a methodology for defining high-level neighbourhoods that are derived from the system structure. Finally, the authors develop a methodology for QSTR application validation by defining a complexity metric called H-complexity that is used in test coverage analysis for assessing the quality of unit and integration test sets.
Reference31 articles.
1. Maintaining knowledge about temporal intervals
2. Bhatt, M. (2007). A causal approach for modelling spatial dynamics: A preliminary report. In Proceedings of the Workshop on Spatial and Temporal Reasoning, 20th International Joint Conference on Artificial Intelligence (IJCAI-07). IJCAI.
3. Bredeweg, B., Bouwer, A., Jellema, J., Bertels, D., Linnebank, F., & Liem, J. (2007). Garp3: A new workbench for qualitative reasoning and modelling. In Proceedings of the 4th International Conference on Knowledge Capture (K-CAP’07), (pp. 183-184). K-CAP.
4. Conceptual Neighborhood
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献