Extracting Micro Ontologies from Interrogative Domains For
                                Epistemic Agents
                                                 Tracey Hughes and Cameron Hughes


                                                                  
   
                                                                       
                                                                     
                                                                
                                                                  

                               Abstract                                             Interrogative Domains as Sources of
  
                                                Knowledge
                        
                                       .    #         %$   # 
                               8             
                         $  #    #   #  
                                                         '    2354,  -     
                                       #     #  #      % 
                                    # 
                          
                                                                              %     1& #     
          
                                                                                %      %7 
                                                                                        # 
                                                                                          %            
                          Introduction                                          %     -    % 
!   " #  $      #    %                        #   % 9     %% 
% #     %#    #  &#                           % %      #  %% % 
'(    #)" *++,-  % #  %                            #     #          .       
             " #                                  #            %       
   #        %                               %  " #   #      %  9        
'!    #  $  *++,  .   %                              %     " #   #     
    %                                     #  #
     %  "   % #                      -" #$      #  #  
" #0# 0  #1                                 #      9                         
   %%    #      #       #                  #     '
0    2345,   #     %    %   
'1        *+2+,       #                     "  #   0#   
   '
0    2345,        %     # #                    & # #9      # 
  #                 %   #  #  &       %            # %%  " #  % " #$   
          %  %       #                               ': #:*++3,-  #%  
 0 -  %   # %                       %#     "   # #% 
   %      0     %        #                          
 #   #  -        %  %                       .          #          # 
 6                                                                                    " #       $        
                                                                                      
      -     
       
      %                                             $     #   #        
       
                                                 %        %    #   
       
              #  7                    %       -      %  #% #  
                                                                          %  #   0     %7 
                                                                             %  #    1  ) ;<')0  
                                                                                   ;    <  8 ,   %  
                                                                                 #9         ) ;<  9    
                                                                              0   0# # #   
                                                                             
             ) ;<      
                                                                                   0   #  
% " #$                #" # %  
   

Interrogative Domains and Entailment
.       9                     9  
            
 #   .      
%      #       %       
    ##   #    #            #   -        %   
"       '!   
  2345, 1                 %  
       %  9   #  #             
      %$  #    -   
 $  #    #  # #  
-%        %$  
 #            &        " 
'!"  #! *++,!$  #   
 #  #    "#  
  %      %                          
=   $   #                 
 > 9 $  #     
-2 " %   %     
#   #
                                                                                        
            
Question and Answer
                                                                                     -     8     #   
Q6
                                        <  8 .% $@ "  6
  
A                                                                                     $%&'(')'') *'2,
Entailed Proposition
                                                                            - )'        +   #'     +  
<2                                    "  #       % #
                                                                                   9  %    -    8    >   
Inferred Propositions                                                           9  ##   #  #& #          <   
                                             C  ':*++4,

                                              Contrast of Agents and Epistemic Agents
                                                                            .     9  %     "   #               
          !
"           #                          #& #     #       %  
                        " "                                                      8  #    
                                                                            %  %   %% # %%# 
-         %    ?    #     8                                #     
         <2 #% <2                         "     >  21  
  %       .2 #.*-                                               %         
          " #  9 #  %     #                 'C 233B,')  #; %%233, 
                                                                 #'1 # #*+++,"  % @ "  
                                                                             #  C#    "            #   0  
          Notions of Knowledge and Truth                                    '@ "  #C# 2333,1   # 
                                                                            '@ "  #C# 2333,     
   #   %" #   #                                   # #    'C   233B,   #  ')   # 
" #1-   8  '@ 23A, %                      ; %%233,    &#  
@ #'-8@, %                                        %     
8 -   8      #                     ': #:*++3,. '@ "  #C# 2333, 
     #';  23AB,%                     &# D  D                   
" -   #      #%                          #     -  % 
       %   .                           #  # #$      
          " #     #  #    7 &#    
 %1@ "  '@ "23AB, 
        #        #  0     #                         ##   % %   #&  %   
                                                                     E  #                 '#  # 
 <        ':                           ?F8     %            #  #  
*++4, #   % # $                         , #  %    /    "
                                                                                  #  0   
