Mi ontológia

● olyan szervezet, amely egy adott szerepet, vagy arról, hogy a különleges szerepet;

● a lényege a szerepe (általában ez a szerepe a fizikai dolgok), részt vesz a tevékenység (viselkedés) [játszanak szerepet, és a lényege szerepet játszik - ők más! Role - Hamlet, a lényeg - Vysotsky];

● jelzése összefüggés, általában a között fizikai kapcsolat bizonyos vonatkozásait, „ha a magassága növeli, a nyomás esik”;

● közötti matematikai összefüggés numerikus objektumok meghatározása, azok leképezése egymásnak / feltérképezése.

● ekzemplyarizatsiya (típus és például kapcsolatban);

● leírása (a leírásban és a leírt arány a tárgy);

● alkalmazás / sztereotípia (templát aránya és kiviteli alakjai);

● variáció (aránya az alapmodell és testre szabott);

● Megvalósítás (absztrakt szintaxis és a megfelelő arány az expresszió).

Általában nem laknak egyéb kiválasztott konkrét szavak, szavak nem fejezik a teljes igazság. Minden alkalommal, amikor megpróbálja megérteni, mi az igazán kérdéses, melyik jelentés célja az volt minden esetben. Kifejezések használata a szabványok nem garantálja

világos megértése a beszélgetőpartner, hanem a használatát kétértelmű szavak nem feltétlenül nehézségekhez vezethet. „Kaszált zsinór fonat” - mert minden világos, nem?

Ez a könyv nem fogja megkísérelni, hogy pontos meghatározásokat és válassza ki a megfelelő feltételeket. Megpróbáljuk közvetíteni, hogy értik a legfontosabb fogalmakat és különböző szavakat, hogy jelölhető. A kérdésre, hogy „mennyi kettő meg kettő” fogadható válaszokat és a IV 4, és a „négy”, és négy. De ne áltassuk magunkat: a választ „pot”, 5 „per aspera ad astra” - nem fogadható el.

Ontológia - ez a tudomány, hogy válaszoljon a kérdésre, hogy „mi van a világban” (oroszul néha „elmélet, hogy”, „a tanítás a meglévő”), és konkrét választ erre a kérdésre. Ebben hasonlít a logikai tudomány szerint a törvények épülnek, és logikai értékeket és temporális logika, vagy a tudomány, a geometria, amelyben kidolgozott elmélet euklideszi vagy Riemann-geometria alapján különböző féle axiómák. Megértése jogszabályok ontológia, meg tudjuk érteni és 4D

nyújtási ontológia és ontológia virtualitás S.Datsyuka és Christian ontológia, bár feltételezik a világ rendezett és leírt alapvetően eltérő módon.

Bármilyen ontológia, amely meghatározza, hogy van a világon, valamilyen módon le kell rögzíteni, kifejezve az egyes kifejezések, vagyis jelentése „ontológiai leírása.” Az általános szóhasználat gyakran összekeverik „ontológiai leírása” a világ, és a nagyon ontológia. Pro leírás (World szeletelés rendszer objektumok) beszélni, hogyan az ontológia (tárgyak kiosztott a világon), kihagyva a „leírás”. A különbség általában lehet érteni a szövegösszefüggésből. Mi lesz újra és újra ezt a könyvet különbséget tesz a tárgy, annak meghatározása és leírása.

Konkrét Ontológia (és nem a tudomány általában!) - az egyik a választ a kérdésre, hogy „mi van a világban?”. Általában, filozófusok és logikával jöttek fel egy csomó lehetőséget. Tedd egyáltalán léteznek a világon a tárgyak, folyamatok, összefüggések, a dolgok a területen? Ha van - mik ezek? Van kotrógépek, torziós mezők, Harry Potter bölcsek köve, a dolgok, hogy a Sátán és az istenek a görög panteon, részvényárfolyamok, modor, az igazságosság, és még a filozófia maga az ontológia? Vannak X = 4, E = mc 2 Hamilton és Lagrange végeselem módszerrel, a bitek és bájtok, a rugalmassági modulus és a különböző típusú? Különböző ontológiák különböző választ ad ezekre a kérdésekre - és ontológia, mint közös fegyelem vizsgálja a módszereket, amelyekkel ezek a válaszok adottak.

