УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта


јвтор:  ∆ожикашвили ј.¬.
Ќазвание:  Ёквивалентность двух способов упор€дочени€ множества морфизмов с†общим источником
¬ыпуск:  72
–убрика:  —истемный анализ
√од:  2018
Ѕиблиографи€:  ∆ожикашвили ј.¬. Ёквивалентность двух способов упор€дочени€ множества морфизмов с†общим источником // ”правление большими системами. ¬ыпуск 72. ћ.: »ѕ” –јЌ, 2018. —.33-51. URL: https://doi.org/10.25728/ubs.2018.72.3
 лючевые слова:  представление знаний, продукционна€ система, теори€ категорий, универсальна€ алгебра
 лючевые слова (англ.):  pattern matching, production system, category theory, universal algebra
јннотаци€:  –абота посв€щена решению математической задачи, возникшей в исследовани€х автора по продукционным системам. ќдним из способов управлени€ сложными си-стемами €вл€етс€ использование экспертных систем и аналогичных им интеллектуальных компьютерных систем, основанных на знании. ћногие системы подобного рода основаны на использовании правил или продукций. ¬ своих работах автор построил математическую теорию таких систем, основанную на аппарате теории категорий. ќдним из основных пон€тий этой теории €вл€етс€ пон€тие образца Ц описани€ множества ситуаций, в которых пра-вило применимо. ¬ажными с теоретической точки зрени€ €вл€ютс€ вопросы о том, насколько точно образец опреде-л€етс€ множеством описываемых им ситуаций. ¬ работе решена одна из задач, относ€щейс€ к этому кругу вопросов.
јннотаци€ (англ.):  In previous works, the author proposed a mathematical language for describing the rules in artificial intelligence. A single production acts over a set of situation, taking one situation as a source and generating the another situation as the result of its application. The concept of pattern for a generalized description of similar situations is important in this theory. Both the situation and the pattern are coded in the proposed language by morphisms of the appropriately chosen category. Samples can be ordered by a degree of generality. Two methods of such ordering could be considered. We can assume that the first pattern is more general than the second one if the second can be obtained by specifying the first. We also can assume that the first pattern is more general than the second if each situation, suitable for the first pattern, is suitable for the second one. These two ways of ordering are close but not identical. The reformulation of these two definitions in the language of a category theory leads to the mathematical problem of comparing of two ways of ordering a certain set of morphisms. An article is devoted to an investigation of this problem.

¬ формате PDF
ќбсудить статью в »нтернет-концеренции по проблемам управлени€

ѕросмотров: 573, загрузок: 221, за мес€ц: 8.

Ќазад

»ѕ” –јЌ © 2007. ¬се права защищены