Modelling and verification analysis of the predator-prey system via a first order logic approach

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationAdvances in Swarm Intelligence - 8th International Conference, ICSI 2017, Proceedings
EditorsYing Tan, Hideyuki Takagi, Yuhui Shi
PublisherSpringer Verlag
Pages22-30
Number of pages9
ISBN (Print)9783319618234
DOIs
StatePublished - 2017
Event8th International Conference on Swarm Intelligence, ICSI 2017 - Fukuoka, Japan
Duration: 27 Jul 20171 Aug 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10385 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Conference on Swarm Intelligence, ICSI 2017
Country/TerritoryJapan
CityFukuoka
Period27/07/171/08/17

Keywords

  • First order logic
  • Model
  • Predator-prey system
  • Refutation methods
  • Unsatisfiability
  • Verification

Fingerprint

Dive into the research topics of 'Modelling and verification analysis of the predator-prey system via a first order logic approach'. Together they form a unique fingerprint.

Cite this