ТОП просматриваемых книг сайта:
Mivar NETs and logical inference with the linear complexity. Олег Варламов
Читать онлайн.Название Mivar NETs and logical inference with the linear complexity
Год выпуска 0
isbn 9785990338845
Автор произведения Олег Варламов
Жанр Компьютеры: прочее
Издательство Автор
In general form, productions are rather rare. Horoshevsky marks out an intermediate “layer of rules” for which the research of different logic inference on rules systems is made [31, p.82-83].
Logic processing is understood as some conclusion lying in the base of human reasoning. Each process of drawing a conclusion depends on the examination of options. To increase the efficiency of process of logic inference is a central problem of all systems of the deductive conclusion [23, p. 79].
D.A. Pospelov has described two methods of logic inference: the method of forward wave and the method of backward wave. In the first method, the wave of the searching paths is propagating from all initial areas to the aim area. In the second, this wave is propagating from the aim area towards initial areas. The difference of two methods comes to different number of steps of the search. The combined method is frequently used when forward and backward waves meet, and the path from initial data towards the aim is being driven [23, p.85]. Picture 1 shows an example the graph of non-oriented “AND-OR” net [23, p. 83].
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.