Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

TODO: \ refinerho falta ... Propriedades de operadores de Refinamento

An \ (La \) para baixo operador de refinamento \ (rho \) é chamado
  • finito sse \ (\ rho (C) \) é finita para qualquer conceito de \ (\ in \ mathcal {C} (\ mathcal {L}) \)
  • redundante sse existem dois diferentes \ (\ rho \) cadeias de refinamento de um conceito C a um conceito D.
  • sse adequado para \ (C, D \ in \ mathcal {C} (\ mathcal {L}), C refinerho D \) implica \ (C \ não \ equiv_T D \)
  • ideal sse ela é finita, completa e adequada.
  • sse completa para \ (C, D \ in \ mathcal {C} (La) com D \ sqsubseteq_ TC há um conceito E com E \ equiv_ TD e um refinamento da cadeia C refinerho \ cdots refinerho E \)
  • sse fracamente completa para qualquer conceito de \ (C \) com \ (C \ sqsubseteq_T \ top \), podemos chegar a um conceito \ (E \) com \ (E \ equiv_T C \) de \ (\ top \) por \ ( \ rho \).
  • ideal = completo + bom + finita

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.