Какво е онтология

● едно предприятие, което е в определена роля или направена за определен роля;

● самата същност на ролята (обикновено това е ролята на физическите неща), участва в дейност (поведение) [играе роля и на същността на играе роля - те са различни! Роля - Хамлет, същността - Висоцки];

● индикация за корелация, обикновено под формата на физическа зависимост между някои аспекти ", ако височината се увеличава, налягането пада";

● математическа връзка между цифрови обекти, които определят тяхното картографиране един до друг / картографиране.

● ekzemplyarizatsiya (тип и например връзка);

● описание (спецификация и описаното съотношение на обекта);

● прилагане / стереотип (съотношение шаблон и техни варианти);

● вариация (съотношение на основния модел и потребителски);

● изпълнение (абстрактен синтаксис и съответното съотношение на експресията).

По принцип никога не се спирам на избрани други специфични думи, думи никога не могат да изразят цялата истина. Всеки път, когато се опитаме да разберем това, което е наистина въпрос, и значение да е била предназначена за всеки отделен случай. Използването на условията на стандартите не гарантира

ясно разбиране на събеседника, но също така и използването на неясни думи не е задължително да доведе до трудности. "Косят плитка плитка" - защото всичко е ясно, нали?

Тази книга няма да се опита да даде точни определения и изберете правилните условия. Ние ще се опитаме да се предадат на разбиране от най-важните понятия и предлагат различни думи, които могат да бъдат обозначени. На въпроса "колко е две плюс две" ще се приемат отговори и IV, и 4, и "четири", и четири. Но ние не трябва да се заблуждаваме: на отговорите "пот", 5 ", Per Aspera Ad Astra" - няма да бъдат приемани.

Онтология - тази наука, за да се отговори на въпроса "какво е в света" (на руски понякога се нарича "теория, че са", "доктрината на съществуващите си продукти"), и по-конкретен отговор на този въпрос. В това той е подобен на логиката на науката, в съответствие със законите, които се строят и Булева логика и времева логика, или науката за геометрия, в който се развива теорията на евклидовата или риманова геометрия на базата на различни набори от аксиоми. Разбирането на законите на онтология, можем да разберем и 4D

екстензионна онтология и онтология на виртуалността S.Datsyuka и християнската онтология, въпреки че те да поемат по света подредени и описани в коренно различни начини.

Всяка онтология, която определя, че не е в света, по някакъв начин трябва да се запише, изразени в някои условия, а именно, представени като "онтологичен описание." В общата реч често се бърка "онтологичен описание на" света и много онтологията. Pro описание (World нарязване схема за обекти) говорим за това как онтологията (обекти, разпределени в света), като се пропуска думата "описание". Разликата е обикновено може да се разбира от контекста. Ние ще се върне отново и отново в тази книга, за да се направи разграничение между въпросите на обекта, неговото определяне и описание.

Специфична Онтология (а не наука като цяло!) - е един от отговорите на въпроса "Какво е светът?". Като цяло, философи и логици са дошли с много опции. Да те изобщо съществуват в света на обекти, процеси, взаимоотношения, нещата на терена? Ако има - какви са те? Има багери, торсионни полета, Хари Потър философският камък, нещата, които Сатана и боговете на гръцкия пантеон, борсови котировки, нрави, справедливостта, а дори и самата онтология философия? Има ли Х = 4, E = MC 2. Hamiltonian и Лагранж метода на крайните елементи, битове и байтове, модула на еластичност и неговите различни видове? Различни онтологии дават различни отговори на тези въпроси - и онтология като обща дисциплина изучава начините, по които се дават на тези отговори.

Какво е различен от семантиката на онтология?

Семантика - това е за това как да свържете букви / символи с помощта на понятията. "$" Символът е свързан с парична валута "щатски долара". "Какъв е смисълът в текста на символа за $?" - това е въпрос за семантика.

Онтологичния проблем - това е отговорът на въпроса: "Какво е американски долара?". Да те съществуват в света, като отделна единица, явление, независимо дали явлението е само в главите ни - всичко това онтологични въпроси.

Разбира се, много често в живота объркан въпроса "Какво иска Х" и "това, което е X". "Това, което се помпа?" - се запита какво значи думата "помпа", или да попитам, какво е "да бъде помпата" в реалния свят достатъчно дълго, да се научим да се прави разлика между тези въпроси ?.

Упражнение: Опитайте се да отговорим на онтологичния въпрос - [Това е "риторичен упражнение": вие сте малко вероятно да даде смислени отговори, без знанието на теорията на парите и опита на онтологична работа] "това, което е на американския долар?" Могат да гледат едно в списъка с опции: физически обект, абстракция, процес

тип продукт, "пари", за пари валутна единица fiatnye, запис в сметките. Отговорете на един и същ въпрос за Bitcoin. Как те се различават онтологично?

трудности точно по същия ред, както е опит от вас, като инженерите, когато те трябва да бъдат определени за информационна система на компютъра, "какво е номиналният диаметър на тръбопровода" и как тя се отнася до действителния диаметър, или "това, което е техническата връзка с отоплителната система." И когато инженерите и мениджърите дума за разясняване на техническа и икономическа компютърен модел, а след това въпроси за щатския долар и Bitcoin са доста неуместни.

Ние не спираме на разликата между Ontika (набор от факти за обект / предметна област) и онтологии (набор от факти за света като цяло). Много хора наричат ​​Ontika онтологии, и досега около там вековни философи, е напълно приемливо.

Хора, класове и класификатори

Как хората успяват да се споразумеят за начина на работа на света, а дори и формално, това е, с възможност да се използват тези споразумения да записва информация за света и да се създаде един свят модел в паметта на компютър?

Индивидуално - физическо лице, уникален обект съществуващ във физическия свят. Но това, което е "съществуването на физическия свят"? За да направите това, има много философски критерии, и ние ще изберем най-много "научни" такива. Ние ще приемем, че има обекти, които имат място в пространство-времето (4Dpodhod, четириизмерното пространство "Айнщайн"). Такъв обект има определена дължина в космоса (т.е., размер, дължина, ширина, височина, радиус) и във времето (т.е. времето, когато той е започнал да съществува, и момента, в който го е свършил съществува). Място в индивидуална 4D нарича "Степен" (степен) и подходящия изглед на света се нарича "ekstensionalizm" (extensionalism). Полета и енергия, ние също ще разгледат 4D обекти, физическите тънкостите на такъв подход все още не е важно за нас.

Сега напомнят основните дефиниции и отчет на теория на множествата. Комплектът се състои от елементите. Например, можем да разгледаме множеството от всички физически лица х, така че х е кола. В математически нотация на теория на множествата (сега ние ще започнем да го използвате, и след това да се говори за езици и анотации повече) може да се изписва така:

където кола (х) - логическа предикат (функцията, която свързва с всеки обект х вярно или невярно, и вярно, ако и само ако х -. превозно средство). Логика и теория на множествата, които са тясно свързани, в литературата за моделиране на данни, онтология и логически изчисления ще намерите същите математически структури на дискретната математика.

Има ли много степен? Ние ще приемем, че това не е така, и това ще бъде за нас, същностната характеристика на един абстрактен обект, не-човек. Нека х - на индивида, но не забравяйте, че много от едно лице - това не е едно и също, че този индивид:

Ето защо, х е с дължина в пространство-времето, но самата набор - това е нещо друго, това е просто един абстрактен обект. Комплекти - е начин на мислене за kakihto лица, математически абстракции.

Така че като част от нашето по-нататъшно разглеждане приемем, че абстрактни обекти, тези, които не са физически лица - имат на удължен в 4D, не е нужно степен.

Ние ще продължим да се говори не за "комплекти" и на "класове", ако се приеме за момент, че това е едно и също. Това не е класовете на обектно-ориентираното програмиране!

Класификацията ще се нарича в състава клас на даден обект, елементът, принадлежащи към комплекта. Стандартна наименование че Х - набор / елемент от клас X:

Някои типове диаграми (например език EXPRESS-G), можете да намерите на стрелката (режисиран от клас до член на класа):

Съотношение специализация два класа - множество подгрупи и съотношението (съотношението между двете групи, разбира се). Стандартна наименование че множество / клас Б - подгрупа / подклас / клас А:

За бързото-G диаграми е показана стрелка с кръговата крайна обърната към класа на podlassu:

Но в диаграми на UML, същото отношение на специализация показва стрелка с триъгълни краища насочени в обратна посока:

Възможно ли е да е член на много други комплекти? Да, разбира се - тогава ние ще трябва да се справят с няколко набора от клас или класове.

Айфеловата кула (индивида) е елемент от клас КУЛА - е съотношението на класификацията на членство.

Айфелова кула ε TOWER

КУЛА клас е подклас на клас структура - съотношението на специализация подгрупа.

Но ние можем да се идентифицират и по-хитър клас - тип клас на строителство. Това е само клас клас класификатор. Tower и мостови класове са елементи от тип клас на строителство.

Едно лице може да бъде обявен за член на много класове и всеки клас може да бъде описан като едновременно член на много други групи от класове, и като подклас на много класове. Това е най-изразителната сила на набор-теоретичен подход. В езиковите класове, когато нови знания могат да бъдат добавени към съответните факти, които съществуващите знания, а не да преосмислим цялата структура на света, какъвто е случаят на подхода към обекти и атрибути, които са познати на програмистите.

Обърнете специално внимание на класификации на: Курсове. Ако не беше този дизайн, би било трудно да се измъкне от идеята, че светът е основната (а понякога дори само един!) Qualifier - йерархия на "раса-вид", нещо като таксономична дърво Линей в биологията. Там всички живи същества са класифицирани от един вид, вид принадлежи към същия клас и така нататък. Този подход може да бъде и само в чиста биология (макар и съвременната генетика са го въпрос), но това е по инженерство, той просто не се прилага.

И в областта на инженерните и други клонове на знания за различните хора харесват различни класификации, различните видове генерични специфични отношения, които са удобни за тяхната дейност. Как да живеем в един свят, където има "първичната и един за всички класове на йерархията", как да се симулира вижданията на различни хора, така че дори и на компютъра е ясно? Много просто: това е необходимо да се използват различни класификации, те са едни и същи класове на класове. Различни възгледи за света са моделирани предимно варианти на класификатори. Разнообразие от света в рамките на един поглед е моделирана таксономия - дърво специализации подмножество отношения.

Друг обект абстрактно е връзката - тази двойка на обекти, или дори група / кортежи на няколко обекти. Един съотношение е съотношението между индивидите, например (с логическа предикат):