時間的/むベントオントロゞヌにおける郚分党䜓の関係

サむクルの最初の発行「 クラス、セット、グルヌプ、システム 」は、1぀たたは別のクラスセットに割り圓おるこずによる埓来の個人の分類は同皮ずは芋なせず、1耇雑なオブゞェクトの䞀郚ずしおの個人の包含を区別する必芁があるずいう結論で終わりたした党䜓および2 抂念ず関係に分けられる抂念の䞋での個人のfall萜。 2番目のテキスト「 個人の抂念の説明 」では、抂念抂念の元の階局が提案されたした「カテゎリヌ-タむプ-抂念-属-çš®-倚様性-個人」。 珟圚の出版物では、「郚分的」関係の分類に焊点を圓おたす。 蚀語シ゜ヌラスおよび䞊䜍オントロゞヌWordNet、RuTez、SUMO、CYCオントロゞヌ、DOLCEでは、「郚分的」関係の亜皮を区別するためのさたざたなオプションが説明されおいたす。 テキストは別の分類方法を提案しおいたす。




共通蚀語では、「パヌツ」ずいう甚語を䜿甚しお、オブゞェクトが別のオブゞェクトの䞀郚であり、そのオブゞェクトに属しおいるこずを瀺すこずがよくありたす。 以䞋は、 党䜓ずしお理解される、別の゚ンティティの䞀郚ずしおの特定の゚ンティティの所属に関する兞型的なステヌトメントのリストです。



  1. ホむヌルは車の䞀郚です。
  2. 心臓は埪環噚系の䞀郚です。
  3. 手は人間の䞀郚です。
  4. 䞊郚はツリヌの䞀郚です。
  5. 朚は森の䞀郚です。
  6. 船は艊隊の䞀郚です。
  7. 絵画はコレクションの䞀郚です。
  8. このバッグの内容は、私が買ったものの䞀郚にすぎたせん。
  9. 人は劎働組合の䞀員です。
  10. ゎヌルキヌパヌはサッカヌチヌムの䞀員です。
  11. この章は小説の䞀郚です。
  12. この行為は劇の䞀郚です。
  13. 春は䞀幎の䞀郚です。
  14. ゎヌルキヌパヌ゚リアはサッカヌ堎の䞀郚です。
  15. プスコフ地域はロシアの䞀郚です。
  16. モスクワはロシアの䞀郚です。
  17. 熱力孊は物理孊の䞀郚です。
  18. 䞀切れのパンはパンの䞀郚です。
  19. ゞンはマティヌニの䞀郚です。
  20. 氎の䞀郚は、ガラス内の氎の䞀郚です。
  21. 炭玠はメタンの䞀郚です。


このリストを簡単に芋おも、 䜕かが別のものの䞀郚であるず私たちが述べおいるすべおの状況が同じ存圚論的意味を持っおいるわけではないこずに気付くでしょう。぀たり、サブゞェクト領域のモデルをコンパむルするずきに同じ方法で説明するこずができたす 堎合によっおは、パヌツたずえば、朚、車茪は党䜓森、車の倖偎で独立した確実性を持ち、この党䜓から別の車に移動できたす車茪を別の車に眮くこずができ、朚を隣接する森に移怍できたす。 他の郚分ツリヌの䞊郚、熱力孊、ゎヌルキヌパヌ゚リアは、その倖偎に独立した存圚を持たない党䜓の内圚する断片ですずにかく、熱力孊は垞に物理孊の䞀郚であり、サッカヌ堎の倖のゎヌルキヌパヌ゚リアは単なる長方圢の゚リアです。 埪環系からの心臓、機械からの車茪、メタン分子からの原子など、䞀郚の郚品が取り倖されるず、それが存圚しなくなる党䜓がありたす。 他の敎数は、その構成の倉曎に無関心ですフォレスト内のツリヌを切り倒したり、新しいツリヌを怍えたりするこずができ、フォレストはもちろん、䞀定の限床たでフォレストのたたになり、組合の議長でさえ解任しおも組織の存圚に圱響したせん。 ぀たり、䞊蚘のフレヌズの「䞀郚」ずいう単語は、いく぀かの意味で䜿甚されおいるこずがわかりたす。



  1. 詳现、システムの機胜芁玠ホむヌル、ハヌト、
  2. ものの断片朚のおっぺん、人の手、
  3. 空間的たたは時間的゚ッセンスの断片パフォヌマンス、ゎヌルキヌパヌ゚リア、春の行為、
  4. 倚数の芁玠森の朚、艊隊船、組合員、
  5. セットのサブセット賌入した補品の䞀郚、
  6. 混合物の成分マティヌニのゞン、
  7. 郚分、䜕かパンのスラむス、グラスに入れた氎の郚分を分割しお埗られる郚分、
  8. 分類の芁玠である抂念に該圓したす熱力孊は物理孊の䞀郚です。


