Математические основы представления содержания посланий компьютерных интеллектуальных агентов москва
|
Скачать 2.46 Mb.
|
2.4. Основные идеи определения класса сортовых систем Начнем решать поставленную задачу. Будем предполагать, что необходимо построить формальное описание некоторой предметной области (ПО), и рассмотрим первые шаги в этом направлении. Шаг 1. Введем в рассмотрение конечное множество символов, обозначающих наиболее общие понятия ПО: пространственный объект, физический объект, интеллектуальная система, натуральное число и т.д. Будем считать, что каждое такое понятие характеризует сущность, не рассматриваемую как упорядоченный набор других сущностей или как множество, состоящее из каких-то других сущностей. Обозначим это множество символов через St и будем называть его элементы сортами. Шаг 2. Выделим в St некоторый сорт, который будем связывать с семантическими представлениями (СП) ЕЯ-текстов, выражающих отдельные высказывания либо являющихся связными повествовательными текстами. Обозначим такой сорт через P и назовем его сортом «смысл сообщения». Например, для каких-то применений роль выделенного сорта P может играть цепочка сообщ. Часть формул, которые мы будем рассматривать в этой работе, представима в виде F & t , где F - СП ЕЯ-выражения, а t – цепочка, классифицирующая данное выражение. Тогда, если t = P, то подформула F интерпретируется как СП простого или сложного высказывания (другими словами, сообщения). В частности, так может интерпретироваться формула (Вес(нек блок1 : x3) 4/тонна) & сообщ . Шаг 3. Введем иерархию понятий на множестве сортов St с помощью некоторого бинарного отношения Gen на St, т.е. выделим некоторое подмножество Gen St St. Например, могут выполняться соотношения (цел, нат), (вещ, цел), (физ. об, дин. физ. об), (простр. об, физ. об) Gen. Шаг 4. Многие объекты могут быть охарактеризованы с разных точек зрения, у них есть «координаты» по разным «семантическим осям». Например, к конкретному университету можно подъехать или подойти, поэтому каждый университет имеет семантическую координату “пространственный объект”. У университета есть руководитель (ректор), поэтому университеты имеют семантическую координату “организация”. Наконец, университет может разработать некоторую технологию или некоторый прибор; следовательно, представляется разумным считать, что университеты имеют семантическую координату “интеллектуальная система”. Учитывая эти соображения, введем бинарное отношение совместимости (толерантности) Tol на множестве St. Это отношение интерпретируется следующим образом: если (s,u) Tol St St, то существует такая сущность x в рассматриваемой ПО, что с x можно связать сорт s по одной семантической оси и сорт u по другой оси, причем сорт s и сорт u не являются сравнимыми для отношения Gen. Например, множества St и Tol могут быть определены так, что Tol включает упорядоченные пары (простр.объект, организация), (простр.объект, интел.система), (организация, интел.система), (организация, простр.объект), (интел.система, простр.объект), (интел.система, организация) . Из рассмотренной интерпретации отношения Tol вытекают следующие свойства: (1) u St (u,u)Tol, т.е. Tol – антирефлексивное отношение; 2) u,t St из (u,t) Tol следует, что (t,u) Tol, т.е. Tol – симметричное отношение. Сортовой системой (с.с.) будем называть произвольную четверку S вида (St, P, Gen, Tol), компоненты которой удовлетворяют определенным условиям. 2.5. Формальное определение сортовой системы Определение. Сортовой системой (с.с.) будем называть произвольную упорядоченную четверку S вида ( St, P, Gen, Tol ), (2.5.1) где St – конечное множество символов, P St, Gen – непустое бинарное отношение на St, являющееся частичным порядком на St (т.е. рефлексивным, транзитивным и антисимметричным), Tol – бинарное отношение на St, являющееся антирефлексивным и симметричным, и выполняются следующие условия: (1) St не включает символы ‘’, ‘{‘ , ‘}’ , ‘(‘ , ‘)’ , ‘,’ , [сущн], [пон], [об], [сущн], [пон], [об]; (2) St \ {P} и uSt \ {P} u, P – несравнимы как для отношения Gen, так и для отношения Tol; (3) t,u St из (t,u) Gen или (u,t) Gen следует, что t,u несравнимы для отношения Tol; (4) t1,u1 St, t2,u2St из (t1,u1) Tol, (t2,t1) Gen, (u2,u1) Gen вытекает, что (t2,u2) Tol. Элементы множества St называются сортами; P – сортом «смысл сообщения»; Gen StSt – отношением общности; Tol StSt – отношением толерантности (совместимости). Если (u,t)Gen, то будем использовать эквивалентную запись ut и говорить, что t – конкретизация сорта u, а u – обобщение сорта t. Если (s,u) Tol, то будем использовать запись su и говорить, что сорт s совместим с сортом u. Символы ‘’, ‘{‘ , ‘}’ , ‘(‘ , ‘)’ , ‘,’ , [сущн], [пон], [об], [сущн], [пон], [об] будут играть особые роли при построении из сортов цепочек, называемых типами и классифицирующих сущности, рассматриваемые в выбранной предметной области (см. параграф 2.6). Пример. Пусть St0={нат, цел, вещ, простр.об, физ.об., дин.физ.об, вообр.об, интс, орг, сит, соб, мом, сообщ}. Элементы множества St0 обозначают понятия и интерпретируются следующим образом: нат – «натуральное число», цел – “целое число“, вещ – «вещественное число», простр.об – «пространственный объект», физ.об – «физический объект», дин.физ.об – «динамический физический объект», вообр.об – «воображаемый пространственный объект» (орбиты небесных тел, геометрические фигуры), интс – «интеллектуальная система», орг – “организация“, сит – «ситуация», соб – “событие“ (т.е. динамическая ситуация), мом – «момент времени», сообщ – «семантическое представление сообщения». Пусть P0=сообщ, Ge1={(u,u) | uSt0} , Ge2={(цел, нат), (вещ, цел), (вещ, нат), (простр.об, физ.об), (простр.об, вообр.об), (физ.об, дин.физ.об), (простр.об, дин.физ.об), (сит, соб)}, Gen0=Ge1Ge2, T1={(интс, дин.физ.об), (интс, физ.об), (интс, простр.об), (орг, интс), (орг, физ.об), (орг, простр.об)}, T2={(u,s) | (s,u) T1} , Tol0 = T1T2. Пусть S0=(St0, P0, Gen0, Tol0). Тогда легко проверить, что S0 является сортовой системой, и сорт сообщ является выделенным сортом «смысл сообщения» этой системы. Из определения множества Gen0 вытекают, в частности, следующие соотношения: вещцел, целнат, вещнат, простр.об.физ.об, простр.об.вообр.об, физ.об.дин.физ.об; интсфиз.об, интсдин.физ.об, интсорг, физ.обинтс, дин.физ.обинтс. 2.6. Типы, порождаемые сортовыми системами, и конкретизации типов 2.6.1. Определение множества типов Предположим, что нам необходимо описать некую предметную область (ПО), и мы решили рассматривать некоторые сущности как элементарные сущности (люди, фирмы, числа, факты, понятия и т. д.). Тогда определим составные сущности для данной области как такие сущности, которые рассматриваются как упорядоченные наборы других сущностей или как множества, состоящие из каких-то других сущностей. Будем интерпретировать понятия(другими словами, концепты) как общие описания сущностей, относящихся к некоторым различаемым людьми классам сущностей. Объекты определим как такие сущности, которые не рассматриваются как понятия. Класс объектов включает, в частности, семантические представления (СП) текстов, множества СП текстов и множества понятий. Определим для каждой с. с. S множество цепочек Tp(S), элементы которого назовем типами системы S и будем понимать их как характеристики сущностей, рассматриваемых в рассуждениях о данной области. При построении типов используются сорта из S и специальные символы [сущн], [пон], [об], [сущн], [пон], [об], ‘’, ‘{‘ , ‘}’, ‘(‘ , ‘)’, ‘,‘ (запятая). Символы [сущн], [пон], [об] будем называть соответственно типом «сущность», типом «концепт» (это наиболее общая характеристика понятий) и типом «объект» (это наиболее общая характеристика сущностей, не рассматриваемых как понятия). Символ «*» будет используется для соединения нескольких совместимых сортов (т.е. сравнимых для отношения толерантности Tol) при построении цепочек из множества Tp(S). Символ ‘’ будем интерпретировать как индикатор типа понятия. Предположим, что мы используем сортовую систему S0 , построенную в примере из параграфа 2..5. Тогда мы сможем связать с понятием “человек” тип интс*дин.физ.об из Tp(S0) , с каждым конкретным человеком – тип интс*дин.физ.об , с понятием “студенческая учебная группа” – тип {интс*дин.физ.об} , с конкретной студенческой группой № 172 факультета бизнес-информатики ГУ-ВШЭ – тип {интс*дин.физ.об}. Рассмотрим интерпретацию специальных символов [сущн], [пон], [об]. Формализуя рассуждения, условимся исходить из следующих рекомендаций. Если природа сущности z, рассматриваемой в рассуждении, не играет роли, то поставим в соответсвие z тип [сущн] в ходе рассуждения. Если же важно то, что z представляет собой объект, то поставим в соответсвие z тип [об]. Если, напротив, в отношении z важно то, что z является понятием, то поставим в соответсвие z тип [пон]. Назначение типов [сущн], [пон], [об] станет понятным из следующих примеров. Пусть E1 и E2 соответствуют выражениям “первая сущность, упомянутая на странице 12 выпуска газеты “The Moscow Times”, опубликованного 1 октября 1994 г.”, и “первый объект, упомянутый на странице 12 выпуска газеты “The Moscow Times”, опубликованного 1 октября 1994 г.”. Тогда можно связать типы [сущн] и [об] с сущностями, на которые ссылаются в E1 и E2 соответственно, в случае, если мы не читали страницу 12 указанного выпуска. Однако, прочитав эту страницу, мы узнаем, что первая сущность и первый объект, упомянутые на этой странице, — город Мадрид. Следовательно, теперь мы можем связать с упомянутой сущностью (объектом) более информативный тип простр.об («пространственный объект»). Пусть E3 — выражение “понятие с меткой AC060, определенное в Longman Dictionary of Scientific Usage (Moscow, Russky Yazik Publishers, 1989)”. Не читая словаря, мы можем связать с понятием, упомянутым в E3, только тип [пон]. Но после того, как мы найдем определение с пометкой AC060, мы узнаем, что это определение понятия “трубка” (полый цилиндр с длиной много больше диаметра). Следовательно, мы можем связать с понятием, упомянутым в E3, более информативный тип физ.об (обозначение понятия “физический объект”). Будем предполагать, что цепочки [сущн], [пон], [об] – это типы семантических единиц, соответсвующих словам “сущность”, “понятие”, “объект”. Эти типы образуют множество специальных типов Spectp. Условимся в последующих определениях считать символами как цепочки [сущн], [пон], [об], [сущн], [пон], [об] , так и элементы сортовых множеств. Определение. Пусть S — с.с. вида (1), Spectp = {[сущн], [пон]}, [об]}, Toptp = {[сущн], [пон]}, [об]}. Тогда через Tp(S) обозначим наименьшее множество T, удовлетворяющее следующим условиям: (1) Spectp Toptp St {s | s St} T ; элементы множеств Spectp и Toptp называются специальными типами и верхними типами соответственно; (2) Если k>1, для i=1,,k siSt, i,j=1,,k из ij следует, что sisj (т.е. цепочки si, sj сравнимы для отношения совместимости Tol), то цепочка s1*s2**sk и цепочка s1*s2**sk входят в T; (3) Если n > 1, для i = 1,...,n ti T \ Spectp, то цепочка вида (t1,...,tn) входит в T; (4)Если t T \ Spectp , то цепочка {t} входит в T; (5)Если tT \ (Spectp Toptp), и t начинается с символа ‘(‘ или ‘{’, то цепочка t входит в T. Множество Tp(S) называется множеством типов, порождаемых с.с. S . Определение. Если S — с.с., то Mtp(S) = Tp(S) \ Spectp; элементы множества Mtp(S) называются основными типами (обозначение этого множества происходит от английского словосочетания main types). 2.6.2. Интерпретация определения множества типов Сформулируем принципы установления соответствия между сущностями, рассматриваемыми в предметной области с с.с. S и типами из множества Mtp(S). Типы понятий, в отличие от типов объектов, начинаются с символа ‘’. С понятием, обозначаемым сортом c, свяжем тип c. Тип {t} соответствует любому множеству сущностей типа t. Если x1,...,xn — сущности типов t1,...,tn, тогда тип (t1,...,tn) соответствует n-местному упорядоченному набору (x1,...,xn). Как следствие, множества, состоящие из упорядоченных наборов с типом (t1,...,tn) , будут иметь тип {(t1,...,tn)}. |
Похожие:
 |
Рабочая программа по курсу «Математические представления» для обучающихся с рас ( |
|
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 Методика экспресс-диагностики интеллектуальных способно-стей(мэдис) предназначена для быстрого ориентировочного обследования уровня... |
|
Архитектурно-строительный университет Учебное пособие охватывает программу курса "Основы компьютерных технологий", читаемого студентам нгасу очной формы обучения специальности... |
|
Реализация содержания программы в образовательных областях Цели: расширить представления о праздниках, школе; познакомить с творчеством А. С. Пушкина; воспитывать уважение к профессиям школьных... |