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 language | English |
---|---|
Title of host publication | 8th Korea-Russia International Symposium on Science and Technology - Proceedings: KORUS 2004 |
Pages | 157-161 |
Number of pages | 5 |
Volume | 1 |
DOIs | |
Publication status | Published - 2004 |
Event | 8th Korea-Russia International Symposium on Science and Technology, KORUS 2004 - Tomsk, Russian Federation Duration: 26 Jun 2004 → 3 Jul 2004 |
Conference
Conference | 8th Korea-Russia International Symposium on Science and Technology, KORUS 2004 |
---|---|
Country | Russian Federation |
City | Tomsk |
Period | 26.6.04 → 3.7.04 |
Keywords
- Attributes
- Direct inference
- Expert systems
- Inverted inference
- Optimization
- Production rules
- Subject area
ASJC Scopus subject areas
- Engineering(all)