Local Boolean manifolds from knowledge representation systems
Abstract
We introduce a structure to represent "observations" on entities in order to obtain "knowledge" about some of their characteristic properties or attributes. This structure is based on the Pawlak's definition of "information systems" (also "knowledge representation systems") and lead us to obtain algebraic structures of lattice depending from the choice of an observational "context". The semantical algebraic structure so obtained is of local Boolean manifold whose global structure is an orthoposet which shows a nontransitivity of the implication; this behaviour could be useful for a formal algebraic approach to "non-monotonic" features of reasoning.
Full text
! " # ! """ #$%&' () ) * " + $%& ( ( , #"" ' ( #"" '"- . /" 0 # ' # ' # ' # ' 1
# ' # ' ! , ( # ' # ' " 2 ( / # ' # '0 # ' # '0 3 4 # # '' # ' 4 ( # ' #( ' ( ( 4-5 # # '' ( ( ( -" 6 0 # ' # ' ! "# # ' $ % & ' 4 # # '' 4 ( 40 # ' ) * " % +, ½ ¾ ½ ¾ ½ +, ¾ ½ ¾ ½ +, ¾ ½ ¾ + ½ ¾ , 7 ( #'8#' ( 9 " ! 8 0 ´ µ :
( (- 8 - # ,' 8 " #2 ( ( '" 2 ( , & ( ( # ' - ( , # ' # '" ! ( & ( # ' # ' # '0 # ' ; , # '" 3 # ' # ' ( - ( # ( < ( # ''" ; < # ' = > ( # ' 8( " ? # ' ( 8 4 # # '' ( ( ( ( " 2 @ ( ½ #4' 0 # ' 4 #"" ' 4" = # # '' # ' 4 #4' 0 ½ #4' ( ( - ( "A ( ( ( & 4 # # '' (( #4' # '" 3 /@ ( # ' 8 / # ' # '0 ½ #4' 4 # # '' # ' # '0 ´ µ # ' ; B
# ' "# - # ' # ' . # '0 # ' # ' 3 #"' # ' ( ( # ' # ' # '5 ( ( # ' ( C)= B" 3 ( - 8 # ' ( # ' / # ' 4 "" ( #( ,' # 4 '0 #4'" 2 8 8 4 " - # -' "" ( # ' 4" > ( / ( ½ ¾ # ' 0 # ' # ½ ¾ ' 0 # ½ ' # ¾ ' # ½ ¾ ' 0 # ½ ' # ¾ ' # ½ ¾ ' 0 # ½ ' # ¾ '" > # '0 # '0 " ! 8 ½ ¾ 8 ½ ¾ 9 # ½ '0 # ¾ '5 @ 4 4 4 ½ 4 ¾ 4 ½ 4 ¾ 4 ½ 4 ¾ 4 ½ 4 ¾ 4 ½ 4 ¾ #4 ½ ' 4 ¾ " 2 # 1' #4' 0 ¡ # ' 4 ¡ + 89 8 9 # '0 5 8 # 4 ½ 4 ¾ '94 ½ 4 ¾ " A ( ( ( ( # ' # ' # '0 ½ # ' # ' # ' # ' # '0 ´ µ # ' # ' D
# ' - # ' ! 8 ( 8 # ' ((- 0 ½ " ! ( 8 ( ( ½ # '" ! & # ' ( /@ " # ' - " ½ ¾ # ' ½ ¾ ½ ¾ # ' ½ ¾ # ½ '0 # ¾ ' - 0# % ½ ¾ ½ ¾ # ' ½ ¾ 0 ½ ½ ¾ ¾ # ½ ' 0 # ¾ ' + ( )5 ! ( / ( , ( ( "- #) '" 2 )E # ' # ' 5 8 #"1' " " 3 ( # ' # ' 8 # # '0 # ' # ' 8 # # '0 # ' 3 ) 8 @ # '0# # ' # '' + ( < # - @ (5 @ < ( 8" F
½ ¾ # ' - ½ # ¾ ½ ¾ ½ # '0 ¾ # ' - # # / . 8 # ' # ' 0 1 : # '0 ¼ ½ ¾ # '0 ! ( ( ( ( ( @ G ¼ # 'G ½ # 'G ¾ # 'G GG G G G GG G G G G1G G G G G:G G G G ; 8 ( ¼ # '0 1 : ½ # '0 1 : ¾ # '0 1 : ! @ ( 0H 0 " ! ( ( ( ( ¼ # ' 0 1 : 1 : ½ # ' 0 1 : 1 : 1 : 1 : ¾ # ' 0 : 1 1 : : 1 1 : ; ( ( ( I *
3 "
3 (" ! ( ( ( ( ¼ # ' ½ # ' ¾ # ' # '0 1 : 1 : 1 : 1 : 1 : 1 : # '0 1 : 1 : I & 3 " H