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




НазваниеИнформатика в семи томах
страница1/44
Дата30.08.2012
Размер6.34 Mb.
ТипДокументы
  1   2   3   4   5   6   7   8   9   ...   44
А.А. Красилов


ИНФОРМАТИКА


В СЕМИ ТОМАХ


Том 3. Концептуальная информатика

(Толковый словарь по информатике





Москва

1997 - 2003


ИНФОРМАТИКА


Том 1. Основы информатики

(Введение в информатику)


Том 2. Информатика смысла

(Машинная лингвистика)


Том 3. Концептуальная информатика

(Толковый словарь по информатике)


Том 4. Представление знаний

(Структуры данных)


Том 5. Основания информатики

(Теоретические основы)


Том 6. Методы информатики

(Изобретание, проектирование,

разработка и сопровождение)


Том 7. Интеллектуальные системы

(Системы решения проблем)


Альберт Александрович Красилов


УДК ....................


Аннотация


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


The informatics as a science has the lexicon which has not settled and is yet in development. In volume disclosing concept of sense of the texts used in informatics, through studying of sense of concept proceeds. Set of concepts of some area of knowledge makes a lexicon of the given area of knowledge. The offered terminological dictionary being a lexicon for the person, contains by way of illustration definitions more than 1350 terms according to new definition of informatics. As against known terminological dictionaries on programming the offered dictionary bases on new definition of the concept of informatics as sciences about the description, judgement, definition, accumulation, formalizations, use of knowledge for synthesis of new knowledge with help of means of computer facilities and programs of its work. On the other hand, terms and their definitions open sense of the basic concepts of informatics, promote understanding of new definition of informatics. The dictionary will help users Intelsis and to developers of machine systems of various purpose(or assignment) with a spelling of reports, manuals and grants. The dictionary also will be useful to students and the post-graduate students engaged in bases of informatics.


(www.translate.ru)


ОГЛАВЛЕНИЕ


Введение

Глава 1. Основные понятия: знак, язык, понятие, значение, теория, алгоритм и система

1.1. Понятие знака

1.2. Понятие языка

1.3. Понятие понятия

1.4. Понятие значения

1.5. Понятие теории

1.6. Понятие алгоритма

1.7. Понятие системы

Глава 2. Передача знания средствами языка

2.1. Концепция синтаксиса языков

2.2. Концепция семантики языков

2.3. Язык как средство передачи знаний

2.4. Концепция прагматики языков

2.5. Соотношение языка и знаний

2.6. Передача смысла текстами

2.7. Системы обработки знаний

Глава 3. Основные концепции определения понятий

3.1. Атрибуты определения понятий

3.2. Свойства определений

3.3. Назначение определения понятия

3.4. Классификация определений

3.5. Функции определения понятия

3.6. Развитие понятий

3.7. Формирование нового понятия

Глава 4. Представления понятий

4.1. Некоторые соображения о внешних представлениях

4.2. Внутренние представления

4.3. Словари из символов и слов

4.4. Терминологический словарь

4.5. Представление знания

4.6. Представления программ как смысла алгоритмов

4.7. О словарях баз знаний

Глава 5. Теория определений

Введение

5.1. Критерии для определений

5.2. Теория имени и значения, наименование понятия

5.2.1. Имена и значения

5.2.2. Наименование понятия

5.3. Структура определения

5.4. Теория и классы определений

5.5. Классы определений

5.5.1. Описательное определение

5.5.2. Контекстное определение

5.5.3. Остенсиональное определение

5.5.4. Интенсиональное определение

5.5.5. Аксиоматическое определение

5.5.6. Операциональное определение

5.5.7. Индуктивное определение

5.6. Теория определений в алгоритмах

5.7. Концептуальная информатика как теория

Глава 6. Вычисление смысла понятия

6.1. Смысл понятия

6.2. Приемы определения понятия

6.3. Правила определения понятия

6.4. Словари и смысл текста

6.5. Приемы построения определений в ИП

6.5.1. Языки определений понятий

6.5.2. Некоторая языковая атрибутика определений

6.5.3. Предикатные определения

6.5.4. Определение логическими уравнениями

6.5.5. Определения алгоритмами

6.5.6. Определения в языке Лейбниц

Глава 7. Трансляция на формальный язык

7.1. Лексический анализ

7.2. Выделение терминов

7.3. Перевод на ФЯ, синтаксический и семантический анализы

7.4. Перевод с формального языка на естественный язык

7.5. Сохранение смысла

7.6. Общие операции анализа текстов и МГР

7.7 Проблемы концептуальной информатики

Литература

Приложение 1. Терминологический словарь по информатике

А

Б

В

Г

Д

Е

Ж

З

И

К

Л

М

Н

О

П

Р

С

Т

У

Ф

Х

Ц

Ч

Ш

Щ

Э

Ю

Я

Приложение 2. Словарь терминов по информатике на русском языке

Приложение 3. Словарь терминов информатики на английском языке


Сокращения для терминов


АЛЗ - алгоритмические знания

БД - база данных

БЗ - база знаний

ВМ - вычислительная машина, осуществленная на какой-либо

физической, биологической или другой основе

ГЯ - граф языка

ЕЯ - естественный язык

ИИС - инструментарий интеллектуальной системы

ИМГР - интерпретатор машины грамматического разбора

Интеллсист - интеллектуальная система

КИЗ - кибернетические знания

КОЗ - концептуальные знания

ЛИЗ - лингвосемиотические знания

МГР - машина грамматического разбора

МТ - машина Тьюринга

ПЭВМ - персональная электронная вычислительная машина

СВТ - средства вычислительной техники

СеГ - семантическая грамматика

СЕЗ - семантические знания

СиГ - синтаксическая грамматика

СУБД - система управления базой данных

СУБЗ - система управления базой знаний

т. - том публикации Информатика

ТЕЗ - теоретические знания

ФАЗ - фактографические знания

ФРАК - формульный автокод

ФЯ - формальный язык

ЭВМ - электронная вычислительная машина

ЭС - экспертная система

ЯЛ - язык Лейбниц

ЯПП - язык профессиональной прозы


ВВЕДЕНИЕ


По СеГ все тексты знания состоят из терминов понятий и лексем, которые также можно понимать как термины, они являются самоопределяемыми терминами. Термины подразделяются на терманды (термины - операнды) и термации (термины - операции). Каждый термин является, в частности, наименованием или именем понятия, он сопровождается определением для человека, конкретным значением и типом или множеством значений (возможных и допустимых смыслов). Термин вместе с определением и атрибутами составляют лексикон или помещаются в лексикон. Все атрибуты (некоторые указаны выше), характеризующие термин, в совокупности определяют понятие. Понятие и атрибуты термина этого понятия составляют первичное знание, в запросах они полностью определяются пользователем, если они уже не определены и употреблены в используемом знании в качестве стандартных (во встроенных или фундаментальных знаниях) или базовых знаниях (в БЗ). Фундаментальным изобретением пользователя Интеллсист является конструкция понятия, или соответствующего термина вместе с его характеристиками. Вступительный абзац связывает излагаемый материал с материалом т.2, в котором заложены языковые основы для рассмотрения концептуальной информатики.


Наиболее сложным разделом информатики является раздел, в котором изучаются проблемы изобретания, проектирование, выбора и определения понятий, осуществляется концептуализация знаний, а следом - определение смысла текста. Решение этих проблем составляет сущность этапа формализации знаний. Именно в связи с процессами изобретания характеристик понятий возникает интеллектуальная сложность. Сложность изложения содержания раздела основывается на некоторых обстоятельствах. Среди них отметим следующие обстоятельства. Рассмотрение ведется на примере определения понятия информатики. Новое понятие информатики и его определение имеет слабую устойчивость, так как оно пока опирается на малую область использования в современном понимании и имеет ограниченное число потребителей. В таком случае необходима смелость для внедрения нового понятия в практику исследований и разработок. Вообще же каждое новое понятие или его обозначающий термин встречают естественное сопротивление со стороны пользователей. Внедрение ВМ в практику составления словарей терминов и определений, выработки понятий и анализа системы понятий только начинается (в отличие от словарей и терминов из слов). Еще мало накоплено программ для решения подобных задач. Здесь важное место в таком перечне трудностей и проблем занимает вопрос связи нового понятия с имеющимся набором понятий, примыкающих к исследуемой области знаний. И еще одно обстоятельство, к настоящему времени еще не сформировался формализм теории определения понятия, хотя имеется огромный список литературы, которая включает свою интерпретацию разрешения проблемы определения понятий [Апресян74, Бакланов78, Бектаев69, Бидер76, Бирюков65, Богодист74, Гетманова95, Зализняк77, Ловицкий80, Мальковский80, Машина86, Пиотровский74, ПоповЭ82, Рубашкин89, Скороходько74, Тыугу84, Фрейденталь69, Хельбиг80, Шанский81]. Правда, отдельные науки (в особенности математика и информатика) выработали подходящий формализм для построения понятий. Но распространение имеющегося формализма на общую теорию определения затруднительно. Конечно, необходимо быть оптимистом для введения новых определений понятий. Именно это позволяет надеяться на успех при формировании нового определения информатики.


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


Концептуальная информатика - это раздел информатики, изучающий описание, осмысление, определение, представление, формализацию и применение слов, терминов, имен, понятий, определений и смысла этих объектов для решения различных проблем применения ВМ, функционирования системы человек-ВМ и формирования новых слов, терминов, имен, понятий и их определений. Самым верным и богатым источником знаний в концептуальной информатике является ЕЯ и его грамматики (СиГ и СеГ). В СеГ ЕЯ наиболее точно определяются понятия слова, термина, имени и понятия. Эти определения значительно шире соответствующих определений в СиГ. Более всего будем уточнять понятие имени и дадим полное определение понятий «понятие» и «определение». Такова программа этого тома.


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


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


Предлагаемый третий том вводит начальные представления и начальное понимание концептуальной информатики через раскрытие смысла и способов построения понятий и их определений. Важная часть тома - определение смысла текста. Такое определение не совпадает с известными определениями (см. т.2). Начнем с рассмотрения некоторых важных свойств самого понятия определения. Определение как обычно характеризуется атрибутами, которые перечислены ниже.


Далее рассматриваются классы определений, которые порождены в результате развития концепций информатики. Допускается, что известные в лингвистике классы не полностью согласуются с данными ниже. Будем восхвалять судью - читателя. Новая классификация поддержана способами построения и представления определений любого понятия (глава 3). Изложена попытка построения теории определений и методов формализации определений понятий (глава 5). И, наконец, в качестве практических иллюстраций всех исследований в Приложении 1 приведен терминологический словарь по информатике.


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

Похожие:

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


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