Три - правило
Cтраница 4
Связующие поля должны содержать данные одного типа. А теперь быстро повторите эти три правила еще раз. [46]
С помощью этого метода, внедренного Джозефом Гранвиллем, и с помощью графика цен нарисовано поведение накопленного объема, где объем положительный в дни с поднимающимися ценами и отрицательный в дни со снижающимися ценами. Это делает видимой перспективу, на протяжении которой объем подтверждает тренд. Существует три правила, которые следует знать. [47]
Одна из первых работ в области эвристического программирования была посвящена разработке программы Логик-теоретик для доказательства - математических теорем. В программе Логик-теоретик практически реализована возможность автоматизированного доказательства математических теорем символической логики, а именно - теорем по исчислению высказываний. Программа Логик-теоретик на основании правил вывода позволяет получать новые теоремы из исходных аксиом и других теорем. В доказательстве используют три правила вывода: подстановку, замену, отделение, а в качестве аксиом - пять истинных высказываний. Построение доказательства начинают от конечного результата по направлению к исходным посылкам. Эта направленность доказательства и вопросы иерархического наследования в доказательстве теорем имеют ряд общих черт с процедурой синтеза структуры ХТС. На каждом этапе из заданного списка аксиом или ранее доказанных теорем выбирается такая, из которой с помощью правил вывода может быть выведена теорема данного этапа. Поэтапная процедура доказательства продолжается до тех пор, пока в списке для вывода не окажутся исходные посылки. В этом случае задача считается решенной. Необходимо, однако, отметить, что в ряде случаев поиск метода доказательства теоремы может оказаться безуспешным. [48]
Например, почему он считает, что язва у больного X заживает. Накапливается несколько таких обоснований [34], а через некоторое время эксперту зачитывают только его обоснование и просят сделать прогноз. Эксперт дополняет обоснование, тем самым выявляются скрытые ( для самого эксперта) пласты знаний. Так, в играх Обоснование прогноза рецидива язвенного кровотечения удалось выявить, что значимыми для прогноза являются всего три правила. Причем два правила входили в традиционно-диагностический вопросник, а третье было сформулировано во время игры. [49]
 |
Сравнение явного контекста с неявным. [50] |
Многие правила в системе PUFF представляют знания неявно. Контекст, в котором правило применяется, часто заложен в некоторые из посылок, в то время как остальные посылки представляют реальные части медицинской экспертизы. Этот неявный контекст только тогда становится очевидным, когда правила рассматриваются как группа. Например, верхняя половина рис. 15 изображает набор из трех правил, которые приложимы, когда их общие посылки, А и fi, истинны. Если какое-нибудь одно из этих правил рассматривать изолированно, то станет неясно, что посылки А и В образуют контекст, в котором третья посылка проверяется с целью сделать вывод. Вместо этого неявного представления контекста можно связать все три правила явно с контекстом Л, В и включить в каждое правило указатель на этот контекст, как показано на второй половине рисунка. Подход, использованный в системе КЕНТАВР, состоял в том, чтобы явно связать правила с прототипом, определяющим контекст, в котором они применимы. [51]
Например, почему он считает, что язва у больного X заживает. Накапливается несколько таких обоснований [ Гельфанд, Розенфельд, Шифрин, 1988 ], а через некоторое время эксперту зачитывают только его обоснование и просят сделать прогноз. Как правило, этого он сделать не может, то есть обоснование ( или его знания) было неполным. Эксперт дополняет обоснование, тем самым выявляются скрытые ( для самого эксперта) пласты знаний. Так, в играх Обоснование прогноза рецидива язвенного кровотечения удалось выявить, что значимыми для прогноза являются всего три правила. Причем два правила входили в традиционно-диагностический вопросник, а третье было сформулировано во время игры. [52]
Страницы: 1 2 3 4