Analysis of solution searching algorithms on the model of functional relations

Victor A. Silich, Mary P. Silich, Nadja U. Khabibulina

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    Here are given the results of studying the size of direct and inverted inference algorithms computations for solving the tasks of diagnostics, optimal designing, planning and complex systems control. The model of the subject area is set as a directed net without loops, where the attributes are the vertexes and functional dependences between attributes are arches. The dependences between attributes of the simulated subject area can be specified in different ways - as production rules, analytic dependences or function procedures. Formulae for defining the size of the subject area model calculus by direct and inverted inference algorithms are given. It is shown with the increasing of number of sources (and the corresponding decreasing of number of non-source attributes) the size of computations of direct inference algorithm is increasing and the size of computations of inverted inference algorithm fails. At limited number of sources the task of optimization is rather solved by the method of direct inference, and the method of inverted inference is more efficient at large amount of sources.

    Original languageEnglish
    Title of host publication8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004
    Pages157-161
    Number of pages5
    Volume1
    DOIs
    Publication statusPublished - 2004
    Event8th Korea-Russia International Symposium on Science and Technology, KORUS 2004 - Tomsk, Russian Federation
    Duration: 26 Jun 20043 Jul 2004

    Conference

    Conference8th Korea-Russia International Symposium on Science and Technology, KORUS 2004
    CountryRussian Federation
    CityTomsk
    Period26.6.043.7.04

    Fingerprint

    Arches
    Large scale systems
    Planning

    Keywords

    • Attributes
    • Direct inference
    • Expert systems
    • Inverted inference
    • Optimization
    • Production rules
    • Subject area

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    Silich, V. A., Silich, M. P., & Khabibulina, N. U. (2004). Analysis of solution searching algorithms on the model of functional relations. In 8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004 (Vol. 1, pp. 157-161) https://doi.org/10.1109/KORUS.2004.1555304

    Analysis of solution searching algorithms on the model of functional relations. / Silich, Victor A.; Silich, Mary P.; Khabibulina, Nadja U.

    8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004. Vol. 1 2004. p. 157-161.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Silich, VA, Silich, MP & Khabibulina, NU 2004, Analysis of solution searching algorithms on the model of functional relations. in 8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004. vol. 1, pp. 157-161, 8th Korea-Russia International Symposium on Science and Technology, KORUS 2004, Tomsk, Russian Federation, 26.6.04. https://doi.org/10.1109/KORUS.2004.1555304
    Silich VA, Silich MP, Khabibulina NU. Analysis of solution searching algorithms on the model of functional relations. In 8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004. Vol. 1. 2004. p. 157-161 https://doi.org/10.1109/KORUS.2004.1555304
    Silich, Victor A. ; Silich, Mary P. ; Khabibulina, Nadja U. / Analysis of solution searching algorithms on the model of functional relations. 8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004. Vol. 1 2004. pp. 157-161
    @inproceedings{760a9d119f164bc184b365b760630599,
    title = "Analysis of solution searching algorithms on the model of functional relations",
    abstract = "Here are given the results of studying the size of direct and inverted inference algorithms computations for solving the tasks of diagnostics, optimal designing, planning and complex systems control. The model of the subject area is set as a directed net without loops, where the attributes are the vertexes and functional dependences between attributes are arches. The dependences between attributes of the simulated subject area can be specified in different ways - as production rules, analytic dependences or function procedures. Formulae for defining the size of the subject area model calculus by direct and inverted inference algorithms are given. It is shown with the increasing of number of sources (and the corresponding decreasing of number of non-source attributes) the size of computations of direct inference algorithm is increasing and the size of computations of inverted inference algorithm fails. At limited number of sources the task of optimization is rather solved by the method of direct inference, and the method of inverted inference is more efficient at large amount of sources.",
    keywords = "Attributes, Direct inference, Expert systems, Inverted inference, Optimization, Production rules, Subject area",
    author = "Silich, {Victor A.} and Silich, {Mary P.} and Khabibulina, {Nadja U.}",
    year = "2004",
    doi = "10.1109/KORUS.2004.1555304",
    language = "English",
    isbn = "0780383834",
    volume = "1",
    pages = "157--161",
    booktitle = "8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004",

    }

    TY - GEN

    T1 - Analysis of solution searching algorithms on the model of functional relations

    AU - Silich, Victor A.

    AU - Silich, Mary P.

    AU - Khabibulina, Nadja U.

    PY - 2004

    Y1 - 2004

    N2 - Here are given the results of studying the size of direct and inverted inference algorithms computations for solving the tasks of diagnostics, optimal designing, planning and complex systems control. The model of the subject area is set as a directed net without loops, where the attributes are the vertexes and functional dependences between attributes are arches. The dependences between attributes of the simulated subject area can be specified in different ways - as production rules, analytic dependences or function procedures. Formulae for defining the size of the subject area model calculus by direct and inverted inference algorithms are given. It is shown with the increasing of number of sources (and the corresponding decreasing of number of non-source attributes) the size of computations of direct inference algorithm is increasing and the size of computations of inverted inference algorithm fails. At limited number of sources the task of optimization is rather solved by the method of direct inference, and the method of inverted inference is more efficient at large amount of sources.

    AB - Here are given the results of studying the size of direct and inverted inference algorithms computations for solving the tasks of diagnostics, optimal designing, planning and complex systems control. The model of the subject area is set as a directed net without loops, where the attributes are the vertexes and functional dependences between attributes are arches. The dependences between attributes of the simulated subject area can be specified in different ways - as production rules, analytic dependences or function procedures. Formulae for defining the size of the subject area model calculus by direct and inverted inference algorithms are given. It is shown with the increasing of number of sources (and the corresponding decreasing of number of non-source attributes) the size of computations of direct inference algorithm is increasing and the size of computations of inverted inference algorithm fails. At limited number of sources the task of optimization is rather solved by the method of direct inference, and the method of inverted inference is more efficient at large amount of sources.

    KW - Attributes

    KW - Direct inference

    KW - Expert systems

    KW - Inverted inference

    KW - Optimization

    KW - Production rules

    KW - Subject area

    UR - http://www.scopus.com/inward/record.url?scp=29344457603&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=29344457603&partnerID=8YFLogxK

    U2 - 10.1109/KORUS.2004.1555304

    DO - 10.1109/KORUS.2004.1555304

    M3 - Conference contribution

    SN - 0780383834

    VL - 1

    SP - 157

    EP - 161

    BT - 8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004

    ER -