特定の難しさは、䞀郚の党䜓ぞの垰属に関する同じ声明がさたざたな方法で解釈できるずいう事実によっお匕き起こされたす。たずえば、「モスクワはロシアの䞀郚です」ずいう呜題は、「モスクワの領土はロシアの領土の断片である」、「モスクワは芁玠ロシアの倚くの郜垂ぞ」、たたは「手は人の䞀郚です」ずいうフレヌズは、人䜓の断片サッカヌの詊合のルヌルを蚘述する堎合などず䜓のモヌタヌサポヌトシステムの芁玠/詳现生理孊の䞡方を瀺すこずができたす。



したがっお、2぀の明らかな結論を匕き出す必芁がありたす。



  1. 異なる状況/むベントに参加する同䞀のオブゞェクトは、さたざたな党䜓の䞀郚ず芋なすこずができたす。
  2. 最も重芁なこずは、サブゞェクト領域のモデルを䜜成するずきに、「パヌト」ずいう甚語の䜿甚の䟡倀の違いを正匏に蚘録できるこずです。




関係の分類「郚分-党䜓」



「郚分」ずいう甚語の意味のリストからいく぀かの項目を組み合わせるこずにより、特定の関係「郚分-党䜓」を区別するための次のオプションを提䟛できたす。



  1. 芁玠/郚品-システム、
  2. フラグメント/リヌゞョン-空間的たたは時間的な゚ンティティ、
  3. メンバヌは倚数です
  4. 䜜品は党䜓です
  5. コンポヌネントは混合物です。


提案された分類は、時間/むベントオントロゞヌに基づいおおり「 耇雑なシステムのモデリングに察するサブゞェクトむベントアプロヌチ 」を参照、むベントを初期オントロゞヌ゚ンティティずしお考慮するこずを提案したす。この堎合、党䜓が固定圢成たたは倉曎されるむベントは匷調衚瀺されたす郚品、個々の郚品間および郚品ず党䜓の間に関係が確立されたす。



  1. 芁玠-システム アセンブリ/分解、芁玠の亀換、芁玠ず芁玠ずシステム間の機胜的因果関係の修正。
  2. フラグメント-゚ッセンス 遞択、制限、フラグメント境界、さらに/より近い、より早い/より遅いずフラグメントず党䜓䞭倮/呚蟺、開始/終了の䜍眮関係の固定;
  3. メンバヌ-倚く 所属の固定、包含/陀倖芁玠間に関係はありたせん;
  4. ピヌスは党䜓です分割、分割、切断芁玠間に関係はありたせん;
  5. コンポヌネント-混合 混合、結合芁玠間に関係はありたせん。


䞀郚のサブゞェクト領域では、さたざたな「メンバヌ-セット」関係ずしお、「メンバヌ-コレクション」関係を区別するこずができたす。これは、オントロゞヌ的に区別可胜な異皮オブゞェクトの順序セットを蚘述するのに圹立ちたす。



䞀郚ず党䜓の関係の䞀時性



「郚分-党䜓」ず「成分-混合」の関係は、郚分ず党䜓が同時に存圚しないため、䞀般に「郚分-党䜓」ずしお分類するのに問題があるずいう事実に特に泚意を払う必芁がありたす。 したがっお、「ピヌス-党䜓」の関係をピヌスが分離されるたで固定する堎合、党䜓にパヌツはありたせん-均質なオブゞェクト党䜓ガラス内の氎、パンがあり、ピヌスを分離した埌、このオブゞェクト党䜓は消えたす2぀の郚分の氎ず2枚のパンをスラむスするず、元のコップ1杯の氎ずパンはなくなりたす。 そしお、関係「メンバヌ-セット」および「フラグメント-゚ッセンス」ずは察照的に、関係「ピヌス-党䜓」は時間的オントロゞヌでのみ適切に蚘述でき、オブゞェクト党䜓が消えた埌、ピヌスが党䜓から分離するむベントを蚘録できるこずは明らかです。



「ゞンはマティヌニの䞀郚である」ずいう文の存圚論的解釈にも同様の問題が生じたす。これは、明らかに「成分-混合物」ずいう関係で説明されるべきです。 マティヌニをグラスに入れた堎合、グラスの䞭の液䜓に入れた堎合、「ゞン」などの郚分を瀺すこずは䞍可胜であるこずは明らかです。 パヌツは、システム、セットのメンバヌ、フラグメント、ピヌスの詳现である独立したオブゞェクトずしお提瀺される、区別されるものです。 混合物、合金、溶液では、そのような郚品は区別できたせん。 さらに、そのような存圚論的状況、「準備枈みのマティヌニから「ゞン」の䞀郚を分離する必芁があるむベント」を想像するこずは困難です。 マティヌニの構成芁玠であるゞンずベルモットを指摘するこずは、党䜓が珟れる前にのみ可胜です。 したがっお、ここでは、「ピヌス-党䜓」ずいう関係の堎合のように、パヌツず党䜓が同時に存圚しないずいう状況に察凊しおいたす。最初は既存のパヌツが消えお新しい党䜓が圢成されたす。 「コンポヌネントず混合物」の関係は、䟋えば、䞀時的なオントロゞヌを必芁ずするマティヌニを準備する手順を説明する堎合など、郚品党䜓の圢成のむベントが蚘録される察象領域にのみ導入するこずをお勧めしたす。 混合物自䜓のアクション、぀たり飲み物を飲むこずだけを説明しおいる堎合は、远加のオブゞェクト「レシピ」を導入し、それを「ゞン」ず「ベルモット」の抂念のコレクションずしお説明する方が適切です。



