Modelling and verification analysis of a two species ecosystem via a first order logic approach

Research output: Contribution to journalArticleResearchpeer-review

Abstract

© 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.
Original languageAmerican English
Pages (from-to)583-592
Number of pages10
JournalInternational Journal of Pure and Applied Mathematics
DOIs
StatePublished - 1 Jan 2017

Fingerprint

First-order Logic
Ecosystem
Ecosystems
Interaction
Modeling
Qualitative Methods
Formal Modeling
Lotka-Volterra Model
Scientific notation
Formal Verification
Predator
Prey
Query
Logic
Methodology

Cite this

@article{7af9fa55c3814c0c9fba3c010669d5e4,
title = "Modelling and verification analysis of a two species ecosystem via a first order logic approach",
abstract = "{\circledC} 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.",
author = "Konigsberg, {Zvi Retchkiman}",
year = "2017",
month = "1",
day = "1",
doi = "10.12732/ijpam.v114i3.13",
language = "American English",
pages = "583--592",
journal = "International Journal of Pure and Applied Mathematics",
issn = "1311-8080",
publisher = "Academic Publications Ltd.",

}

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

SP - 583

EP - 592

JO - International Journal of Pure and Applied Mathematics

JF - International Journal of Pure and Applied Mathematics

SN - 1311-8080

ER -