TY - GEN
T1 - Modelling and verification analysis of the predator-prey system via a first order logic approach
AU - Konigsberg, Zvi Retchkiman
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - 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 - 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.
KW - First order logic
KW - Model
KW - Predator-prey system
KW - Refutation methods
KW - Unsatisfiability
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=85026724920&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-61824-1_3
DO - 10.1007/978-3-319-61824-1_3
M3 - Contribución a la conferencia
SN - 9783319618234
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 22
EP - 30
BT - Advances in Swarm Intelligence - 8th International Conference, ICSI 2017, Proceedings
A2 - Tan, Ying
A2 - Takagi, Hideyuki
A2 - Shi, Yuhui
PB - Springer Verlag
T2 - 8th International Conference on Swarm Intelligence, ICSI 2017
Y2 - 27 July 2017 through 1 August 2017
ER -