Информатика в семи томах




НазваниеИнформатика в семи томах
страница5/24
Дата27.11.2012
Размер3.16 Mb.
ТипДокументы
1   2   3   4   5   6   7   8   9   ...   24

1.3.2. Языковое программирование. ЯП явилось первым направлением в информатике, поскольку общение с ВМ возможно только на некотором языке. Вначале общение реализовывалось на языке машины, затем зародились тысячи ФЯ для описания данных и программ, наконец, стала актуальной проблема общения с ВМ на языке, близком к естественному. Итак, ЯП подразумевает такие виды: литературное программирование (Дейкстра), программирование на ЯПП (Интеллсист), программирование на ФЯ [Мейер82], функциональное программирование [Хювенен90]. Этот перечень не завершен, он исторически будет непрерывно развиваться. Некоторые из указанных видов программирования рассмотрим подробнее.


1.3.3. Концептуальное программирование. КП – это создание описаний понятий для выражения смысла и формы конкретной проблемы, по которым автоматически синтезируются программы [Тыугу84]. В данном случае набор логических формул определяет последовательность операций или композицию операций, что определяет последовательность действий при формировании требуемого предмета. КП ближе всего продвинуто в сторону интеллектуализации и к ИП.


КП включает такой сорт программирования как недавно появившееся объектно-ориентированное программирование (ООП). Современное его состояние отражает главным образом АП (см. п.6). Это легко объяснить тем обстоятельством, что ООП родилось в недрах АП. В связи с этим сложно выделить четкие границы ООП и АП, мы более не будем уделять внимания этому сорту программирования. КП призвано обслуживать информатические науки.


КП способствует быстрому освоению проектирования и разработки больших комплексных текстовых или программных систем. Для успешного применения такого сорта программирования необходим инструментарий. Он представлен в Интеллсист в форме спецификаций предметной и проблемной областей. Можно также обратить внимание на список литературы для определения распространенности КП вообще и программирования в спецификациях, в частности.


1.3.4. Повторное использование программ. ПИ представляется как тиражирование, адаптация, настройка, компиляция и генерация программ на основе имеющихся в библиотеках программных модулей и проектов программ. ПИ призвано обслуживать главным образом искусствознание. Наибольшее применение ПИ получило при создании пакетов прикладных программ.


Повторное использование программ или программных проектов (английское слово reuse - повторное использование программ - можно транскрибировать как риюз, см. подробнее в [Красилов91а] и в гл.3) возникло в результате анализа программ и программных библиотек, поиска путей повышения эффективности инженерного труда программистов. Поиски в этом направлении привели прежде всего к анализу уже используемых методов: контрольный повторный прогон программы, запуск вариантов решения задачи, использование программы с другими процедурами методического характера, повторная компиляция, массовое использование пакетов прикладных программ, ПИ проектов, требований, целей и др. Эти методы позволили точнее сформулировать подход к повторному использованию программ.


Главная проблема, которая возникает в риюзе, состоит в том, чтобы найти методы, встраиваемые в методы программирования и обеспечивающие поддержку реализации риюза. Например, риюз поддерживается, если при разработки программы максимально используются уровни абстракции, методы структурируемости текстов данных и программ, осуществляется систематическое применение завершенной сквозной технологии программирования, используется строгая иерархичность работ и т.п. Важно также обнаружить инвариантные части процессов проектирования, разработки и сопровождения программ. Например, инвариантами являются жизненный цикл программного обеспечения, методы аналогий, прототипирования и др.


Для реализации риюза применяется программный и методологический инструментарий. Приемы, используемые при этом, можно охарактеризовать такими примерами как визуализация, документирование, информирование, анализ и критика разработок, система подсказок, обучение пользователя, объяснение работы программы, возможность доконструирования программ и т.п. Этим перечнем нельзя ограничиваться, он может использоваться только в самом начале развития метода риюза. Риюз в будущем программировании выступает как новое эффективное направление в информатике, указывающее новый род деятельности инженера по программированию и знаниеведа.


1.3.5. Логическое программирование. Современное программирование 80-90-х годов характеризуется широким внедрением логических методов и языков в информатику [Кларк87, Логическое88, Логический90, Логический98, Хоггер88]. Они ближе к непрограммисту нежели процедурные методы, поскольку все рассуждения человека являются логическими моделями действительности. А внедрение языка Пролог обеспечило основы для прямого использования логических зависимостей в решении проблем с помощью ВМ [Братко90, Доорс90, Кларк87, Клоксин87, Набебин96, Стерлинг90, Язык88].