Mi a különbség a szemantika az ontológia?

Szemantika - ez körülbelül hogyan csatlakoztassa a karakterek / jelek olyan eszközzel, hogy a fogalmakat. A szimbólum „$” kapcsolódik a monetáris valuta „dollár”. „Mi a jelentése a szövegben a $ jel?” - ez a kérdés szemantika.

Ontológiai probléma - ez a válasz arra a kérdésre: „Mi az az amerikai dollár?”. Vajon létezik a világon, mint önálló szervezet, jelenség, hogy a jelenség csak a fejünkben - mindez ontológiai kérdéseket.

Természetesen nagyon gyakran az élet zavaros kérdések „Mit jelent a X” és „mi X”. „Mi a szivattyú?” - ezt kérdezte, mi a „pumpa”, vagy kérdezze, hogy mi az, hogy „az a szivattyú” a valós világban elég hosszú, megtudjuk különböztetni ezeket a kérdéseket ?.

Gyakorlat: Próbálj meg válaszolni az ontológiai kérdés - „mi az amerikai dollár?” [Ez egy „retorikai gyakorlat”: nem valószínű, hogy érdemi választ ismerete nélkül az elmélet a pénz és a tapasztalat az ontológiai munka] nézd meg a listából: fizikai tárgy, absztrakció, folyamat

a termék típusa, a „pénz”, a valuta fiatnye pénz egység, a felvétel a számlákon. Válasz azonos kérdését Bitcoin. Miben különböznek ontológiailag?

nehézségek pontosan ugyanabban a sorrendben, mint ön által tapasztalt, mint a mérnökök, amikor meg kell határozni egy olyan információs rendszert a számítógépen „mi a névleges átmérőjű csővezetékek”, és hogyan kapcsolódik a tényleges átmérője, vagy a „mi van a műszaki kapcsolatban a fűtési rendszert.” És amikor a mérnökök és vezetők jön elmagyarázza a műszaki és gazdasági számítógépes modellt, majd kérdéseket az amerikai dollár és a bitcoin eléggé lényegtelen.

Mi nem lakik a különbség Ontika (tényállásra egy témában / tárgykörben) és ontológiák (a tényállásra a világ egészére). Sokan hívják Ontika ontológiák, és eddig körül van tiszteletreméltó filozófusok, ez teljesen elfogadható.

Egyének, osztályok és osztályozók

Hogy az emberek sikerül megegyezni, hogyan működik a világ, és formailag is, vagyis azzal a képességgel, hogy ezeket a megállapodásokat rögzíti információkat a világ, és hozzon létre egy világmodell a számítógép memóriájában?

Egyéni - egyéni, különleges tárgyat létező fizikai világban. De mi az a „létezik a fizikai világ”? Ehhez sok filozófiai szempontok, és mi lesz kiválasztani a leginkább „tudományos” is. Tegyük fel, hogy vannak olyan tárgyak, amelyek helyet téridő (4Dpodhod, négy-dimenziós térben „Einstein”). Az ilyen egy objektum egy bizonyos hosszúságú térben (azaz mérete, hossza, szélesség, magasság, sugár) és időben (azaz azt az időt, amikor kezdett létezik, és a ponton, amelynél azt kész létezik). Helyet egyedi 4D úgynevezett „mértéke” (mértéke), és a megfelelő világnézet volt az úgynevezett „ekstensionalizm” (extensionalism). Fields és az energia, akkor is úgy 4D tárgyak fizikai bonyolult egy ilyen megközelítés még nem fontos a számunkra.

Most felidézni az alapvető definíciók, állítások halmazelmélet. A készlet áll az elemek. Például mondhatjuk a egyedek halmaza, x, oly módon, hogy x egy autó. A matematikai jelölés halmazelmélet (most elkezdjük használni, és majd beszélni nyelv és jelölések több) lehet írni:

ahol Car (x) - a logikai állítmány (a funkció, amely társítja semmilyen tárgyat x igaz vagy hamis, és pontosan akkor, ha x -. jármű). Logika és halmazelmélet szorosan összefügg, az irodalomban adatmodellezés, ontológia és logikai számításokat megtalálja ugyanazt a matematikai struktúrák diszkrét matematika.

