Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Построение дерева доказательства

2013-05-27 08:49:21 (читать в оригинале)

Простым примером использования метаинтерпретатора является по-строение дерева доказательства в процессе решения определенной цели. Дерево доказательства полезно для средств объяснения в экспертных системах. Основным отношением метаинтерпретатора является отношение solve(Goal,Tree), где Tree — дерево доказательства для решения цели Goal . Если для вашей фирмы требуется качественный сайт то заказать его лучше у профессионалов тут: Создание сайтов Петербург. [...]