ЛП представляет собой совокупность способов и приемов формализации знаний о проблеме, постановке заданий на базе языка исчисления высказываний и предикатов с последующим автоматическим выводом и решением исходной проблемы [Красилов87б, 88в, Непейвода82]. ЛП подразумевает формирование спецификации проблемы в виде логической формулы с кванторами всеобщности и существования для знаний о предметной области А(Х) и запроса В(Х,У), которые можно представить так: Для известной величины Х из области, описываемой логически как А(Х), найти У такое, чтобы удовлетворялось логическое соотношение В(Х,У). Это высказывание достаточно просто переводится на ФЯ и может быть представлено следующим выражением - для всякого Х (А(Х) => существует У В(Х,У)).


ЛП связано с формированием логических формул А(Х) и В(Х,У) средствами некоторого языка, близкого непрограммисту, и автоматическим логическим выводом алгоритма У := F(Х) такого, что: для всякого Х (А(Х) => В(Х,F(Х))) - теорема в интуиционистской логике. Здесь весьма важно иметь в виду, что у алгоритма могут быть альтернативы. Это обстоятельство вытекает из свойств квантора существует. Решение задачи синтеза алгоритма по спецификации задачи может состоять из набора альтернативных алгоритмов. В АП это обстоятельство предусматривается, если постановка задачи исследована математически и установлено число выводимых алгоритмов (или результатов решения задачи). Интеллсист должна учитывать возможность наличия альтернативных решений без предварительных исследований. В этом одно из главных различий АП и Интеллсист.


Из сказанного выше ясно, что имеется по крайней мере два сорта ЛП, которые можно именовать автоматическим синтезом алгоритмов и созданием Пролог-программ для вывода результата по БЗ о фактах и утверждениях о фактах по правилам вывода. Сравнительная молодость ЛП говорит за то, что в скором времени могут появиться новые сорта ЛП. В частности новым является подход к решению задач с помощью Интеллсист и ИЛ, на которой базируется логический вывод решения.


1.3.6. Алгоритмическое программирование. Это направление в информатике является наиболее проработанным и оснащенным самыми различными методами и технологиями. В связи с таким обстоятельством можно здесь ограничиться только некоторыми замечаниями. АП (как направление) классифицируется по сортам для построения которых мы укажем лишь критерии классификации. Конечно главным критерием выделения сорта программирования является конкретный язык программирования. Он задает все возможности использования ВМ, которые контролируются формальным описанием и реализацией системы программирования. Например, Фортран определяет сорт программирования, который отличается от программирования на языке Ада.


Сорт программирования может определяться используемым методом программирования. Этот критерий классификации также важен для характеристики всех процессов создания программ и документации на программы. Построить такую классификацию просто, если известны методы программирования. Например, язык Ада формализует более 50 методов [Красилов83а, 88б], каждый из них определяет сорт процесса создания программы.


В АП каждая новая проблема (каждое новое задание) требует нового программирования, программа пишется заново для каждой задачи. Можно рассматривать проблемы повторного использования программ, или построение модификаций программ, или реализацию их версий или редакций. Но каждый раз перепрограммирование или допрограммирование так или иначе связано с процессами построения программ, цена которых является достаточно высокой (по крайней мере выше, чем цена новой аналогичной разработки). В ИП логически программируется класс проблем (БЗ), а каждая новая проблема требует формулировки нового запроса, что значительно проще построения новой программы и не требует знания ФЯ. Конечно, методы ПИ частично спасают дело построения новой программы. Однако, в конечном счете построение конечного программного комплекса приводит к частичной или даже полной работе с программой. Здесь может быть обнаружена конкуренция ИП и ПИ, которая разрешается в пользу ИП.


Программа обладает свойствами тонкой структуры алгоритмического знания. Это означает то, что незначительные изменения в программе могут привести к большой ошибке, устранение которой может потребовать большой работы. Достаточно сказать, что устранение ошибки на этапе сопровождения программы дороже устранения ее на этапе проектирования в 200 раз. ИП значительно устойчивее относительно изменения знаний или их исправления для уточнения. Это соотношение важно для реализации эффективного сопровождения программного продукта. Достаточно сказать, что ошибки в ИП устраняются на этапе проектирования знаний и запроса.


