Изобретание, проектирование, разработка и сопровождение) Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов icon

Изобретание, проектирование, разработка и сопровождение) Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов


1 чел. помогло.
Смотрите также:
Изобретание, проектирование...
Изобретание, проектирование...
Изобретание, проектирование...
Изобретание, проектирование...
Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов...
Том Интеллектуальные системы (Системы решения проблем)  Альберт Александрович Красилов...
Лекция: Этапы проектирования ис с применением uml: Основные типы uml-диаграмм...
Программа дисциплины интеллектуальные информационные системы индекс дисциплины по учебному плану...
Рабочая программа учебной дисциплины (модуля) Интеллектуальные системы принятия проектных...
Интеллект человека и искусственный интеллект...
Программа: Iдень...
Предмет и метод курса "Проектирование информационных систем"...



Загрузка...
страницы: 1   ...   15   16   17   18   19   20   21   22   ...   32
вернуться в начало
скачать

Л


ЛЕКСЕМА (лексический элемент) [lexical element] - последовательность символов, синтаксически выделенная и рассматриваемая в контексте и имеющая свой индивидуальный смысл. Л. является, например ограничитель, идентификатор, числовой литерал, символьный литерал, строковый литерал, комментарий. Л. предназначена для формирования текстов знаний, запросов и программ.


^ ЛЕКСИКОГРАФИЧЕСКИЙ ПОРЯДОК [lexicographic order] - порядок на множестве текстов, при котором один текст предшествует другому, если составляющие его символы, начиная с первого (слева направо), по значению меньше, при равенстве значений символов - их меньше по числу.


ЛЕКСИКОН [lexicon] - словарь терминов, используемых для описания предметной и проблемной областей, вместе с характеристиками каждого термина, его значением и определением. Л. является основой базы знаний.


^ ЛЕКСИЧЕСКИЙ АНАЛИЗ [lexical analysis] - часть грамматического разбора текстов (например программ) для выделения лексем с последующей заменой их на условные коды для облегчения в дальнейшем синтаксического анализа. Процедура Л.а. формирует таблицы лексем, создаваемых автором текста.


^ ЛЕММА [lemma] - вспомогательное предложение, употребляемое при доказательстве других утверждений.


ЛЕММАТИЗАЦИЯ - автоматическое составление словарей.


^ ЛИМИТИРУЕМЫЙ ТИП [limited type] - личный тип с отложенным до соответствующего личного раздела пакета описанием и с ограниченным числом операций, определяемых введением этого типа.


ЛИНГВИСТИКА [linguistics] - отрасль знания, занимающаяся изучением языка (его структуры, свойств и т.п.). Л. бывает математическая и структурная.


^ ЛИНГВИСТИЧЕСКАЯ ОШИБКА [linguistic error] - результат неправильного использования форм и характеристик терминов в известных контекстах. Л.о. обнаруживаются автоматически по таблицам, словарям из слов и терминов (с помощью лексикона) при трансляции исходных текстов на формальный внутренний язык Лейбниц.

^ ЛИНГВИСТИЧЕСКИЙ ПРОЦЕССОР [linguistical processor] - математическая машина, процессор которой реализует операционные примитивы некоторого языка программирования, а память - описания объектов этого языка.


^ ЛИНГВИСТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ [linguistical support] - совокупность языков данных, языков программирования и их описаний, используемая в конкретной области решения класса проблем.


^ ЛИНГВОСЕМИОТИЧЕСКИЕ ЗНАНИЯ [linguisemiothical knowledge] - знания, представленные описательно с помощью символьных текстов на языке профессиональной прозы. Например, декларативные, описательные знания о фактах или правилах.


ЛИПС [LIPS (logic inferance per second)] - единица измерения быстродействия при выполнении логического вывода по программе, составленной из операций-шагов логического вывода, применения правил преобразования. ЛИПС выражается количеством шагов логического вывода в секунду. В современном логическом программировании быстродействие программ характеризуется числом 10 000 шагов в сек.


ЛИСТИНГ [listing] - распечатка представлений данных и программ в результате, например трансляции программы; Л. может содержать текст исходной программы, промежуточный или объектный код, таблицу ссылок или характеристик, диагностические сообщения и др. Различные по форме тексты в распечатке могут сопоставляться попарно (билистинг), по три (трилистинг) и т.п.


^ ЛИТЕРА [letter] - элемент алфавита. Л. бывают письменные, печатные, звуковые, импульсные, пробивки. Каждая Л. имеет представление.


ЛИТЕРАЛ [literal] - изображение значения некоторого типа, задающее в программе соответствующую базовую операцию преобразования изображения в значение; см. числовой литерал, литерал перечисления, литерал пусто и символьный литерал.


