|Title||MODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL COOPERATIVE COMPETITION PROBLEM VIA A FIRST ORDER LOGIC APPROACH|
|Publication Type||Journal Article|
|Year of Publication||2017|
|Type of Work||scientific: mathematics|
|AMS||08A99, 39A11, 93D35, 93D99|
This paper addresses the biological cooperative competition problem among organisms of the same or different species associated with the need for a common resource that occurs in a limited supply relative to demand. If two competitors try to occupy the same realized niche, one species will try to eliminate the other. Therefore, there is a need to cooperate sharing part of the resource so that both organisms will benefit from it. In this work, the biological cooperative competition problem is modelled as a formula of the first order logic. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, called Skolem standard form, qualitative methods for verification as well as performance issues, for some queries, are applied.
|Short Title||Biological Cooperative Competition Problem|
|Full Text|| |
 G.F. Gause, The Struggle for Existence, Baltimore, Williams and Wilkins, 1934.