Journal of applied mathematics & informatics
- Volume 3 Issue 2
- /
- Pages.129-148
- /
- 1996
- /
- 2734-1194(pISSN)
- /
- 2234-8417(eISSN)
LINEAR POLYNOMIAL CONSTRAINTS INFERENCING ALGORITHM
Abstract
This paper propose the inference mechanism for handling linear polynomial constraints called consistency checking algorithm based on the feasibility checking algorithm borrowed from linear pro-gramming. in contrast with other approaches proposed algorithm can efficiently and coherented by linear polynomial forms. The developed algorithm is successfully applied to the symbolic simulation that offers a convenient means to conduct multiple simultaneous exploration of model behaviors.
Keywords