^ ЛИТЕРАЛ ПЕРЕЧИСЛЕНИЯ [enumeration literal] - термин, обозначающий значение или модальность в многозначных логиках.


ЛИТЕРАЛ ПУСТО [emptily literal] - единственная базовая операция над ссылочным типом для получения ссылки на ничто; базовая операция, заданная зарезервированным словом null и вырабатывающая пустое ссылочное значение, не указывающее ни на какой объект вообще.


^ ЛИЧНЫЙ ТИП [private type] - тип, описание которого отложено и находится в личном разделе пакета и использование которого ограничено только пакетом. Л.т. может быть ограниченным, лимитируемым, тогда к данным типа применимо меньшее число операций.


ЛОГИКА [logic] - наука о способах доказательства и опровержения; совокупность научных теорий. Наиболее распространенными являются дедуктивная и индуктивная логики. Л. бывает вероятностная, двузначная, математическая, многозначная, модальная, нормативная, формальная, интуиционистская, информатическая.


^ ЛОГИКА ИНФОРМАТИКИ (ИЛ) [informatical logic] - теоретические основания информатики, базирующиеся на методах решения логических уравнений. ИЛ именуется информатической логикой, она состоит из языка профессиональной прозы, набора аксиом определения констант, величин и операций, набора правил вывода и единственной аксиомы «истина» для обозначения цели логического вывода (см. информатическая логика).


^ ЛОГИЧЕСКАЯ ВЫЧИСЛИТЕЛЬНАЯ МАШИНА [logical computor] - ВМ, для которой основой программирования является логическое программирование: объявляются объекты, операции и утверждения о них, процессор строит вывод утверждения (запрос пользователя) и находит условия их истинности.


^ ЛОГИЧЕСКАЯ ОТЛАДКА ЗНАНИЙ [knowledge logical debugging] - установление глобальной и локальной непротиворечивости, независимости и полноты знаний в базе и запросах.


^ ЛОГИЧЕСКАЯ ЗАПИСЬ [logical record] - порция данных для переработки или в качестве результата одного шага обработки. Л.з. - это также единица обмена программы с базой или банком данных, с базой знания.


^ ЛОГИЧЕСКИЙ ПРОЦЕССОР [logical processor] - виртуальный процессор, используемый в том случае, когда необходимо выполнить параллельно несколько программ (задач) при наличии одного или большего числа физических процессоров.


^ ЛОГИЧЕСКИЙ ТИП [logical type] - предопределенный перечислимый тип из двух литералов перечисления, ложь или истина, false или true, связанных известным отношением неравенства ложь < истина.


ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ [logical expression] - выражение, принимающее в результате выполнения значение истинности из множества {ложь, истина}.


^ ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ [logical programming] - новое направление в информатике, основанное на совокупности приемов формализации знаний о проблеме и постановке заданий на языке логических исчислений, передачи их на ВМ для пополнения базы знаний, необходимых при решении проблемы или задания, или для синтеза программ. Л.п. предусматривает исследование по машинному доказательству теорем, при котором рассматривается спецификация проблемы в виде логического выражения, дерево вывода этого выражения и извлечения алгоритма (программы) из дерева вывода. Л.п. является основанием для автоматического синтеза программ.


^ ЛОГИЧЕСКОЕ УРАВНЕНИЕ [logical equation] - аналитическая запись проблемы о нахождении значений аргументов, при которых значения двух данных логических функций равны. Аргументы, от которых зависят эти функции, называются обычно неизвестными, а значения неизвестных, при которых логические значения функций равны - решениями уравнения.


^ ЛОКАЛЬНАЯ ВЫЧИСЛИТЕЛЬНАЯ СЕТЬ [local computing network] - совокупность вычислительных средств терминальных устройств, средств информационного обмена, объединенных в систему распределенной обработки данных, все элементы которой расположены на небольшой территории и имеют общий канал для передачи сообщений.


^ ЛОКАЛЬНОЕ ПРОТИВОРЕЧИЕ [local contradiction] - ситуация, в которой часть текста противоречит части знаний в базе. Л.п. обнаруживается либо при вводе очередной порции (или абзаца) знаний, либо при вводе запроса пользователя. Л.п. является результатом внутреннего локального логического анализа текстов.


^ ЛОКАЛЬНЫЙ ОБЪЕКТ [local object] - объект, внутренний по отношению к данной программе или данному программному модулю (определенный в составе), принимающий начальное значение при выполнении программы или программного модуля и, возможно, утрачивающий его после выполнения программы и присвоения нового значения.






оставить комментарий
страница19/32
Дата23.09.2011
Размер6,34 Mb.
ТипДокументы, Образовательные материалы
Добавить документ в свой блог или на сайт

страницы: 1   ...   15   16   17   18   19   20   21   22   ...   32
отлично
  1
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх