Please enable JavaScript.

Coggle requires JavaScript to display documents.

Harti Mentale. Hipertexte - Coggle Diagram

- - - - repertorii de termeni, vocabulare pentru metadescrieri
      - baze de cunostinte declarative
      - in filosofie teoria asupra existentei
      - definirea categoriilor fundamentale de entitati din realitate si a relatiilor dintre ele
      - nu intotdeauna explicita
      - Metode pentru dezvoltare
        
        tezaur, baza de date, taxonomie
        
        Alinierea ontologiilor
        
        Psiholingvistica
        
        Text minig
        
        Analiza formala a conceptelor
        
        Plecand de la categorii filosofice (Sowa)
        
        Ad-hoc
    - - Roluri
      - Axiome
      - Concepte
      - Individuali
      - Subsumare
        
        c1 subsumeaza c2 <=> E(c1) include E(c2)
      - Verificatea consistentei
      - Clasificare
      - Tractabilitate vs expresivitate
      - Definitii
        
        Extensionale: E(man) = {John, Fred, Bob, Dan}
        
        E[(and c1 c2)] = E(c1) intersectat E(c2)
        
        E[(all r v)] = {d apartine D | E[r(d)] inclus in E[v]}
        
        Intensionale
        
        (some prop concept)
        
        (all prop concept)
        
        (atleast nr prop concept)
        
        (not concept)
        
        (or concept1 concept2)
        
        (atmostnr prop concept)
        
        (and concept1 concept2)
        
        Concepte si roluri
        
        (disjoind algorithm data-struct)
        
        (role input
        (:domain algorithm)
        (:range data-struct))
        
        (concept data-struct :primitive)
        
        (concept container-algorithm
        (and algorithm (:the input container)))
        
        (concept algorithm :primitive)
        
        (:the r c) echivalent cu (and (all r c) (atleast 1 r) (atmost(1 r))
        
        (some r c) echivalent cu (and (all r c) (atleast 1 r))