Anzeige
Erschienen in:
2018 | OriginalPaper | Buchkapitel
Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach
verfasst von : Zvi Retchkiman Konigsberg
Erschienen in: Advances in Swarm Intelligence
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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. Other non-classical methodologies as Petri nets and first order logic have been employed too. This paper proposes a formal modeling and verification analysis methodology, which consists in representing the interaction behavior by means of a modal logic formula. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, a modal resolution qualitative method for verification (satisfiability) as well as performance issues, for some queries is applied.