АП характеризуется большим числом формальных или формализованных методов, они весьма разнообразны и не содержат единого подхода. И как следствие этого - большие потери интеллектуальных сил при использовании методов программирования. ИП сопровождается большим числом методов извлечения знаний для решения класса проблем. Однако все они единообразны с точки зрения объекта обработки и средства представления объекта (знания).


АП использует императивные языки для представления алгоритмических знаний, в то время как ИП использует декларативные языки, которые ближе к ЕЯ общения людей. Императивные языки имеют глубокую специфичность и с трудом сводятся к декларативным языкам. Специфичность императивных языков связана с деятельностью только некоторых специальностей, а применение ВМ связано или должно быть связано со всеми специальностями. Императивные языки характеризуются жесткостью понятий, а декларативные - их мягкостью.


Каждая программа по методологии АП в результате выполнения поставляет одно решение, которое было заложено в эту программу. Это одно решение может оказаться по смыслу неправильным, поскольку задача может иметь несколько решений исходной проблемы, а полученное единственное решение может оказаться не искомым. ИП и Интеллсист поставляют все решения исходной проблемы. Это важное обстоятельство при принятии решений на основе машинного решения проблемы.


Эффективность АП зависит от языка представления программ или метода решения исходной проблемы. Эффективность ИП зависит целиком от совокупности знаний, заложенных в базу (повышение эффективности связано с введением дополнительных знаний). Конечно же АП может подразделяться на сорта по критерию используемого оборудования, которое характеризуется объемами памяти, быстродействием и логическими возможностями. От конкретных значений характеристик оборудования зависит стиль или сорт программирования, сама организация процессов использования ВМ и программы подготовки специалистов по программированию.


1.3.7. Интеллектуальное программирование. Сущность ИП указана выше, а также определены некоторые его преимущества по сравнению с АП. К этому надо добавить, что классификация Интеллсист подробно описана в [Красилов91б, 91в] и что ИП ориентирована на создание программ без ФЯ и программистов. В этих статьях строится семимерное пространство ИП (см. также том 7) для того, чтобы наглядно установить равносильность ИП и АП с точки зрения конечных возможностей использования ВМ. Можно высказать оптимизм относительно возможностей ИП: они намного шире возможностей АП. Простое объяснение кроется в том, что ИП рассматривает все виды знаний и их представления, способы представления заданий на обработку информации максимально приближены к пользователю, к его профессиональному языку. Программированием каждый человек занимается давно. Достаточно указать на примеры: лекция или доклад программирует слушателя на решение задач, обзор которых дан в лекции или докладе.


В самом общем виде спецификация проблемы может быть сформулирована на языке исчисления предикатов следующим образом: для известной величины Х и искомой величины У имеется логическая связь Р(Х,У). Каково бы ни было значение Х, найти значение У, удовлетворяющее этой логической связи. На ФЯ эта запись после автоматической трансляции примет следующий вид:


для всякого Х (существует У такой, что Р(Х, У)),


На ЯПП эта запись может выглядеть так: «для Х (найти У (Р(Х,У)))». Приведенная формальная запись проблемы и запись на ЯПП приводят к одинаковым результатам.


ИП состоит в сборе знаний, выраженных в спецификации логической формулой Р(Х,У) и в автоматическом решении логического уравнения, записанного в данной выше форме. Проблемами ИП в такой постановке являются: сбор знаний, формирование метода решения логического уравнения, уточнение знаний об условии Р и связанных с ним запросов пользователя. Важно здесь же отметить такое утверждение: попытка построения универсального решателя Саймона, основанного только на математической логике, является тупиковой (это уже было установлено и описано в литературе), необходимо строить Интеллсист (и инструментарий ИП), способную решать задания в силу переданных машине знаний. С человеком происходит что-то аналогичное: он может давать ответы или решать задачи только на по запросам (или вопросам), которые он может разрешить на основе имеющихся в его распоряжении знаний. Такой тезис едва ли может быть опровергнут практикой информатики. Можно дать классификацию спецификаций, которая вытекает из приведенной формулы. Это явится основой для классификации сортов ИП (сопоставление с классификацией Интеллсист по семимерному пространству [Красилов91в]). Можно представить Р, например так (см. статью Манна): Р := А(Х) => существует У (В(Х,У)) для проблем, решаемых продукционным программированием. Можно вместе с этим примером рассмотреть и другие формулировки Р. Многие задачи, например создание продукционных ЭС, используют эту форму для Р (см. [Уотермен89, Красилов90е]). Здесь сформулировано больше проблем нежели готовых рецептов для разрешения их методами ИП. Это довольно убедительно показывает на молодость этого направления информатики и представляет интерес для исследователя. Для изучения преимуществ ИП перед АП рассмотрены выше ряд пунктов сопоставления методов и средств этих направлений в информатике. Можно высказать оптимизм относительно возможностей ИП: они шире возможностей АП. Простое объяснение кроется в том, что ИП рассматривает все виды знаний и их представления, способы представления заданий на обработку информации максимально приближены к пользователю, к его профессиональному языку, а семимерное пространство классификации Интеллсист значительно шире пространства классификации АП.


