This paper addresses the interactions, 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, two cases are worth to be considered. On the one hand, there is\ a need to cooperate sharing part of the resource so that both organisms will\ benefit from it. On the other hand, if one of the two species is stronger than\ the other, there will be no cooperation and the strongest species will impose its\ conditions. In the study of this interaction Lotka-Volterra models have been\ used. Other non-classical methodologies as Petri nets and first order logic have\ been employed too. In this work, the biological competition problem between\ species is modelled as a modal logic formula. Then, using the concept of logic\ implication, and transforming this logical implication relation into a set of\ clauses, a modal resolution qualitative method for verification (satisfiability)\ as well as performance issues, for some queries is applied.

}, keywords = {08A99, 39A11, 93D35, 93D99}, issn = {1083-2564}, doi = {10.12732/caa.v22i3.8}, url = {https://acadsol.eu/en/articles/22/3/8.pdf}, author = {ZVI RETCHKIMAN K{\"O}NIGSBERG} } @article {261, title = {MODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL COOPERATIVE COMPETITION PROBLEM VIA A FIRST ORDER LOGIC APPROACH}, volume = {21}, year = {2017}, month = {04/2017}, pages = {16}, type = {scientific: mathematics}, chapter = {337}, abstract = {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.

}, keywords = {08A99, 39A11, 93D35, 93D99}, issn = {1083-2564}, doi = {10.12732/caa.v21i3.2}, url = {http://www.acadsol.eu/en/articles/21/3/2.pdf}, author = {ZVI RETCHKIMAN K{\"O}NIGSBERG} }