Implementing dynamic flowgraph methodology models with logic programs

Ilkka Karanta (Corresponding Author)

    Research output: Contribution to journalArticleScientificpeer-review

    2 Citations (Scopus)

    Abstract

    The dynamic flowgraph methodology is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This article demonstrates how to express dynamic flowgraph methodology models as logic programs, and top events as queries to those programs, in a natural and comprehensible way. Computation of the logic program lists the prime implicants of a top event in the system. We also present and implement an algorithm for computing the probability of the top event from its prime implicants. Together, computation of prime implicants and calculation of top event probability from these constitute a complete way of finding a system’s failure probability. Logic programs, implemented in this article in the leading logic programming language Prolog, enable rapid prototyping of dynamic flowgraph methodology models. The logic programming framework introduced here could also be utilized in teaching dynamic flowgraph methodology in risk analysis courses.
    Original languageEnglish
    Pages (from-to)302-314
    Number of pages12
    JournalProceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
    Volume227
    Issue number3
    DOIs
    Publication statusPublished - 2013
    MoE publication typeA1 Journal article-refereed

    Fingerprint

    Logic programming
    Rapid prototyping
    Risk analysis
    Computer programming languages
    Teaching
    Dynamical systems

    Keywords

    • dynamic flowgraph methodology
    • logic programming
    • Prolog
    • dynamic probabilistic risk analysis

    Cite this

    @article{9041dca35ba347c9abb3c6a8f616410c,
    title = "Implementing dynamic flowgraph methodology models with logic programs",
    abstract = "The dynamic flowgraph methodology is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This article demonstrates how to express dynamic flowgraph methodology models as logic programs, and top events as queries to those programs, in a natural and comprehensible way. Computation of the logic program lists the prime implicants of a top event in the system. We also present and implement an algorithm for computing the probability of the top event from its prime implicants. Together, computation of prime implicants and calculation of top event probability from these constitute a complete way of finding a system’s failure probability. Logic programs, implemented in this article in the leading logic programming language Prolog, enable rapid prototyping of dynamic flowgraph methodology models. The logic programming framework introduced here could also be utilized in teaching dynamic flowgraph methodology in risk analysis courses.",
    keywords = "dynamic flowgraph methodology, logic programming, Prolog, dynamic probabilistic risk analysis",
    author = "Ilkka Karanta",
    note = "Project code: 73576",
    year = "2013",
    doi = "10.1177/1748006X13484425",
    language = "English",
    volume = "227",
    pages = "302--314",
    journal = "Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability",
    issn = "1748-006X",
    publisher = "SAGE Publications",
    number = "3",

    }

    TY - JOUR

    T1 - Implementing dynamic flowgraph methodology models with logic programs

    AU - Karanta, Ilkka

    N1 - Project code: 73576

    PY - 2013

    Y1 - 2013

    N2 - The dynamic flowgraph methodology is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This article demonstrates how to express dynamic flowgraph methodology models as logic programs, and top events as queries to those programs, in a natural and comprehensible way. Computation of the logic program lists the prime implicants of a top event in the system. We also present and implement an algorithm for computing the probability of the top event from its prime implicants. Together, computation of prime implicants and calculation of top event probability from these constitute a complete way of finding a system’s failure probability. Logic programs, implemented in this article in the leading logic programming language Prolog, enable rapid prototyping of dynamic flowgraph methodology models. The logic programming framework introduced here could also be utilized in teaching dynamic flowgraph methodology in risk analysis courses.

    AB - The dynamic flowgraph methodology is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This article demonstrates how to express dynamic flowgraph methodology models as logic programs, and top events as queries to those programs, in a natural and comprehensible way. Computation of the logic program lists the prime implicants of a top event in the system. We also present and implement an algorithm for computing the probability of the top event from its prime implicants. Together, computation of prime implicants and calculation of top event probability from these constitute a complete way of finding a system’s failure probability. Logic programs, implemented in this article in the leading logic programming language Prolog, enable rapid prototyping of dynamic flowgraph methodology models. The logic programming framework introduced here could also be utilized in teaching dynamic flowgraph methodology in risk analysis courses.

    KW - dynamic flowgraph methodology

    KW - logic programming

    KW - Prolog

    KW - dynamic probabilistic risk analysis

    U2 - 10.1177/1748006X13484425

    DO - 10.1177/1748006X13484425

    M3 - Article

    VL - 227

    SP - 302

    EP - 314

    JO - Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

    JF - Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

    SN - 1748-006X

    IS - 3

    ER -