Рассуждение первично,

реализация намеченного плана вторична.

Подумай, сделай, проверь.

А не наоборот. - Непейвода

1.4. Стили программирования


Современная информатика разработала значительное число стилей и сортов программирования. Каждый стиль или сорт более всего приспособлен для разработки информатической документации в определенной области деятельности человека.


Кроме данной выше (в разд. 1.3) классификации сортов программирования целесообразно рассмотреть другую классификацию, выделяющую стилевую сторону процесса. Стиль программирования определяется как общность образной системы процесса решения класса задач, средств выразительности алгоритмов и программ, творческих приемов их разработки, общность, обусловленная единством алгоритмического содержания класса проблем. Можно говорить о стиле отдельной программы, о стиле программиста, о стиле работы коллектива и о стиле целого направления в программировании. Ниже рассмотрим только часть классификации стилей программирования, которая во многом связана с приведенной классификацией.


1.4.1. Текстовый стиль программирования. Этим стиль используют все перечисленные сорта и виды программирования, так как они применяют только символы для записи данных, алгоритмов и программ. В частности ИП использует такой стиль.


1.4.2. Графовый стиль программирования. Средством для представления некоторых свойств программ является граф. Ранее обсуждались методы применения в программировании блок-схем для представления потоков данных, операций и управления. С появлением ВМ эти методы были первыми регулярными приемами построения программ. Также обсуждался метод программирования знаний с применением графов для представления текстов в БЗ семантическими сетями с операциями соединения и подчинения.


1.4.3. Литературный стиль программирования (ЛИП). ЛИП Дейкстры является обобщением структурного программирования для программистов, оно характеризуется использованием ЕЯ или языка профессиональной (деловой) прозы для написания суперпозиций из операций подстановки. В данном сорте программирования реализуется смыкание описания алгоритма и формальных средств его передачи ВМ. ЛИП на ЯПП необходимо прежде всего для передачи машине знаний экспертов (см. [Красилов00в]) в Интеллсист в поддержку метода аксиоматического программирования. ЛИП на ФЯ известно [Броуди90, Вегнер83, Вирт77б, Дал69, Дейкало84, Доорс90, Красилов67, Маурер80, Пратт79, Универс68] более всего программистам. Это их профессиональный язык общения с ВМ. В связи с этим обстоятельством (более всего программистская литературы представляет именно этот сорт использования ВМ). Несмотря на широкое распространение ЯП можно обнаружить, что имеется значительный потенциал такого направления в информатике. Рано делать утверждение, что использование естественных или искусственных языков исчерпало свои возможности за 50-летнее существование ВМ.


1.4.4. Сценарное программирование (СЦП). СЦП является довольно молодой областью деятельности системного и пользовательского программирования. Пример языка сценариев рассмотрен в [Красилов86]. Он ориентирован на написание технических пьес для взаимодействия с ВМ в сети с помощью реплик с обеих сторон. Язык Пьеса не был реализован, разработка завершилась на стадии разработки проекта системы автоматизации программирования диалога. Несмотря на широкое распространение ЯП можно обнаружить, что имеется значительный потенциал такого направления в информатике.