7 %  #                  " #  # 
 %               # 
    % #>                                 Defining the Knowledge Space
    E(8 'E#   ( 8   , ':                     %6. '.'.7''. 8
 #  :  *++3,      #      !E.      
'1 # #*+++,-E(8   #  #                                   %                
,6                                                                                   #          %  #   -   
                                                                                 6
                 ,%-. '/''01'*,
                                                                                                                                            
 6
                                                                                                                                                      1!
.    <  C  
/     ##   % %     .
'    %    
0     ##     %                                  )             %    #         
      % .                                                         " #     %         #   "  
                                                                                     ! # )    %    " 
-              " #                            #      0  #-  
 #-8@'7 &#  %,.  
#& #6                                                                                                     

                 .%-2'2'3'4'51                !                     %          2 "#
         
                                                                                                        
                                                                                                                 3        
 6                                                                                                            
                                                                                                         
                                                                                                                      45             
       %"                                                                                                
       %"                                                "    "         
                                                                                                   
     %7 &                                                                             *         
                                                                                                               *      
       %                                                                                            6     


         0               %                                                                        
      .                                                                                                                   
  
                                                                                                                            2    
                                               5       
        "#
                                                
                                                                                                           2  5   
         $                                                   7     
                              %                                                            
   &  '                 (  )                                                        
*                                                                                    
+          !    ,                                                                   
           !-  - 
                                                                                 *             8             
.))/!                                                 
                                                          4          
                                                                                                                               
                                                 +  
                                                                          
                                                                                                       
   
                                                                           9       
                                                                               
       
                                                                       45    
                                                                                                                             
     
         
                     
      0           / '                            9  "'"  #)
  :  
)       %  # #" #                                 -   &         %    ?F8          
$     $  -   $                                       &       ?F8     &              
-*                                                                               #     %  #             .%?F8 
.  " #$      "                                          #                
  #  )  $                                          # "     
         #    % #                                     .      # ?F8 &  
        #     $                                                        '@  # 
         0                        #  $                )233B,    
  '1  *++5, 9                                 C  %6 %6 # !
  "8  6
   %               ':   #  :  *++3,   
   #  %   %  /                                                                                       :!
         " #   /    
  %   
.%6                                                                                   %                       #  %  
                                                                                    
                    GH ',
                                                                                       Model Theoretic Semantic = Micro-Ontology
 %  E(8 > #                                             % = #-  8   
<  89  #6                                                        '=-8,      9            %  %   
                                                                                         '!"  #! *++,  6
     :0&:* 
)
 0&:*  
;,/&&:** $'A,
                                                                                                 
       %T
-   9     #                                                 
         T
  #  % "  % #                                               
           # 7  T

                      Ontological Artifacts                                            ( =-8   %%   
                                                                                        %      0     .  %    =-8   %&     
-             %    "  #   %                            #      0     %         " # 
           " #  %  #          .%                           -    #    # %  
  #       %#                                ) ;<6
   #           #          
  #                            #                      

     
     9  %         /  " #                          
   
C            ',                          
     
 # #   #   '@ "23AB, 
 " %    1    #                                            #          8 # 
                ':   #  :  *++3,                                 # "     # #
    9       #             %                         #       %> 9  
                                                                                 9       %%   #       
  -                 9   %                         -26
        %%    6
                                                                                       <26                  
 Step 1:        C             "  %  ?F8   
                                    %                   . C B      #                         
                   / #                                           6
 Step 2:        
 %?F8   #  2B                          <2G  6
                  %$  #                                        $ 2   $<+   $ 2  '$ = ' $  
 Step 3:        )     # "                           >     
                $  #     "
                                                                                       -  9 #      % #6
 Step 4:                 
                ?F8                                                         ?&$ 2  '? *
 Step 5:          # 6

                                          ?&$ = '? *
                
   
                                          ?&$ > '? *
                9       %%  
                       
-         %       #       #         ) ;< 
        %         :      #          -) ;< ;)8==8)'.C.C, #. 
# #       #                        ?F8  >   .C.C  '     C    .  % 
                %                 C,  #(.'(  .  %, 
  #        %                         ) ;<.   #   ?F8 
    9          %      #               #                  # 8K  
   %  #        '  #% #   7           .C.C       %     1 )E(<-   #  9  
     ,         '                            .  ?F8  >       #      
      ,                                     "  ?F8  1 . 
   #      "    5                     %  "  ?F8%    
                                   #  %  ..%    #  % "  
