Title

MODELLING AND VERIFICATION ANALYSIS OF
A TWO SPECIES ECOSYSTEM VIA A FIRST
ORDER LOGIC APPROACH

Authors

Zvi Retchkiman Königsberg
Instituto Politécnico Nacional, CIC
Mineria 17-2, Col. Escandon, Mexico D.F 11800, MEXICO

Abstract

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.

History

Received: February 6, 2017
Revised: March 15, 2017
Published: May 23, 2017

AMS Classification, Key Words

AMS Subject Classification: 08A99, 93D35, 93D99, 39A11
Key Words and Phrases: ecosystem, predator-prey system, first order logic, model, verification, unsatisfiability, refutation methods

Download Section

Download paper from here.
You will need Adobe Acrobat reader. For more information and free download of the reader, see the Adobe Acrobat website.

Bibliography

1

R. Haberman, Mathematical Models in mechanical vibrations, population dynamics, and traffic flow, Prentice Hall (1977).

2

Chin-Liang Chang and Richard Char-Tung Lee,Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973).

3

M. Davis, R. Sigal and E. Weyuker, Computability, Complexity, and Languages, Fundamentals of Theoretical Computer Science, Academic Press (1983).

4

M. Ben Ari, Mathematical Logic for Computer Science, Spinger Verlag (2012).

How to Cite?

DOI: 10.12732/ijpam.v114i3.13 How to cite this paper?

Source: International Journal of Pure and Applied Mathematics
ISSN printed version: 1311-8080
ISSN on-line version: 1314-3395
Year: 2017
Volume: 114
Issue: 3
Pages: 583 - 592

Google Scholar; DOI (International DOI Foundation); WorldCAT.

This work is licensed under the Creative Commons Attribution International License (CC BY).

---