1.4.5. Функциональное программирование (ФУП). ФУП [Хендерсон83] основано на языках типа языка Лисп. Этот сорт программирования развивался в сторону применения методов программирования на аналоговых вычислительных машинах (каждый блок выполняется на основе цифровой аппаратуры) и методов программирования операций обработки потоков данных, который управляет операционными блоками. Цифровое моделирование аналоговой вычислительной техники использует преимущества быстродействия аналоговой техники и продуктивное использование памяти цифровой техники для увеличения гибкости программ и быстродействия обработки информации. Программирование, относящееся к ФУП, имеет свои черты и требует навыков в работе. Написание программ обработки возможно только при использовании смысловых сетей представления данных и функциональных программ. Потоковый метод программирования обработки данных предполагает написание программ в форме композиции функциональных символов, определяющей последовательное выполнения отдельных функций (арифметики, математического анализа и др.), а поток данных поставляет значения конкретных аргументов этих функций. Функциональная машина предполагает устройство (программное, аппаратное или программно-аппаратное), именуемое монитором, которое инициирует отдельные функциональные блоки в зависимости от свойств потока данных. Функциональная программа определяет конкретные действия монитора.


1.4.6. Другие стили программирования. Все большим спросом начинает пользоваться АУП, но оно же является наименее продвинутым вперед. АУП подразделяется на: командное (передача заданий ВМ в форме речевых команд на выполнение определенных действий), разговорное (ведение диалога с ВМ с помощью речи на языке профессиональной прозы), мелодичное (передача машине информации средствами музыки) и др. Даже постановка проблем АУП в настоящее время весьма затруднительна. Но это же является и весьма привлекательным для информатики обстоятельством.


Имеется еще значительное число стилей, сортов и видов программирования. В качестве примеров можно указать на эвристическое и генологическое программирование (системы как средства преодоления феноменологических ограничений), библиотечное или пакетное программирование. В последнее время изобретаются стили программирования, которые ориентированы и применяются в определенных областях знаний. Составление различных планов также является важным стилем программирования. Можно подытожить такие рассуждения следующим утверждением: важную и неоспоримую роль играло и играет алгоритмическое знание, его возможности не будут исчерпаны никогда.


1.5. Стиль и технология в информатике


Информатика определяется как технология анализа имеющегося знания и синтеза нового знания на основе известного. Такая формулировка является общей и вытекающей из определения информатики. Однако, информатика является также и прежде всего деятельностью по выработке нового знания с помощью ВМ, деятельностью, которая предполагает технические и технологические процессы обработки знания. Разнообразие процессов предполагает широкий спектр стилей и конкретных технологий. Поскольку технология обработки знаний происходит из технологии программирования [Красилов86а], следует считать, что стили и технологии в информатике аналогичны известным в программировании технологиям (и стилям). Более того, технологии и стили в информатике происходят и аналогичны технологиям и стилям в любой науке и в любой деятельности, поскольку каждая наука и деятельность занимаются добычей нового знания.


Прежде всего стиль в информатике основан на рассудительности, образности в обработке знаний с применением творческих приемов, обусловленности и единстве определения информатики и ее содержания и выразительности ЕЯ. О каждом методе информатики можно говорить как стилевом, если он применяется точно и регулярно. Стиль нельзя отождествлять с методом. Только сущность применения метода формирует стиль. Стиль можно отнести к отдельному человеку, решающему задачи.


Рассудительность лежит в основе представления знаний, ЯПП является прежде всего рассудительным языком. Его командная часть незначительна, поскольку записи алгоритмов требует малого числа примитивов: соединение выражений, метки выражений и перехода по метке. Остальные конструкции (цикл или условный оператор) являются «следствием» кванторных выражений («для всякого» и «найти»). Представление знаний органически требует определенного стиля во всех работах со знаниями: поиск, отбор, ввод в память ВМ, отладка и анализ результатов логического вывода.


Образность в обработке знаний также обязательна, поскольку нет знаний вообще, они всегда связаны с реальными или воображаемыми предметами, явлениями или процессами, а представление знаний является их образом. В обработке знаний всегда участвует творческое начало. Уже поиск следующего шага в обработке требует изобретательности. С другой стороны, малейший шаг для отклонения от правила или метода обработки приводит к появлению ошибок. Разрешение такого противоречия и создает творческое начало.


Выразительность ЕЯ, который воплощен в ЯПП, переносит еще одну стилевую характеристику в информатику. Каждый ЯПП формирует стиль в общении с Интеллсист. Стиль играет большую роль в представлении знаний.


1.6. Искусство в технологии обработки знаний


