Abstract
This chapter outlines the process of problem-solving system development by the model theory approach as a preliminary for Chapter 5. Specifically, development of extSLV is the target. A problem classification system is introduced for development. Throughout this book, extSLV development is carried out based on this classification scheme.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cantone, D., Omodeo, E., and Policriti, A. (2001) Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets, Springer.
Hooker, H. (2000) Logic-Based Method for Optimization, John Wiley_& Sons.
Mesarovic, M. D. and Takahara, Y. (1974) General Systems Theory: Mathematical Foundation, Academic Press.
Mesarovic, M. D. and Takahara, Y. (1989) “Abstract Systems Theory,” Lecture Notes in Control and Information Sciences, Springer.
Takahara, Y. and Kubota, H. (1989) “Framework for Conceptual Design of Data Processing Systems”, Office Automation, 10(1) (in Japanese).
Takahara, Y., Asahi, T., and Hu, J. (2003) “Application of MGST Design Approach to Data Mining Systems: Case of I-O-O Problem,” J. of JASMIN.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). Model Theory Approach to Solver System Development: Outlines. In: Klir, G.J. (eds) Foundations and Applications of Mis. IFSR International Series on Systems Science and Engineering, vol 24. Springer, New York, NY. https://doi.org/10.1007/978-0-387-35840-6_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-35840-6_4
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-31414-3
Online ISBN: 978-0-387-35840-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)