TY - JOUR
T1 - Modelling and verification analysis of a two species ecosystem via a first order logic approach
AU - Konigsberg, Zvi Retchkiman
PY - 2017/1/1
Y1 - 2017/1/1
N2 - © 2017 Academic Publications, Ltd. Consider the interaction of populations, in which there are exactly two species, one of which the predators eat the preys thereby affecting each other. In the study of this interaction Lotka-Volterra models have been used. This paper proposes a formal modelling and verification analysis methodology, which consists in representing the interaction behavior by means of 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 (satisfiability) as well as performance issues, for some queries, are applied.
AB - © 2017 Academic Publications, Ltd. Consider the interaction of populations, in which there are exactly two species, one of which the predators eat the preys thereby affecting each other. In the study of this interaction Lotka-Volterra models have been used. This paper proposes a formal modelling and verification analysis methodology, which consists in representing the interaction behavior by means of 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 (satisfiability) as well as performance issues, for some queries, are applied.
U2 - 10.12732/ijpam.v114i3.13
DO - 10.12732/ijpam.v114i3.13
M3 - Article
SN - 1311-8080
SP - 583
EP - 592
JO - International Journal of Pure and Applied Mathematics
JF - International Journal of Pure and Applied Mathematics
ER -