Указанные в заглавии два понятия достаточно тесно переплетаются. Искусство связано с умением применять методы обработки знаний так, чтобы получить эффект от их применения. Поскольку эффективность применения того или иного метода заведомо неизвестна, то необходимо обладать некоторым искусством для выбора метода. На рынке компьютерной литературы существует множество книг, предназначенных для обучения основным алгоритмам, используемых при программировании. Они в значительной степени конкурируют между собой. Особой книгой следует считать [Кнут00] - трехтомник, который стоит вне всякой конкуренции, входит в золотой фонд мировой литературы по информатике и является настольной книгой практически для всех, кто связан с программированием. Она предназначена для обучения «искусству» программирования и предлагает массу рецептов усовершенствования программ.


Вот несколько цитат из указанного трехтомника с незначительными перефразировками. Процесс обработки знания - это очень увлекательное занятие. И дело не только в том, что оно оправдывает себя с экономической и научной точек зрения; оно может вызвать также эстетические переживания, подобные тем, которые испытывают творческие личности при написании музыки или стихов. Цель книги - дать читателю разнообразные знания и умения, из которых и состоит ремесло программиста. Этот трехтомник предназначен для всех, кто серьезно интересуется компьютерами, а не только для профессионалов. В сущности, одна из главных целей состояла в том, чтобы сделать методы программирования более доступными для специалистов из других областей. Как правило, эти специалисты получают большие преимущества, используя компьютеры, но не могут позволить себе тратить время на поиски необходимой информации, крупицы которой разбросаны по множеству технических журналов.


Всякое искусство предполагает знание самых простых методов, таких как организация циклов (повторное выполнение некоторого набора команд), а также использование подпрограмм и переменных с индексами, знание распространенных компьютерных терминов, например «память», «регистры», «биты», «плавающая точка», «переполнение», «программное обеспечение»; большинство терминов, которые не определены в тексте, поясняются в алфавитном указателе в конце каждого тома. (Этим завершено неявное «цитирование».) Выбор метода связан с выбором языка представления знаний и запросов на решение задачи.


Генетические алгоритмы. Скажем, если нам надо выбрать совокупность фиксированного числа параметров рынка, наиболее выражено влияющих на его динамику, это будет набор имен этих параметров. Об этом наборе можно говорить как о совокупности хромосом, определяющих качества индивида - данного решения поставленной задачи. Значения параметров, определяющих решение, будут тогда называться генами. Поиск оптимального решения при этом похож на эволюцию популяции индивидов, представленных их наборами хромосом. В этой эволюции действуют три механизма: во-первых, отбор сильнейших - наборов хромосом, которым соответствуют наиболее оптимальные решения; во-вторых, скрещивание - производство новых индивидов при помощи смешивания хромосомных наборов отобранных индивидов; и, в-третьих, мутации - случайные изменения генов у некоторых индивидов популяции. В результате смены поколений в конце концов вырабатывается такое решение поставленной задачи, которое уже не может быть далее улучшено.


С точки зрения нашего анализа генетические алгоритмы имеют два слабых места. Во-первых, сама постановка задачи в их терминах не дает возможности проанализировать статистическую значимость получаемого с их помощью решения и, во-вторых, эффективно сформулировать задачу, определить критерий отбора хромосом под силу только специалисту. В силу этих факторов сегодня генетические алгоритмы надо рассматривать скорее как инструмент научного исследования, чем как средство анализа данных для практического применения в бизнесе и финансах. Сейчас в России доступен только один продукт этого типа - система GeneHunter фирмы Ward Systems Group. Его стоимость - около 1000 долл.


Эволюционное программирование. Сегодня это самая молодая и наиболее перспективная ветвь data mining, реализованная, в частности, в системе PolyAnalyst. Суть метода в том, что гипотезы о виде зависимости целевой переменной от других переменных формулируются системой в виде программ на некотором внутреннем языке программирования. Если это универсальный язык, то теоретически на нем можно выразить зависимость любого вида. Процесс построения этих программ строится как эволюция в мире программ (этим метод немного похож на генетические алгоритмы). Когда система находит программу, достаточно точно выражающую искомую зависимость, она начинает вносить в нее небольшие модификации и отбирает среди построенных таким образом дочерних программ те, которые повышают точность. Таким образом система «выращивает» несколько генетических линий программ, которые конкурируют между собой в точности выражения искомой зависимости. Специальный транслирующий модуль системы PolyAnalyst переводит найденные зависимости с внутреннего языка системы на понятный пользователю язык (математические формулы, таблицы и пр.), делая их легкодоступными. Для того чтобы сделать полученные результаты еще понятнее для пользователя-нематематика, имеется богатый арсенал разнообразных средств визуализации обнаруживаемых зависимостей. Для контроля статистической значимости выводимых зависимостей применяется набор современных методов, например рандомизированное тестирование. Все эти меры приводят к тому, что PolyAnalyst показывает в задачах анализа российских финансовых рынков весьма высокие показатели.


