Cтраница 4
Оболочки используются для облегчения и ускорения процесса разработки специализированных экспертных систем. Помимо того оболочки включают в себя автономный аппарат построения вывода, который может осуществлять совместную обработку информации и проводить вывод заключений из нескольких различных баз данных. Все i это дает возможность быстро разрабатывать прототипы экспертных систем. [46]
Следует подчеркнуть, что интеллектуальные системы, основанные на знаниях, нельзя получить просто в результате построения базы знаний и соответствующего механизма обработки информации для нее. Хотя фактически всякое составление, скажем, логической программы можно было бы справедливо назвать примером программирования, основанного на зна-иях, тем не менее неверно было бы говорить, что пролого-по-добная реализация этой программы обязательно образует ИСОЗ. Интеллектуальная обработка информации включает в себя, конечно, гораздо большие возможности, чем те, которые дают базисные средства построения вывода и выполнения поиска; по крайней мере для нее требуются стратегические механизмы ( такие как эвристики), позволяющие сокращать ненужный поиск, используя, например, свою достаточную осведомленность о классе исследуемых задач. Интеллектуальные стратегии могут встраиваться непосредственно в интерпретатор, что дает весьма значительный эффект, когда эти стратегии являются достаточно общими. С другой стороны, прикладные программы объектного уровня могут вызываться посредством программ метауровня, которые содержат описания стратегий и которые при желании могут быть изъяты из интерпретатора и перепрограммированы в соответствии с обстоятельствами. При таком подходе может быть использована в полной мере вся та сила и общность, которые дает амальгамирование объектного языка и метаязыка. [47]
Имеется несколько причин, в силу которых синтетический подход оказывается особенно удобным для разработки логических программ. Во-первых, метод верификации, описанный в гл. V как вывод процедур, сразу же дает нам средство синтеза, способное гарантировать соответствие программ своим спецификациям: в процессе построения вывода эффективным образом получается текст программы. Во-вторых, отделение логики от управления означает, что программист может пользоваться этим средством, заранее не беспокоясь о всех деталях поведения: хотя синтез каждого сегмента программы может и предполагать некоторое определенное поведение, последнее самим сегментом окончательно не фиксируется, поскольку имеется возможность выбора того или иного управления независимо от логики сегмента. [48]
Маркс совмещал в себе оба качества, необходимые для гениального мыслителя. Он мастерски разлагал предмет на его составные части и затем восстанавливал его со всеми его деталями и различными формами развития и открывал внутреннюю их зависимость. Его доказательства не были абстракциями, как утверждали экономисты, неспособные мыслить; его метод был не метод геометрии, которая, черпая свои определения из окружающего мира, при построении выводов совершенно отрешается от реальной почвы. В Капитале мы находим не отдельные определения, не отдельные формулы, а ряд в высшей степени тонких анализов действительности, передающих самые легкие оттенки и малейшие различия. [49]