Van egy csomó mértékben? Tegyük fel, hogy nem, és ez lesz a számunkra, meghatározó jellemzője az absztrakt objektum, nem egyedi. Legyen x - az egyedi, de ne feledje, hogy sok ember egyéni - ez nem ugyanaz, hogy ez a személy:

Ezért x hossza a tér-időben, de a set is - ez valami más, ez csak egy absztrakt objektum. Szettek - egy gondolkodásmód kakihto szervezetek, matematikai absztrakciók.

Így például a mi a további megfontolás azt feltételezzük, hogy az absztrakt objektumok, azokat, amelyek nem magánszemélyek - rendelkezik a kiterjesztett 4D, nem olyan mértékben.

Mi továbbra is beszélni nem „készletek”, valamint az „osztály”, feltételezve, hogy ebben a pillanatban, hogy ez egy és ugyanaz. Ez nem az osztályok az objektum-orientált programozás!

A besorolás fogják hívni az osztály-tagságát egy objektumot, az elem tartozó készlet. Normál kijelölés, hogy x - set / eleme X osztály:

Bizonyos típusú térképek (pl nyelv EXPRESS-G) megtalálja a nyíl (irányított osztály osztály tag):

Ratio specializáció két osztály - több részcsoportja és az arány (az arány a két rendszer között, természetesen). Standard megjelölési, hogy több / B osztály - részhalmaza / alosztálya / osztályú:

A EXPRESS-G ábrák látható egy nyíl egy kör alakú elmutató végén az osztály podlassu:

De a UML diagramok, ugyanazt a magatartást a specializáció egy nyilat mutat egy háromszög alakú végei mutató az ellenkező irányba:

Lehet, hogy egy tagja számos egyéb készletek? Igen, persze -, akkor mi lesz foglalkozni több szett osztály vagy osztályok.

Eiffel-torony (egyéni) egyik eleme osztály Tower - az aránya a besorolás a tagság.

Eiffel-torony ε TOWER

TOWER osztály egy alosztálya osztály szerkezetét - az arány szakirányú részhalmaza.

De tudjuk azonosítani és ravaszabb osztály - class típusú beruházások. Ez csak class osztály osztályozó. Torony és a híd osztályok elemei osztály típusú beruházások.

Egy egyedi lehet nyilvánítani egy tagja számos osztályok és minden osztályban lehet leírni, mint a két tagja számos egyéb készletek osztályok, valamint egy alosztálya sok osztályban. Ez a kifejező erejét halmazelméleti megközelítés. A nyelvi órák, amikor az új ismeretek adhatunk a vonatkozó tényeket, hogy a meglévő ismereteket, hanem újragondolni az egész szerkezet a világon, mint ahogy az a megközelítés, hogy objektumok és attribútumok, amelyek ismerősek programozók.

Fordítson különös figyelmet a besorolások: osztályok osztályok. Ha nem ez a kialakítás, nehéz lenne, hogy távol a gondolat, hogy a világ fő (és néha még az egyetlen!) Selejtező - hierarchiája „verseny-jellegű”, olyasmi, mint rendszertani fa Linnaeus a biológiában. Ott, minden élőlény által minősített egyetlen faj, faj tartozik ugyanabba az osztályba, és így tovább. Ez a megközelítés lehet, és csak tiszta biológia (bár a modern genetika kérdése van), de ez a technika, csak nem kell alkalmazni.

És a mérnöki és egyéb tudományágak különböző emberek, mint a különböző besorolások, a különböző típusú generikus-specifikus kapcsolatok, amelyek kényelmes tevékenységüket. Hogyan élnek egy olyan világban, ahol „az elsődleges és egy minden osztály a hierarchia”, hogyan kell szimulálni a véleményét különböző emberek, úgy, hogy még a számítógép tiszta volt? Nagyon egyszerű: meg kell használni a különböző besorolások, ezek az azonos osztályban az osztályok. Különböző nézetek a világ mintájára elsősorban változatai osztályozók. Sokféle belül a világ egyik nézet modellezte taxonómia - fa szakirányok részhalmaza kapcsolatok.

Tovább absztrakt objektum a kapcsolat - ez a két tárgy, vagy akár egy csoport / sorok több objektum. Az egyik arány közötti arány egyének, például (egy logikai predikátum):