1.7. Интеллект в информатике


Интеллект символов, текстов, программ, графики и картинок известен всем. Он определяется многими факторами, среди которых отметим семь, относя их более всего к программам и знаниям вообще. Факторы интеллекта квалифицируются как номинации, поскольку отсутствуют точные количественные оценки для подсчета конечного рейтинга интеллекта исследуемого объекта. Так обычно поступают и при оценке деятельности или выступления человека. Интеллектуальность разработанной человеком программы оценивается по следующим семи номинациям:

1. наглядность или внешняя интеллектуальность,

2. осмысленность или внутренняя интеллектуальность, оснащенность языками,

3. концептуальность или базовые основы программного комплекса,

4. использование БД, взаимосвязь данных, их целостность и защищенность,

5. наличие логического вывода или вывод ответов на запросы пользователей,

6. программная пригодность или настраиваемость и адаптируемость программы,

7. системная пригодность или общественная жизнь программного комплекса.

Каждая номинация расшифровывается чуть подробнее в т.7..Главный вывод, который можно заключить из подробных обсуждений состоит в том, что Интеллсист является наиболее интеллектуальной по сравнению с имеющимися программами ИИ. Инструментарий ИП будет непрерывно улучшаться в смысле интеллектуальности по мере развития его версий, по завершении временно замороженных работ и подработ.


Интеллект в информатике является главным атрибутом любой программы, поскольку она ориентирована на прямого пользователя. Интеллект в информатике будет развиваться по мере развития средств СВТ. Чем более работа программы приравнивается к поведению и деятельности человека, тем выше программа будет оцениваться положительно и квалифицировано по всем факторам и номинациям интеллектуальности.


1   2   3   4   5   6   7   8   9   ...   24

Похожие:

Информатика в семи томах iconСобрание сочинений в семи томах 3 «Собрание сочинений в семи томах»: Время; 2008
Собрание сочинений М. М. Зощенко — самое полное издание прозы одного из крупнейших писателей-новаторов XX века. В него входят практически...
Информатика в семи томах iconИнформатика в семи томах
Определяются логические лексемы, фундаментальные операции, правила преобразования логических уравнений, а также металогика для обоснования...
Информатика в семи томах iconИнформатика в семи томах
Словарь поможет пользователям Интеллсист и разработчикам машинных систем разнообразного назначения в написании отчетов, руководств...
Информатика в семи томах iconВ семи томах том Информатика смысла Машинная лингвистика
Семантическая и распознающая грамматики связаны между собой как алгоритм и средства его реализации. Основой для контроля правильности...
Информатика в семи томах iconВ семи томах том Основы информатики (Введение в информатику)
Вм на основе своих общих и профессиональных знаний без привлечения программистов для решения задач, для разрешения вопросов или проблем...
Информатика в семи томах iconВ семи томах том Представление знаний (Структуры данных)
Приводимые примеры служат фрагментами прототипов записей знаний и запросов, предназначенных для создателей заданий и запросов к базе...
Информатика в семи томах iconРавительство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том V уфа гилем 2010
Российская академия наук Уфимский научный центр ■ Институт истории, языка и литературы
Информатика в семи томах iconЬство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том VI москва восточная литература 2011
Российская академия наук Уфимский научный центр Институт истории, языка и литературы
Информатика в семи томах iconВ семи томах том Интеллектуальные системы (Системы решения проблем)
Интеллсист, их структуры и технологии работы с инструментарием составляют центральную часть тома. Оценка возможностей Интеллсист...
Информатика в семи томах iconСтихотворения М. И. Цветаевой печатаются в основном по двум изданиям
Стихотворений (главным образом ранних, относящихся к 10-м годам) печатается по изданию: М. Цветаева. Неизданное: Стихи. Театр. Проза....
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница