Ce este ontologie

● o entitate, care este într-un anumit rol sau făcut pentru un anumit rol;

● însăși esența rolului (de obicei, acesta este rolul lucrurilor fizice), implicate în activitatea (comportamentul) [joacă un rol și esența de a juca un rol - acestea sunt diferite! Rolul - Hamlet, esența - Visoțki];

● indicarea unei corelații, de obicei, ca o legătură fizică între unele aspecte, „în cazul în care înălțimea crește, presiunea scade“;

● relație matematică între obiecte numerice, care determină maparea lor reciproc / de cartografiere.

● ekzemplyarizatsiya (tip și relația instanță);

● descrierea (specificație și raportul descris obiectului);

● application / stereotip (raport șablon și exemple de realizare ale acestora);

● variație (raportul modelului de bază și personalizate);

● Implementarea (sintaxă abstractă și raportul corespunzător al expresiei).

În general, nu insista asupra altor anumite cuvinte alese, cuvintele nu pot exprima întregul adevăr. De fiecare dată când încerc să înțeleg ce este cu adevărat în cauză, care era sensul în fiecare caz. Utilizarea termenilor standardelor nu garantează

o înțelegere clară a interlocutorului, dar, de asemenea, utilizarea unor cuvinte ambigue nu duce neapărat la dificultăți. „Cosită panglica plait“ - pentru că totul este clar, nu-i așa?

Această carte nu va încerca să dea definiții precise și alegeți termenii potrivite. Vom încerca să transmită o înțelegere a celor mai importante concepte și oferă diferite cuvinte care pot fi notate. Întrebarea „cât de mult este doi plus doi“, răspunsurile vor fi acceptate și IV, și 4, și „patru“, și patru. Dar noi nu trebuie să ne amăgim: răspunsurile „oala“, 5, „per aspera ad astra“ - nu vor fi acceptate.

Ontologia - această știință, pentru a răspunde la întrebarea „ce este în lume“ (în limba rusă, uneori numită „teoria de a fi“, „doctrina lor existente“), și un răspuns specific la această întrebare. In aceasta este similară cu logica științei, în conformitate cu legile care sunt construite si boolean logica si logica temporală, sau știința geometriei, în care a dezvoltat teoria euclidiană sau geometria Riemanniană pe baza unor seturi diferite de axiome. Înțelegerea legilor ontologie, putem înțelege și 4D

ontologie extensională și ontologie virtualității S.Datsyuka și ontologia creștină, cu toate că ei își asumă lumea aranjate și descrise în moduri fundamental diferite.

Orice ontologie care determină că există în lume, trebuie să fie înregistrate într-un fel, exprimate în unii termeni, care este, reprezentată ca „descriere ontologică.“ În discursul comun adesea confundat „descrierea ontologică a“ lumii și foarte ontologia. Descriere Pro (schema de feliere Mondială pentru obiecte) vorbesc despre modul în care ontologia (obiecte alocate în lume), omițând cuvântul „descriere“. Diferența este, de obicei, poate fi înțeleasă din context. Ne vom întoarce din nou și din nou, în această carte să se facă distincția între aspecte ale obiectului, definirea și descrierea acestuia.

Ontologie specifice (și nu știința, în general!) - este unul dintre răspunsurile la întrebarea „ce este lumea?“. În general, filozofi și logicieni au venit cu o mulțime de opțiuni. Nu acestea există deloc în lumea de obiecte, procese, relații, lucrurile câmpului? Dacă există - ceea ce sunt ei? Există excavatoare, câmpuri de torsiune, Harry Potter si piatra Filozofala, lucrurile pe care Satana și zeii din panteonul grec, cotații bursiere, maniere, dreptatea, și chiar filozofia în sine o ontologie? Există X = 4, E = mc 2. Hamiltoniene și Lagrangianului metodei elementelor finite, biti si bytes, modulul de elasticitate și sale tipuri diferite? Ontologii diferite da răspunsuri diferite la aceste întrebări - și ontologie ca disciplină comună studiază modalitățile în care sunt date aceste răspunsuri.

Ceea ce este diferit de semantica ontologie?

Semantica - este vorba despre modul în care ne conecta caractere / simboluri cu un mijloc de concepte. Simbolul „$“ este conectat cu moneda monetară „dolarul american“. „Care este sensul în textul simbolului $?“ - este o întrebare despre semantica.

problemă Ontologică - acesta este răspunsul la întrebarea: „ce este de dolari americani?“. Nu acestea există în lume, ca o entitate, fenomen separat, dacă fenomenul este doar în capul nostru - toate aceste întrebări ontologice.

Desigur, foarte des în viață confuz întrebări „Ce înseamnă X“ și „ceea ce este X“. „Ce este o pompă?“ - este întrebat ce cere cuvântul „pompă“ sau, ceea ce este „să fie pompa“ în lumea reală suficient de mult timp, învățăm să distingem între aceste întrebări ?.

Exercițiu: Încercați să răspundă la întrebarea ontologică - [Acesta este un „exercițiu de retorică“: este puțin probabil să dea răspunsuri semnificative fără știrea teoriei banilor și experiența muncii ontologică] „ceea ce este dolarul american?“ Pot uita la lista de opțiuni: obiect fizic, abstractizare, proces

tip de produs, „bani“, unitatea de bani valută fiatnye, înregistrarea în conturi. Răspundeți la aceeași întrebare despre Bitcoin. Cum se deosebesc ontologic?

dificultăți de exact aceeași ordine ca și experimentat de tine, ca inginerii atunci când au nevoie să fie definite pentru un sistem de informații pe calculator „ceea ce este diametrul nominal al conductei“ și modul în care aceasta se referă la diametrul efectiv, sau „ceea ce este legătura tehnică la sistemul de încălzire.“ Și când inginerii și managerii vine să explice modelul tehnic și economic de calculator, și apoi întrebări cu privire la dolarul SUA și Bitcoin sunt destul de irelevante.

Noi nu insista asupra diferenței dintre Ontika (set de fapte despre un subiect / zona de subiect) și ontologii (un set de fapte despre lume ca un întreg). Mulți oameni numesc ontologii Ontika, și până în prezent în jurul valorii de acolo filosofi venerabili, este perfect acceptabil.

Indivizii, clase și clasificatoare

Cum a reușit oamenii să cadă de acord asupra modului în care funcționează lumea, chiar și formal, care este, cu capacitatea de a utiliza aceste acorduri pentru a înregistra informații despre lume și de a crea un model mondial în memoria calculatorului?

Individual - un individ, un obiect unic existent în lumea fizică. Dar ceea ce este „existența lumii fizice“? Pentru a face acest lucru, există mai multe criterii filosofice, și vom alege cele mai cele „științifice“. Vom presupune că există obiecte care au un loc în spațiu-timp (4Dpodhod, spațiu patru-dimensional „Einstein“). Un astfel de obiect are o anumită lungime în spațiu (adică, dimensiune, lungime, lățime, înălțime, rază) și în timp (adică în momentul în care el a început să existe, iar punctul în care există terminat). Locul în 4D individ numit „Întinderea“ (măsură), precum și vizualizarea corespunzătoare a lumii a fost numit „ekstensionalizm“ (extensionalism). Domenii și energie, vom lua în considerare, de asemenea, obiecte 4D, complicațiile fizice ale o astfel de abordare nu este încă importantă pentru noi.

Acum amintesc definițiile și declarațiile de teoria mulțimilor de bază. Setul este format din elemente. De exemplu, putem considera mulțimea tuturor indivizilor x, astfel încât x este o mașină. În notație matematică a teoriei multimilor (acum vom începe să-l folosească, și apoi vorbesc despre limbi și notațiile mai mult), acesta poate fi scris ca:

în cazul în care auto (x) - un predicat logic (funcția care se asociază cu orice obiect x TRUE sau FALSE, și adevărat dacă și numai dacă x -. vehicul). Logica și teoria mulțimilor sunt strâns legate, în literatura de specialitate privind modelarea datelor, ontologie și calcule logice, veți găsi aceleași structuri matematice ale matematicii discrete.

Are o mulțime de măsură? Vom presupune că nu, și va fi pentru noi, caracteristica definitorie a unui obiect abstract, non-individuale. Fie x - individ, dar amintiți-vă că o mulțime de un individ - nu este același lucru, că acest individ:

Prin urmare, x are o lungime în spațiu-timp, dar setul în sine - este altceva, este doar un obiect abstract. Seturi - este un mod de gândire despre entități kakihto, abstracțiuni matematice.

Deci, ca parte a noastră considerație în continuare presupunem că obiectele abstracte, cele care nu sunt persoane fizice - au extins de la 4D, nu au într-o măsură.

Vom continua să vorbim nu de „seturi“ și „clase“, presupunând că pentru moment că acesta este unul și același lucru. Acest lucru nu este clasele de programare orientat-obiect!

Clasificarea va fi numit în clasa de membru al unui obiect, elementul aparținând setului. denumire standard care x - set / element de clasa X:

Unele tipuri de diagrame (de exemplu, limba EXPRESS-G) puteți găsi săgeata (direcționat de la clasă la clasă membru):

specializarea Ratio două clase - o pluralitate de subseturi și raportul (raportul dintre cele două seturi, desigur). Desemnarea standard care o pluralitate de / Clasa B - subset / subclasă / Clasa A:

Pe diagramele EXPRESS-G este prezentată o săgeată cu un capăt circular orientată în direcția opusă clasei podlassu:

Dar, în diagramele UML, aceeași atitudine de specializare arată o săgeată cu capetele triunghiulare îndreptate în direcția opusă:

Ar putea fi un membru al multor alte seturi? Da, desigur - atunci vom avea de a face cu mai multe seturi de clasă sau clase.

Turnul Eiffel (individul) este un element de clasa TOWER - este raportul dintre clasificarea de membru.

Turnul Eiffel ε TOWER

clasa Tower este o subclasă a structurii de clasă - raportul dintre subset specializare.

Dar putem identifica și mai viclean de clasă - clasă de tip de construcție. Aceasta este doar clasa clasa clasificator. Turnul și pod clase sunt elemente de tip clasa de construcție.

Un individ poate fi declarat un membru al multor clase și orice clasă poate fi descrisă atât ca membru al multor alte seturi de clase, și ca o subclasă a multor clase. Aceasta este puterea expresivă a abordării set-teoretic. În orele de limba atunci când noi cunoștințe pot fi adăugate la faptele relevante pentru cunoștințele existente, mai degrabă decât regândească întreaga structură a lumii, așa cum este cazul abordării la obiecte și atribute care sunt familiare programatori.

Acordați o atenție deosebită clasificărilor: Clase de clase. Dacă nu pentru acest design, ar fi dificil să scape de ideea că lumea este principalul (și, uneori, chiar și singurul!) Qualifier - o ierarhie de „rasă-un fel“, ceva de genul copac taxonomică Linnaeus în biologie. Acolo, toate ființele vii sunt clasificate pe o singură specie, specie face parte din aceeași clasă și așa mai departe. Această abordare poate fi, și doar în biologie pura (desi genetica moderne au întrebare), dar este în inginerie, el pur și simplu nu se aplică.

Și în inginerie și alte ramuri ale cunoașterii către persoane diferite, cum ar fi diferite clasificări, diferitele tipuri de relații generice specifice, care sunt convenabile pentru activitatea lor. Cum de a trăi într-o lume în care există „primar și unul pentru toate clasele de ierarhie“, cum pentru a simula punctele de vedere ale oamenilor diferite, astfel încât chiar și computerul a fost clar? Foarte simplu: este necesar să se utilizeze diferite clasificări, ele sunt aceleași clase de clase. Diferite puncte de vedere ale lumii sunt modelate în primul rând variante de clasificatoare. O varietate de lume într-o singură vizualizare a modelat taxonomie - specializări de arbori subset de relații.

Un alt obiect abstract este relația - această pereche de obiecte, sau chiar un grup / tuplele a mai multor obiecte. Un raport este raportul dintre indivizi, de exemplu (cu un predicat logic):