「オントロゞヌ」は、「芁玠システム」関係を完党に説明するためにも必芁です。第1に、システムは動的になる可胜性があり、第2に、芁玠を削陀するずシステムが倚数、たずえば車から郚品の集合に倉わる可胜性があるためです。



関係の掚移性「郚分-党䜓」



掚移性- 郚分の䞀郚は党䜓の䞀郚です-「郚分-党䜓」ずいう関係の3぀の公理および反射性ず反察称性の䞭で最も重芁です。 提案された分類では、他のいく぀かの皮類の分類ず同様に、掚移性は特定の皮類の関係内でのみ実行されたす郚分はシステムの䞀郚でありリムはホむヌルの䞀郚であり、したがっおマシンの䞀郚です、フラグメントのフラグメントぱンティティ党䜓のフラグメントです手銖はフラグメントです手ず人の断片、行為の堎面は劇の断片です、サブセットのメンバヌはセットのメンバヌです地域劎働組合のメンバヌは党ロシア劎働組合のメンバヌでもありたす、断片は断片です 最初は党䜓が分離されおおり、成分成分は混合物の成分です。 このように、掚移性の問題は、「郚分党䜓」の関係の䞀般的な理解から根本的に解決されたす。これは通垞、䟋で瀺されおいたす。人は組合の䞀郚であり、手は人の䞀郚であり、したがっお手は組合の䞀郚です。 提案された分類では、状況は根本的に倉化したす。人は「ナニオン」セットのメンバヌであり、手は人のフラグメントであるため、セットのメンバヌず芋なすこずはできたせん。たずえば、ボルトは機械郚品であり、スレッドはボルトの断片です、スレッドはマシンの䞀郚ではない、たたはマシンはコレクションのメンバヌですが、マシンの䞀郚ずしおのホむヌルはコレクションに含たれなくなりたした。 「フラグメント-゚ッセンス」関係の掚移性に぀いお特別な発蚀を行う必芁がありたす。フラグメントが空間ベヌスたたは時間ベヌスのいずれかで遞択された堎合にのみ保持されたす「若者」の時間フラグメントは、空間的に区別するこずはできたせん。フラグメント「腹」。



䟋ず説明



もちろん、ワヌクショップのサブゞェクト゚リアにある車は、芁玠/郚品のシステムずしお説明する必芁がありたすが、䞀時的/むベントオントロゞヌは、郚品亀換のむベントを蚘録するために䜿甚する必芁がありたす。 掗車の機胜を説明するには、バンパヌ、ボディ、ホむヌルなどの断片で車党䜓を提瀺する必芁がありたす。この堎合、システムの詳现ではなく、掗浄゚リアに盎面しおいるこずは明らかです。 ガレヌゞでは、車はコレクションのメンバヌであり、亀通制埡システムでは倚数のメンバヌです。 埋立地オントロゞヌでは、車は党䜓ずしお蚘述され、断片に分割される必芁がありたす。



「ゎヌルキヌパヌはフットボヌルチヌムの䞀郚です」ずいう蚘述は、フットボヌルチヌムゎヌルキヌパヌ、ディフェンダヌ、フォワヌドの構造に関しおは「芁玠-システム」関係の蚘述ずしお解釈でき、特定のゎヌルキヌパヌのIDを指す堎合は「メンバヌ-コレクション」ずしお解釈できたすIvanova絊䞎蚈算ぞ。



「炭玠はメタンの䞀郚である」ずいう刀断は、元玠ずしお炭玠原子を含むメタン原子の組成に関しおは「元玠-システム」関係を瀺し、メタン合成を説明する堎合は「成分-混合」比を意味したす。玔粋な炭玠からは埗られない。



おわりに



䜕かが別の䜕かの䞀郚ず芋なされるずいう声明は 、存圚論的に同質ではなく、郚品ず党䜓の時間的、空間的、機胜的関係のオプションを考慮しお、次のタむプの関係を瀺すこずができたす「芁玠/詳现-システム」、「断片/領域-空間的たたは時間的」本質」、「メンバヌ-セット」オプションずしお「メンバヌ-コレクション」、「ピヌス-党䜓」、「コンポヌネント-混合」。 掚移性は、リストされた関係内でのみ保持されたす。 関係を正確に決定し、郚品ず党䜓の正匏な関係を確立するには、远加の調査が必芁です。



文孊



  1. Lukashevich N.郚分党䜓の関係理論ず実践//ニュヌロコンピュヌタヌ開発、アプリケヌション。 -2013。-No. 1.-S. 7–12。
  2. J.オデル「6皮類の構成」Journal of Object-Oriented Programming1994幎1月
  3. Varzi、A。、「Mereology」、EN Zaltaed。、The Stanford Encyclopedia of Philosophy、2014幎。http//plato.stanford.edu/entries/mereology



All Articles