Математические основы представления содержания посланий компьютерных интеллектуальных агентов москва
|
Скачать 2.46 Mb.
|
Схема определения трех классов формул, порождаемых концептуальными базисами Рассмотрим более детально предлагаемую оригинальную схему подхода к определению трех класов выводимых формул. Определение 2. Если B - произвольный концептуальный базис, то пусть (а) D(B) = X(B) V(B) {‘,’ , ‘(‘, ‘)’, ‘:’ , ‘*’, ‘<�’, ‘ >’} , (б) Ds(B) = D(B) {‘ &’} , (в) D+(B) и Ds+(B) — множества всех непустых конечных последовательностей элементов из D(B) и Ds(B) соответственно. Если 1 i 10, то для любого к.б. B и для k = 1,...,i утверждения P[0],...,P[i] определяют совместной индукцией некоторые множества формул Lnri(B) D+(B), T0(B), Tnri1(B),..., Tnrii(B), Ynri1(B),..., Ynrii(B ) Ds+(B) . Множество Lnri(B) рассматривается как главный подкласс формул, порождаемых правилами P[0],...,P[i]. Формулы из этого множества предназначены для описания содержания (смысловых структур) ЕЯ-текстов. Если 1 k i, то множество Tnrik(B) состоит из цепочек вида b&t, где b Lnri(B), t Tp(S(B)), и b понимается как результат применения правила P[k] к некоторым более простым формулам на последнем шаге вывода. Надо добавить, что при построении b из элементов X(B) и V(B) могут использоваться любые правила P[0],...,P[k],...,P[i]; эти правила можно применять произвольно много раз. Если базис B выбран для описания некоторой области, то b можно понимать как СП текста или фрагмент СП текста, относящегося к данной области. В этом случае t можно рассматривать как описание вида сущностей, характеризуемых этим СП или фрагментом СП. Кроме того, t может квалифицировать b как СП повествовательного текста. Номер i интерпретируется в этих обозначениях как максимальный номер правила из списка P[0], P[1], … , P[10], которое мы используем для того, чтобы определить множества формул. Таким образом, как будет показано ниже, Lnr4(B),..., Lnr10(B) включают формулы Элем(П.Сомов, Друзья(И.Семенов)), Элем(АО_”Салют”, Поставщики( НПО_”Радуга”)), и Tnr44(B),..., Tnr410(B) включают формулы Элем(П.Сомов, Друзья(И.Семенов)) & сообщ, Элем(АО_”Салют”, Поставщики( НПО_”Радуга”)) & сообщ, где сообщ — выделенный сорт P(B1) “смысл сообщения”. Каждая цепочка cYnrik(B), где 1 k i, может быть представлена в виде c = a1 & a2 & ... & am & b, где a1,...,am, b Lnri(B). Кроме того, найдется такое t Tp(S(B)), что цепочка b & t принадлежит Tnrik(B). Цепочки a1,...,am строятся с помощью любых правил из списка P[0],...,P[10], а цепочка b построена из “блоков” a1,...,am (некоторые из них могут быть немного изменены) применением только один раз правила P[k]. Возможное количество “блоков” a1,...,am зависит от k. Таким образом, множество Ynrik(B) фиксирует результат применения правила P[k] один раз. Ниже мы увидим, что множества Ynr44(B1),..., Ynr410(B1) включают формулы Элем & П.Сомов & Друзья((И.Семенов) & Элем(П.Сомов, Друзья((И.Семенов)), Элем & АО_”Салют” & Поставщики( НПО_”Радуга”) & Элем(АО_”Салют”, Поставщики( НПО_”Радуга”)). Пусть для i = 1,...,10 Ti(B) = T0(B) Tnri1(B) ... Tnrii(B); Yi(B) =Ynri1(B) ... Ynrii(B); Formi(B) = Lnri(B) Ti(B) Yi(B) . Будем интерпретировать Formi(B) как множество формул, порождаемых к.б. B. Это множество представляет собой объединение трех классов формул, главным из которых является Lnri(B). Формулы из этих трех классов будем называть соответственно l-формулами, t-формулами, и y-формулами. Класс t-формул необходим для того, чтобы связать тип из Tp(S(B)) с каждым b Lnri(B), где i = 1,...,10. Для i = 0,...,9, Lnri(B) Lnri+1(B). Множество Lnr10 (B) называется стандартным концептуальным языком (стандартным К-языком, СК-языком) в стационарном базисе B и обозначается через Ls(B). Поэтому l-формулы будут часто называться К-цепочками. Множество T10(B) обозначается через Ts(B). Для любого к.б. B и для любой формулы A из множества Ts(B) существуют такой тип tTp(S(B)) и такая формула CLs(B), что A = C & t. Для построения СП текстов будут использоваться только формулы из Ls(B) и Ts(B), т.е.l-формулы и t-формулы. Y-формулы рассматриваются как вспомогательные и нужны для того, чтобы сформулировать некоторые полезные свойства множеств Ls(B) и Ts(B). 3.3. Использование интенсиональных кванторов в формулах В параграфе 2.8 было введено понятие интенсионального квантора. Этот термин используется для обозначения информационных единиц (другими словами, семантических единиц), соответствующих, в частности, словам и выражениям “каждый”, “некоторый”, “произвольный”, “какой-нибудь”, “определенный”, “все”, “несколько”, “большинство”, “почти все”. Совокупность интенсиональных кванторов делится на два подкласса, обозначаемые через Int1 и Int2 . Это осуществляется следующим образом. Компонентом каждого концептуального базиса B вида (2.8.2) является система кванторов и логических связок (с.к.л.с.) Ql вида (2.8.1). Компонентами с.к.л.с. Ql вида являются, в частности, два выделенных сорта int1 и int2 . Это дает возможность для m=1,2 определить Intm как {x X| tp(x) = intm} , где первичный информационный универсум X является одним из компонентов концептуально-объектной системы Ct(B) вида (2.7.1) Элементы множества Int1 соответствуют значениям выражений “каждый”, “какой-то”, “некоторый”, “произвольный” и т. д. в случаях, когда эти выражения являются частями групп слов, и эти группы связаны с единственным числом. Элементы множества Int2 интерпретируются как семантические единицы, соответствующие выражениям “все”, “несколько”, “почти все”, “многие” и т. д. ; минимальное требование к Int2 заключается в том,, чтобы Int2 содержало семантическую единицу, соответствующую слову “все”. Правило P[1] позволяет нам присоединять интенсиональные кванторы к простым или составным обозначениям понятий. В результате применения этого правила, во-первых, строятся: (а) l-формулы вида Int.qr Conc.expr , где Int.qr – интенсиональный квантор из Int(B), а Conc.expr – простое или составное обозначение понятия. Во-вторых, строятся t-формулы вида Int.qr Conc.expr & t , где t – тип из множества Tp(S(B)). Например, можно выбрать к.б. B так, что в этом базисе с помощью правил P[0] и P[1] можно будет построить l-формулы нек город, нек город * (Назв, “Чита”), каждый город, каждый человек*(Квалиф., студент), все город, все город*(Страна, Россия) и t-формулы нек. город & простр. об, все город & {простр. об} , каждый человек*(Квалиф, студент) & интс * дин.физ.об . Определение 1. Если B — произвольный к.б., то для m = 1, 2 Intm(B) = {qX(B) | tp(q) = intm(B)}, Int(B) = Int1(B) Int2(B), Tconc(B) = {t Tp(S(B)) | t начинается с символа ‘’ } Spectp , где Spectp = {[сущн], [пон], [об]}. Напомним, что в параграфе 2.6 выражения [сущн], [пон], [об] интерпретируются как такие символы (т.е. неделимые единицы), которые являются информационными единицами, соответствующими словам “сущность” , “понятие” (или “концепт”) и “объект”. В данной работе термин “сущность” является наиболее общим. Объектами называются все те сущности, которые не являются понятиями. Используя правила P[0] и P[1], мы можем строить l-формулы вида q d, где qInt(B), d X(B), tp(d) Tconc(B). Так, рассматривая к.б. B1, определенный в параграфе 2.8, мы можем построить l-формулы нек чел, нек тур.гр, нек понятие, все чел, все тур.гр, все понятие. Можно также строить более сложные цепочки вида q descr, где q — интенсиональный квантор, descr – составное обозначение понятия. Для построения цепочки descr используются правила P[0], P[1], правило P[8] (см. параграф 3.6), и, возможно, некоторые другие правила . Например, для к.б. B1 будет возможно построить l-формулы нек тур.гр * (Колич, 12), все тур.гр * (Колич, 12). Эти формулы понимаются как семантические представления (СП) выражений “некоторая туристическая группа из 12 человек” и “все тургруппы из 12 человек”. Переход от l-формулы c, обозначающей понятие, к l-формуле q c, где q — интенсиональный квантор, описывается с помощью специальной функции h. Определение 2. Пусть B — произвольный к.б., S = S(B), Tp(S) – множество типов, порождаемых сортовой системой S . Тогда отображение h: {1,2} Tp(S) Tp(S) задается следующим образом: (а) если uTp(S) и цепочка u входит в Tp(S), то h(1, u) = u, h(2, u) = {u} ; (б) h(1, [сущн]) = [сущн], h(1, [пон]) = [пон], h(1, [об]) =[ об], h(2, [сущн]) = {[сущн]}, h(2, [пон]) = {[пон]}, h(2, [об]) = {[об]} . С точки зрения построения СП текстов, отображение h описывает преобразование типов как следующие переходы: (а) от понятия “человек”, “туристическая группа” к СП выражений “некоторый человек”, “каждый человек”, “любой человек”, “некоторая туристическая группа”, “любая туристическая группа” и. т. д. (в случае, когда первый аргумент h равен 1) и к СП выражений “все люди”, “все туристические группы”, и т. д. . (в случае, когда первый аргумент h равен 2); (б) от выражений “сущность”, “понятие”, “объект” к СП выражений “некоторая сущность”, “произвольная сущность”, “некоторое понятие”, “произвольное понятие”, “некоторый объект”, “произвольный объект”и т. д. (если первый аргумент h равен 1) и к СП выражений “все сущности”, “все понятия”, “все объекты” и т. д. (если первый аргумент h равен 2). Определение 3. Через P[1] обозначим высказывание “Пусть c L(B) \ V(B), uTconc(B), k{0, 8}, и цепочка c & u входит в Tk(B). Пусть m {1, 2}, q Intm, t = h(m,u), и b — цепочка вида q с. Тогда b L(B), цепочка вида b & t входит в T1(B), и цепочка вида q & a & b входит в Y1(B).” Пример 1. Пусть B — к.б. B1, построенный в параграфе 2.8; L(B), T0(B), T1(B), Y1(B) — наименьшие множества, совместно определяемые высказываниями P[0] и P[1]. Тогда легко убедиться в справедливости следующих соотношений: чел L(B)\V(B), чел &интс * дин.физ.об T0(B), нек Int1(B), h(1,интс* дин.физ.об) = интс * дин.физ.об нек челL(B), нек чел & интс * дин.физ.об T1(B), нек & чел & нек чел Y1(B); все Int2(B), h(2,интс* дин.физ.об) = {интс* дин.физ.об } все челL(B), все чел & {интс * дин.физ.об } T1(B), все&чел&всечел Y1(B); тур.гр L(B)\V(B),тур.гр&{интс* дин.физ.об } T0(B), h(1,{интс* дин.физ.об }) = {интс* дин.физ.об}, h(2,{интс * дин.физ.об }) = {{интс* дин.физ.об }} нек тур.гр, все тур.грL(B), нек тур.гр & {интс}, все тур.гр & {{интс}}} T1(B), нек & тур.гр& нек тур.гр Y1(B); все & тур.гр & все тур.гр Y1(B); понятие L(B)\V(B), понятие&[пон] T0(B), h(1,[пон]) = [пон], h(2,[пон]) = {[пон]} нек понятие, все понятиеL(B), нек понятие&[пон], все понятие & {[пон]} T1(B), нек & понятие & нек понятие Y1(B), все & понятие & все понятие Y1(B). |
Похожие:
 |
Рабочая программа по курсу «Математические представления» для обучающихся с рас ( |
|
1. 1 Арифметические основы ЭВМ Составлены в соответствии с фгос спо по специальности 230115 (09. 02. 03) «Программирование в компьютерных системах» и рабочей программой... |
|
Курс: «Технологии обработки информации». Лабораторная работа № Разработка... Рассмотрим пример, который будет использоваться для иллюстрации шагов, необходимых для разработки агентного приложения с помощью... |
 |
Программа «Основы программирования на java» Изучая основы программирования на языке Java, ребята учатся создавать реально действующие кроссплатформенные программы, которые могут... |
|
Методические рекомендации для специалистов «правил игры» и активностью на рынке профессионального обучения множества агентов, преследующих свои интересы и создающих ложные... |
|
Рабочая программа дисциплины «Основы Православия» Данный курс является интегрированным, включает в себя основы программ «Катехизис» и «Догматическое богословие», и представляет раскрытие... |
|
Институт развития образования республики башкортостан развитие интеллектуальных Развитие интеллектуальных и творческих способностей учащихся образовательных учреждений: Сборник авторских программ. – Уфа: Издательство... |
|
Учебно-методический комплекс дисциплины сд. 8 Математические основы... «050703. 00 — Дошкольная педагогика и психология с дополнительной специальностью «Педагогика и психология» |
|
1 курс Дисциплина «Основы предпринимательской деятельности» Самарина В. П. Основы предпринимательства : учеб пособие/ В. П. Самарина. Москва: кнорус, 2015. 1 o=эл опт диск (cd-rom), 222 с |
|
Методичческое пособие по организации и проведению интеллектуальных... Методическое пособие предназначено для специалистов учреждений дополнительного образования и молодежной политики, которые занимаются... |
|
К Приказу №396 от 15. 12. 2017 г Порядок проведения операций по специальным залоговым банковским счетам, специальным банковским счетам платежных агентов (субагентов),... |
|
Физико-математические науки. (Ббк 22) Геометрия в таблицах : 7-11 классы : справочное пособие / авт сост.: Л. И. Звавич, А. Р. Рязановский. 20-е изд., стер. Москва : Дрофа,... |
|
Методические указания предназначены для реализации государственных... Учебным планом по дисциплине «Основы Экологического права» предусмотрено 12 часов практического обучения |
|
Мэдис методика экспресс-диагностики интеллектуальных способностей. 1 Методика экспресс-диагностики интеллектуальных способно-стей(мэдис) предназначена для быстрого ориентировочного обследования уровня... |
|
Архитектурно-строительный университет Учебное пособие охватывает программу курса "Основы компьютерных технологий", читаемого студентам нгасу очной формы обучения специальности... |
|
Реализация содержания программы в образовательных областях Цели: расширить представления о праздниках, школе; познакомить с творчеством А. С. Пушкина; воспитывать уважение к профессиям школьных... |