BDI-modelling of complex intracellular dynamics

DOI10.1016/J.JTBI.2007.10.017MaRDI QIDQ1788608zbMATH OpenOpenAlexWikidataFDO

Authors W. C. A. Wijngaards, Catholijn M. Jonker, Jacky L. Snoep, Jan Treur, Hans V. Westerhoff

Publication date 8 October 2018

Published in Journal of Theoretical Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jtbi.2007.10.017

zbMATH Keywords

BDI-modelcatabolite repressioncontinuous timeintentionalmodelling of bacterial behaviourregulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Cell biology (92C37) Biochemistry, molecular biology (92C40)

Recommendations

• scientific article; zbMATH DE number 1754695
• Agent-oriented modeling of the dynamics of biological organisms
• Decision procedures for BDI logics
• Markov decision processes and the belief-desire-intention model. Bridging the gap for autonomous agents
• A modelling environment for mind and matter aspects of intentional behaviour

Cites work

• A calculus of durations
• A survey of concurrent MetateM -- the language and its applications
• Adding a temporal dimension to a logic system
• Goal-directed requirements acquisition
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1090658 (Why is no real title available?)
• Operators vs. arguments: The ins and outs of reification

Cited in

(1)

• How do mental models actually exist in the brain: on context-dependent neural correlates of mental models

Describes a project that uses

Uses Software

• METATEM
• GEPASI
• E-CELL

This page was built for publication: BDI-modelling of complex intracellular dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1788608)