#  '!"  #! *++,     #                    ?F8%   #.C.C     %  
  #  
     I  #J0                            #- "  ?F8   % 
                  %   .             %       0  ##         %    
                           9     -    ?F8   -.?F8>  
 %   $                                #  C  ' # ,@ # 
'(, 8
.C.C   0  #                     -
 ;( 8<E.8      #" # 
  ## #    (  -    0                            #  .  2 
     %    
  #                            .    ' #  0   , #                
   %#                                                       %  #          1              
                                                                           #   % #   #        9 #   
             ROGUE Agent Architecture                                    .  #        #     
 ;( 8<E.8   
                                                                          ##-D   #D" #    $ # 
8  #   
  ) ;<                         ) ;<              #     #   
    9            %  ) ;<           
 ;( 8<E.8         %              - 
')0    ;    <  8 ,                         D   #D" #    ## 
  9    0   0#                  %
            0     #     
 % " #$    #" # %                                   Discussion And Future Work
         -  ) ;<     9     
         %               ' ,             .       #  %   "
 
   %       #                                 ) ;< 9   
-  2  ) ;<                              0     #       %  #   
 "    >  *     %                  1   #     % 
                                                                            #7       
                                                                         -   #   #  " # 
                                                                         $           $                      % 
                                                                          #   0        :   
                                                                                7  # 
                                                                              0    %   #  
                                                                               #         7       
                                                                         %&  #  8 "##      
                                                                           %           #  .            
                                                                          "#                        #       
                                                                                         
                                                                         :   #   0     
                                                                             $  % %" #$     
                                                                            ##) ;<                  % 
                                                                          #  #   %   %  
                                                                          #  9   9     1          % 
                                                                            0#  " # 
                                                                            >     $   #        $  
                                                                                                    
                                                                             >     # 
                                                                          *+L %?F8           
                                                                             #          C       #   
                                                                            " #    %   
        5+      # <@2A.
+                          %    #  " # 1 
      %                 : -  :  
   #    8  *++4  <   
                        #   0#             C  #  )    %    -    8   
 #
    # %                  8#    
     #  . %   C     # 
#     # # %& %1              <   C         62+202+5
      #     
" # #   #  %%                                    C     233B   8         #       8. 
1   #      .C.C(                  M  A+'2,6203*
  % %    2++L %?F8 
     #  1  # %                )   8C   #  ; %%  =  233  8  8  
   #                    %       8     %  )  8   .   #   %   
" #$                                                   .     
 %              A5042 
                                                                        @ M  6=.- 
                          References
                                                                        1 # #=*+++)      8 )               8  
1  @   C; . #1 # M            
 #=6=.- 
*+2+  . #  @ #  =    -  
> 0 #       <     E                            @ "   )   #  C#   >  2333  >      
M   %8  & .   % <   E                            #  = 08   C  8   % 
8   #= % K *6*0*5                              =  #8  & .   K * O6 
                                                                        B32023

0    C  2345  @ #  = 6  8  8    
@ #8$    E            <   <9                  @ : #)233B> E       
CM    %<    
    K  B6                   .  #    = #  -    C    %  (  
30A4                                                                     >        #  E     )    
                                                                        - (  #6@ 8#   
!     @  
   =   - " "   1  *++5 
C  1
  -    #8                          ; <= 2$ -=.))1 >  
(8C8=    C #C % <   6                         <      <   *  ?    9
@ 
                                                                        A> 
C     

:  
   #  :  -   *++3  -     =           !    ;  <  !  "  )
   #  ) #  <C  2345 
 <  8  #.   <   .                    
     
  9    #  (     
 #   %  .<<<  .     
 %                           
 #=6=.- 
.     
      #  .     C   K   2 
4504A2! 7 
 6.<<<                                       !"      #  !   M  *++  )     # 
                                                                        . %    %  (      C % #  
86  
C. 
@ .23A-
  $ % )   (                      
@ C ( "6C=  
                                                                        (     C   #  )"   K   *++               
;    <  23AB  .  M &#  -   ! %  @ #N      C  
 #=86=.- 
8  K *B62*202*B
                                                                          1;2354-  %? 8                    
@ "  C  23AB  C    
  #     = #                : #(M6  < 8  . 
  8    >  2A64B03