                                 HELIC-II$B8@8l%^%K%e%"%k(B
                                                                                
$B#1!%35MW(B

HELIC-II$B$N%G!<%?$O0J2<$N(B4$B$D$NCN<1%Y!<%9%U%!%$%k$K$h$j9=@.$5$l$k!#(B $B$=$l$>$l$N%U%!(B
$B%$%k$NFbMF$O(BHELIC-II$B8@8l$NJ8K!$K$7$?$,$C$F5-=R$5$l$J$1$l$P$J$i$J$$!#(B

$B$J$*!"CN<1%Y!<%9%U%!%$%k$KF|K\8l$r4^$s$G$$$k>l9g$O(BEUC$B%3!<%I$G%U%!%$%k$r=q$+$J$1(B
$B$l$P$$$1$J$$!#(B

$B!J#1!K7?Dj5A%U%!%$%k(B

$B7?$N3,AX4X78$*$h$S7?$NB0@-$,5-=R$5$l$k!#%k!<%kDj5A%U%!%$%kFb$G;H$o$l$k7?$OA4$F!"(B
$B$3$N%U%!%$%k$GDj5A$5$l$F$$$J$1$l$P$J$i$J$$(B

$B!J#2!K%k!<%kDj5A%U%!%$%k(B

$B;v7o$NFbMF!">rJ8!"3X@b!"H=Nc%k!<%k$J$I$,5-=R$5$l$k!#(B

$B!J#3!KH>=g=xDj5A%U%!%$%k(B
  
$BH>=g=x$O%f%K%C%H3,AX!"H=CG4p=`!"2ACM4Q$G9=@.$5$l$k!#(B

$B%f%K%C%H3,AX$O!"J#?t$N%k!<%k$r0l$D$N%f%K%C%H$H$7$F!"(B $B$^$?$OJ#?t$N%f%K%C%H$r0l$D(B
$B$N%f%K%C%H$K$9$k$H$$$&$h$&$K!"%k!<%k$r%f%K%C%H$H$$$&C10L$G3,AXE*$KDj5A$9$k$3$H$,(B
$B$G$-$k!#(B

$BH=CG4p=`$O%f%K%C%H4V$NM%@h4X78$r5-=R$9$k!#Nc$($P!">e5i?3M%@h$H$$$&H=CG4p=`$G$O!"(B
$B:G9b:[$NH=Nc%k!<%k$OCOJ}:[$NH=Nc%k!<%k$h$jM%@h$5$;$k$J$I$G$"$k!#(B

$B2ACM4Q$OH=CG4p=`4V$NM%@h4X78$r5-=R$9$k!#(B

$B!J#4!K%4!<%kDj5A%U%!%$%k(B

HELIC-II$B$,>ZL@$9$Y$-7kO@(B($B%4!<%k(B)$B$r5-=R$9$k!#(B

$BK\%^%K%e%"%k$O!"(BHELIC-II$B8@8l$K$h$k$3$l$i$N%U%!%$%k$N5-=R$N;EJ}!"(B $B$*$h$S%4!<%k$N(B
$B5-=R$N;EJ}!"%4!<%k$KBP$7$F%7%9%F%`$,@8@.$9$k2r$,$I$N$h$&$J$b$N$G$"$k$+$r!"4JC1$J(B
$BNcBj$r;H$C$F@bL@$9$k!#(BHELIC-II$B8@8l$N@53N$J9=J8$OIUO?(B1$B$KM?$($F$$$k!#K\NcBj$G$O7?(B
$B$,B0@-$r$H$i$J$$C1=c$J>l9g$r07$C$F$$$k!#7?$,B0@-$r$H$k>l9g$N07$$$K$D$$$F$OIUO?(B2 
$B$K<($7$F$"$k!#(B

$BK\%^%K%e%"%k$rDL$7$F;HMQ$9$kNcBj$N%G!<%?$O0J2<$N$b$N$G$"$k!#(B

[$B7?Dj5A%U%!%$%k(B]

  &define_type. 
  $BF0;l(B < event.
  {$B9T0Y$9$k(B, $B>uBV$K$J$k(B, $B8N0U$"$j(B, $BK=9T$9$k(B, $B=}32$5$;$k(B, $B>r7o4X78$"$j(B, 
    $B9=@.MW7o$K3:Ev$9$k(B, $B=}32$G$"$k(B, $B0x2L4X78$"$j(B, $BK=9T$G$"$k(B} < $BF0;l(B.
  {$B2%$k(B, $BFM$-Mn$H$9(B} < $B9T0Y$9$k(B.
  $B<:?@$9$k(B < $B>uBV$K$J$k(B.
  {$B9C(B, $B25(B,$BB@O:(B,$B2V;R(B} < $B<+A3?M(B.
  $B=}32:a(B.
  $BK=9T:a(B.
  $B8P(B. 

[$B%k!<%kDj5A%U%!%$%k(B]

  &define_absolute_rule.
  &define_RBR_rule.{
  $B;v<B(B1::$B2%$k(B(agent=$B9C(B, object=$B25(B) | #$B2%$k(B
            || "$B9C$,25$r2%$C$?(B".

  $B;v<B(B2::$BK=9T$9$k(B(agent=$B9C(B, object=$B25(B) | #$BK=9T(B
            || "$B9C$,25$KK=9T$7$?(B".

  $B;v<B(B3::$B8N0U$"$j(B(agent= #$B2%$k(B, basis = #$BK=9T(B)
            || "$B9C$,25$r2%$C$?$N$K$OK=9T$N8N0U$,$"$C$?(B".

  $B;v<B(B4::-$B8N0U$"$j(B(agent= #$B2%$k(B, basis=$B=}32$5$;$k(B(agent=$B9C(B, object=$B25(B))
            || "$B9C$,25$r2%$C$?$N$K$O=}32$N8N0U$O$J$+$C$?(B".

  $B;v<B(B5::$B<:?@$9$k(B(agent=$B25(B)|#$B<:?@(B
            || "$B25$O<:?@$7$?(B".

  $B;v<B(B6::$B>r7o4X78$"$j(B(agent=#$B2%$k(B, object=#$B<:?@(B)
            || "$B9C$,25$r2%$C$?$N$G25$O<:?@$7$?(B".

  $B7:K!(B208$B>r(B ::
  $B9=@.MW7o$K3:Ev$9$k(B(agent=@$B9T0Y(B, basis=$BK=9T:a(B, goal=Y)
    <-  P/$B9T0Y$9$k(B(agent=X/$B<+A3?M(B)|@$B9T0Y(B,
        $B8N0U$"$j(B(agent=@$B9T0Y(B, basis=$BK=9T$9$k(B(agent=X, object=Y/$B<+A3?M(B)),
        $BK=9T$G$"$k(B(a_object=@$B9T0Y(B)
    || X "$B$,(B" Y "$B$KK=9T$r$7$?$J$i$P$=$l$OK=9T:a$N9=@.MW7o$K3:Ev$9$k(B".

  $B7:K!(B204$B>r(B_$B8N0UHH@b(B ::
  -$B9=@.MW7o$K3:Ev$9$k(B(agent=@$B9T0Y(B, basis=$B=}32:a(B, goal=Y)
    <-  P/$B9T0Y$9$k(B(agent=X/$B<+A3?M(B)|@$B9T0Y(B,
      - $B8N0U$"$j(B(agent=@$B9T0Y(B,
               basis=$B=}32$5$;$k(B(agent=X, object=Y/$B<+A3?M(B)|@$B=}32$5$;$k(B)
      || X "$B$N9T0Y$K$O=}32$N8N0U$O$J$+$C$?$N$G!"=}32:a$N9=@.MW7o$K$O3:Ev$7$J$$(B".

  $B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B ::
  $B9=@.MW7o$K3:Ev$9$k(B(agent=@$B9T0Y(B, basis=$B=}32:a(B, goal=Y/$B<+A3?M(B)
    <-  P1/$B9T0Y$9$k(B(agent=X/$B<+A3?M(B)|@$B9T0Y(B,
        $B9=@.MW7o$K3:Ev$9$k(B(agent=@$B9T0Y(B, basis=$BK=9T:a(B, goal=Y),
      - $B8N0U$"$j(B(agent=@$B9T0Y(B,basis=$B=}32$5$;$k(B(agent=X, object=Y)),
        P2/$B>uBV$K$J$k(B(agent=Y)|@$B>uBV(B,
        $B0x2L4X78$"$j(B(agent=@$B9T0Y(B, object=@$B>uBV(B),
        $B=}32$G$"$k(B(agent=@$B>uBV(B),
        different(X, Y)
    || X "$B$N9T0Y$,(B" Y "$B$KBP$9$kK=9T:a$N9=@.MW7o$K3:Ev$7!"$=$l$,860x$G(B" Y 
       "$B$,=}32$K;j$C$?$J$i$P!"=}32$N8N0U$O$J$/$F$b$=$N9T0Y$O=}32:a$N9=@.MW7o$K3:Ev$9$k(B".

  $B>r7o@b(B::
  $B0x2L4X78$"$j(B(agent=@$B$3$H(B1, object=@$B$3$H(B2)
    <-  $B>r7o4X78$"$j(B(agent=P1/$BF0;l(B()|@$B$3$H(B1, object=P2/$BF0;l(B()|@$B$3$H(B2)
    || "$B#2$D$N=PMh;v$N4V$K>r7o4X78$,$"$k$J$i$P0x2L4X78$b$"$k(B".

  $B7:K!>o<1(B_1 :: 
  $BK=9T$G$"$k(B(a_object=$B2%$k(B(agent=X/$B<+A3?M(B, object=Y/$B<+A3?M(B))
    || X "$B$,(B" Y "$B$r2%$C$?$3$H$OK=9T$G$"$k(B".

  }

  &define_CBR_rule. {
  $BBgH=><OB(B080906 :: 
  $B=}32$G$"$k(B(agent=@$B<:?@(B)
    <-  V/$BFM$-Mn$H$9(B<$B9T0Y$9$k(B>(agent=X/$BB@O:(B<$B<+A3?M(B>, object=Y/$B2V;R(B<$B<+A3?M(B>, 
                            goal=!$B8P(B)|@$B9T0Y(B, 
        $B<:?@$9$k(B(agent=Y)|@$B<:?@(B, 
        $B>r7o4X78$"$j(B(agent=@$B9T0Y(B, basis=@$B<:?@(B)
    || X "$B$,(B" Y "$B$r(B" V " $B9T0Y$,860x$G(B" Y "$B$,<:?@$7$?$J$i!"$=$N<:?@$O=}32$H$_$J$;$k(B".
  }


[$BH>=g=xDj5A%U%!%$%k(B]

  &define_unit. 
  $B;v7o(B := {$B;v<B(B1, $B;v<B(B2, $B;v<B(B3, $B;v<B(B4, $B;v<B(B5}.
  $B7:K!(B := {$B7:K!(B208$B>r(B, $B7:K!(B204$B>r(B_$B8N0UHH@b(B, $B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B, $B>r7o@b(B}.
  $B7:K!MQ8l2r<a(B := {$B>r7o@b(B}.
  $B7:K!>o<1(B := {$B7:K!>o<1(B_1}.
  $BH=Nc(B := {$BBgH=><OB(B080906}.

  &define_standpoint.
  $B:a7:K!Dj<g5A$r=E;k(B := {$B7:K!(B204$B>r(B_$B8N0UHH@b(B < $B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B}.
  $B:a$N%P%i%s%9$r=E;k(B := {$B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B < $B7:K!(B204$B>r(B_$B8N0UHH@b(B}.

  &define_view.
  $B8!;!(B ::= {$B:a$N%P%i%s%9$r=E;k(B < $B:a7:K!Dj<g5A$r=E;k(B}.
  $BJ[8n(B ::= {$B:a7:K!Dj<g5A$r=E;k(B < $B:a$N%P%i%s%9$r=E;k(B}.

[$B%4!<%kDj5A%U%!%$%k(B]

  &define_goal.
  {
    $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                basis=$BK=9T:a(B, goal=X3, object=X4),
    $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                basis=$B=}32:a(B, goal=X3, object=X4) ,
  - $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                basis=$B=}32:a(B, goal=X3, object=X4)}

$B#2!%7?$N5-=R(B

$BNcBj!K(B

  &define_type. 
  $BF0;l(B < event.
  {$B9T0Y$9$k(B, $B>uBV$K$J$k(B, $B8N0U$"$j(B, $BK=9T$9$k(B, $B=}32$5$;$k(B, $B>r7o4X78$"$j(B, 
    $B9=@.MW7o$K3:Ev$9$k(B, $B=}32$G$"$k(B, $B0x2L4X78$"$j(B, $BK=9T$G$"$k(B} < $BF0;l(B.
  {$B2%$k(B, $BFM$-Mn$H$9(B} < $B9T0Y$9$k(B.
  $B<:?@$9$k(B < $B>uBV$K$J$k(B.
  {$B9C(B, $B25(B,$BB@O:(B,$B2V;R(B} < $B<+A3?M(B.
  $B=}32:a(B.
  $BK=9T:a(B.
  $B8P(B. 

$B7?Dj5A%U%!%$%k$K$O7?4V$N3,AX4X78$H7?$N<h$jF@$kB0@-$r5-=R$9$k!#9=J8$O<!$N$H$*$j!#(B

    &define_type. TypeHIERARCHY1 ... TypeHIERARCHYn TypeATTRIBUTE1 ... TypeATTRIBUTEm

TypeHIERARCHYi$B!J(Bi=1, ..., n$B!K$O7?4V$N3,AX4X78$G!"9=J8$O<!$N$$$:$l$+$G$"$k!#(B

    TYPE1 < TYPE.
    {TYPE1, ..., TYPEk} < TYPE.

TYPE$B5Z$S(BTYPEi$B!J(Bi=1, ..., k$B!K$O7?L>$G$"$k!#(B
TypeATTRIBUTEi$B!J(Bi=1, ..., m$B!K$O7?4V$N3,AX4X78$G!"9=J8$O<!$N$$$:$l$+$G$"$k!#(B

    TYPE.
    TYPE([ATTRIBUTE1:AttributeTERM1, ..., ATTRIBUTEj:AttributeTERMj]).

ATTRIBUTEi$B!J(Bi=1, ..., j$B!K$OB0@-L>$G9=J8$H$7$F$O%"%H%`$G$"$k!#(B
AttributeTERMi$B!J(Bi=1, ..., j$B!K$OB0@-9`$G9=J8$O<!$N$h$&$K:F5"E*$KDj5A$5$l$k!#(B
    TYPE  $B$^$?$O(B
    TYPE([ATTRIBUTE1:AttributeTERM1, ..., ATTRIBUTEp:AttributeTERMp])

$BNcBj$N7?5-=R$G$O!"$$$:$l$N7?$bB0@-$O$J$$!#7?$bB0@-$r<h$j$($k$H$-$N7?$H&W9`$N07$$(B
$B$K$D$$$F$OIUO?(B2 $B$K<($7$F$"$k!#(B

$B#2(B.$B#1(B $B7?$N<oN`(B

$B7?$K$O0lHL7?!"AH$_9~$_7?!"Dj?t7?$N#3<oN`$,$"$k!#(B

$B0lHL7?$O%f!<%6$,<+M3$K$=$NL>A0$rIU$1$i$l$k7?$G$"$k!#NcBj$N7?Dj5A%U%!%$%k$K<($7$F(B
$B$"$k7?$OA4$F0lHL7?$G$"$k!#AH9~7?$O!"$"$i$+$8$a%7%9%F%`$KMQ0U$5$l$F$$$k$b$N$G!"(B
top$B!"(Bbottom$B!"(Bstring$B!"(Binteger$B$N#4<oN`$,$"$k!#(B top$B$O!"$b$C$H$b>e0L$K0LCV$9$k7?$rI=(B
$B$9!#L@<(E*$K>e0L7?$r;XDj$7$F$$$J$$7?$O!">e0L$H$7$F(Btop $B$r$b$D!#(Bbottom$B$O!"$b$C$H$b(B
$B2<0L$K0LCV$9$k7?$rI=$9!#L@<(E*$K2<0L7?$r;XDj$7$F$$$J$$7?$O!"2<0L$H$7$F(Bbottom$B$r$b(B
$B$D!#(Bstring$B$O!"Fs=E0zMQId$G0O$^$l$?J8;z$r2<0L$N7?$H$7$F$b$D!#(B

integer$B$O!"@0?t$r2<0L$N7?$H$7$F$b$D!#Dj?t7?$K$O!"@0?t$HJ8;zNs!JFs=E0zMQId$G0O$^(B
$B$l$?J8;z!K$HHO0O7?$H$,$"$k!#(B $BHO0O7?$O!"@0?t$NAH$GI=$7!"@0?t$^$?$OHO0O7?$r2<0L$N(B
$B7?$H$7$F$b$D!#(B

$B#2(B.$B#2(B $B&W9`4V$NC10l2=$HJq@]4X78(B

$B$$$:$l$N7?$bB0@-$r$H$j$($J$$$H$-!"&W9`$O7?$H0lCW$9$k!#&W9`4V$NC10l2=$H$O&W9`4V(B
$B$N:GBg2<3&(B(glb)$B$r5a$a$kA`:n$r$$$&!#(B t1, t2 $B$r7?$H$9$k$H$-!"#2$D$N&W9`(B $B&W(B1 = t1, 
$B&W(B2 = t2 $B$,M?$($i$l$F$$$k$H$-!"(B

      glb($B&W(B1, $B&W(B2) = t1$B"A(Bt2

$B$G$"$k!#$?$@$7!"(Bt1$B"A(Bt2 $B$O#2$D$N7?(Bt1, t2$B$N6&DL:GBg2<3&$rI=$9!#(B t1$B$,(Bt2$B$N2<0L$K$"$k(B
$B$H$-!"&W(B2$B$O&W(B1$B$rJq@]$9$k$H$$$&!#(B

$B#3!%%k!<%k$N5-=R(B

$B%k!<%k$K$O(BRBR$B%k!<%k$H(BCBR$B%k!<%k$N#2<oN`$,$"$k!#;v7o$NFbMF!">rJ8!"(B $B3X@b$J$I$O(BRBR
$B%k!<%k$H$7$F5-=R$7!"8D!9$NH=Nc$N;v<B4X78$K0MB8$7$?%k!<%k$O(B CBR$B%k!<%k$H$7$F5-=R$9(B
$B$k!#(B
  $B%k!<%kDj5A%U%!%$%k$N9=J8$O2<$N$H$*$j!#(B

  &define_absolute_rule. RBRRULEBASE
  &define_RBR_rule. RBRRULEBASE
  &define_CBR_rule. CBRRULEBASE

RBRRULEBASE$B$N9=J8$O<!$N$H$*$j!#(B

    {RBRRULE1, ..., RBRRULEj}

CBRRULEBASE$B$N9=J8$O<!$N$H$*$j!#(B

    {CBRRULE1, ..., CBRRULEk}

$B$?$@$7!"(BRBRRULEi$B!J(Bi=1, ..., j$B!K$O(BRBR$B%k!<%k$G!"(BCBRRULEi$B!J(Bi=1, ..., k$B!K$O(BCBR$B%k!<%k(B
$B$G$"$k!#(B

$B#3!%#1(B  $B;v7o$N5-=R(B

  $BNcBj!K(B
  $B;v<B(B1::$B2%$k(B(agent=$B9C(B, object=$B25(B) | #$B2%$k(B
            || "$B9C$,25$r2%$C$?(B".
  $B;v<B(B2::$BK=9T$9$k(B(agent=$B9C(B, object=$B25(B) | #$BK=9T(B
            || "$B9C$,25$KK=9T$7$?(B".
  $B;v<B(B3::$B8N0U$"$j(B(agent= #$B2%$k(B, basis = #$BK=9T(B)
            || "$B9C$,25$r2%$C$?$N$K$OK=9T$N8N0U$,$"$C$?(B".
  $B;v<B(B4::-$B8N0U$"$j(B(agent= #$B2%$k(B, basis=$B=}32$5$;$k(B(agent=$B9C(B, object=$B25(B))
            || "$B9C$,25$r2%$C$?$N$K$O=}32$N8N0U$O$J$+$C$?(B".
  $B;v<B(B5::$B<:?@$9$k(B(agent=$B25(B)|#$B<:?@(B
            || "$B25$O<:?@$7$?(B".
  $B;v<B(B6::$B>r7o4X78$"$j(B(agent=#$B2%$k(B, object=#$B<:?@(B)
            || "$B9C$,25$r2%$C$?$N$G25$O<:?@$7$?(B".

$B;v7o$O%U%!%/%H$N=89g$H$7$F5-=R$9$k!#%U%!%/%H$N9=J8$O2<$N#4$D$N$$$:$l$+$G$"$k!#(B

(1) RuleName :: VERB(CASE1=TERM1,...,CASEn=TERMn) | HTERMID ||EXPLANATION.
(2) RuleName :: VERB(CASE1=TERM1,...,CASEn=TERMn) ||EXPLANATION.
(3) RuleName :: HTERMID ||EXPLANATION.
(4) RuleName :: -VERB(CASE1=TERM1,...,CASEn=TERMn) ||EXPLANATION.

RuleName$B$O!"3F%U%!%/%H$K%f%K!<%/$KM?$($i$l$kL>A0$G$"$k!#(B
VERB$B$O!"<+A38l$NF0;l$KBP1~$9$k!#9=J8$H$7$F$O&W9`$G$"$k!#(B
CASEi$B$O3JL>$G!"2<$N(B17$B8D$N$$$:$l$+$G$J$1$l$P$J$i$J$$!#(B

        agent, object, cause, condition, purpose, place, source,
        goal, time, time-from, time-to, imlement, material, 
        quantity, number, manner, basis

TERMi$B$O!"3J$NCM$G!"9=J8$H$7$F$O(BH$B9`$^$?$O&W9`$G$"$k!#(BH$B9`$N9=J8$O2<$N#4$D$N$$$:$l(B
$B$+$G$"$k!#(B

(a) VERB(CASE1=TERM1,...,CASEn=TERMn) | HTERMID
(b) VERB(CASE1=TERM1,...,CASEn=TERMn)
(c) HTERMID
(d) -VERB(CASE1=TERM1,...,CASEn=TERMn)

HTERMID$B$O!V=c?h$J(BH$B9`!W!J(B(b)$B$N%?%$%W$N(BH $B9`!K$KBP$9$k<1JL;R$G$"$j!"(BH$B9`<1JL;R$H8F$V!#(B
HTERMID$B$O9=J8Cf$K#2<oN`$N0UL#$G=P8=$9$k!#(B(c)$B$N(BH$B9`$H$7$F=P8=$7$F$$$k(BHTERMID$B$O!"$=(B
$B$N(BHTERMID$B$,;X<($9$k!V=c?h$J(BH$B9`!W$=$N$b$N$rI=$7$F$$$k!#(B(a)$B$O!V=c?h$J(BH$B9`!W$rI=$9$H(B
$B$H$b$K!"(BH$B9`$N:G8eHx$K=P8=$7$F$$$k(B HTERMID$B$,$=$N!V=c?h$J(BH$B9`!W$r;X<($7$F$$$k$3$H$b(B
$B<($7$F$$$k!#(BH$B9`<1JL;R$O!"(B $B:G=i$K=P8=$9$k%k!<%k$K$N$_!J!V:G=i!W$N@53N$J0UL#$K$D$$(B
$B$F$OIUO?(B1(2)*1$B$r;2>H$N$3$H!K!"(B(a)$B$N%?%$%W$G5-=R$7!"$=$l0J30$O(B(c)$B$N%?%$%W$G5-=R$9(B
$B$k!#(B

EXPLANATION$B$O%U%!%/%H$r%f!<%6$K@bL@$9$k$?$a$N%G!<%?$G!"9=J8$H$7$F$O!"(B $B%U%!%/%H$G(B
$B;H$o$l$F$$$kJQ?t$rJ8;zNsCf$K:.F~$5$;$?$b$N$G$"$k!#!V(B||EXPLANATION$B!W$O5-=R$7$J$/(B
$B$F$b$h$$!#(B

$BNcBj$G$O!"!V;v<B(B 1$B!W$H$$$&%U%!%/%H$O!"!V9C$,25$r2%$C$?!W$3$H$rI=$7!"$^$?!"$3$N$3(B
$B$H$K!V(B#$B2%$k!W$H$$$&<1JL;R$rIU$1$F$$$k!#!V;v<B(B3$B!W$O!"!V9C$,25$r2%$C$?$3$H$K$O!"9C(B
$B$,25$KK=9T$7$h$&$H$$$&8N0U$,$"$C$?!W$3$H$rI=$7$F$$$k!#!V;v<B(B 4$B!W$O!"!V9C$,25$r2%$C(B
$B$?$3$H$K$O!"9C$,25$K=}32$5$;$h$&$H$$$&8N0U$O$J$+$C$?!W$3$H$rI=$7$F$$$k!#!V;v<B(B5$B!W(B
$B$O!"!V25$,<:?@$7$?!W$3$H$rI=$7!"$^$?!"$3$N$3$H$K!V(B#$B<:?@!W$H$$$&<1JL;R$rIU$1$F$$(B
$B$k!#(B $B!V;v<B(B6$B!W$O!"!V9C$,25$r2%$C$?$3$H$K$O!"25$,<:?@$7$?$3$H$H$N4V$K$O>r7o4X78$,(B
$B$"$C$?!W$3$H$rI=$7$F$$$k!#(B

$B#3!%#2(B  $B>rJ8!"3X@b$J$I$N5-=R(B

  $BNcBj!K(B
  $B7:K!(B208$B>r(B ::
  $B9=@.MW7o$K3:Ev$9$k(B(agent=@$B9T0Y(B, basis=$BK=9T:a(B, goal=Y)
    <-  P/$B9T0Y$9$k(B(agent=X/$B<+A3?M(B)|@$B9T0Y(B,
        $B8N0U$"$j(B(agent=@$B9T0Y(B, basis=$BK=9T$9$k(B(agent=X, object=Y/$B<+A3?M(B)),
        $BK=9T$G$"$k(B(a_object=@$B9T0Y(B)
    || X "$B$,(B" Y "$B$KK=9T$r$7$?$J$i$P$=$l$OK=9T:a$N9=@.MW7o$K3:Ev$9$k(B".

$B>rJ8!"3X@b$J$I$O(BRBR$B%k!<%k$H$7$F5-=R$9$k!#(BRBR$B%k!<%k$N9=J8$O0J2<$N$$$:$l$+$G$"$k!#(B

(1) RuleName :: HTERM||EXPLANATION.
(2) RuleName :: HTERM <- BodyHTERM1, ..., BodyHTERMn||EXPLANATION.

BodyHTERM1, ..., BodyHTERMn$B$r%k!<%k%\%G%#$H8F$S!"(BHTERM$B$r%k!<%k%X%C%I$H8F$V!#(B(1)
$B$O!V(B3.1$B!W$G@bL@$7$?%U%!%/%H$N$3$H$G$"$k!#(B (2)$B$G!"(B RuleName$B$O!"3F%k!<%k$K%f%K!<%/(B
$B$KM?$($i$l$kL>A0$G$"$k!#(B HTERM$B$O!V(B3.1$B!W$G@bL@$7$?(BH$B9`$N$3$H$G$"$k!#(B BodyHTERMi
$B!J(Bi=1,.., n$B!K$O(BH$B9`$^$?$O!"(B H$B9`$NA0$K(Bnot $B$rIU$1$?$b$N$G$"$k!#(B EXPLANATION$B$O%k!<%k(B
$B$r@bL@$9$k$?$a$N%G!<%?$G!"9=J8$H$7$F$O!"%k!<%k$G;H$o$l$F$$$kJQ?t$rJ8;zNsCf$K:.F~(B
$B$5$;$?$b$N$G$"$k!#(B

$B!V(B||EXPLANATION$B!W$O5-=R$7$J$/$F$b$h$$!#(B

(2)$B$O!"(BBodyHTERM1, ..., BodyHTERMn $B$,@.$jN)$D!J(BH$B9`$NA0$K(Bnot$B$,IU$$$?$b$N$G$"$k$J(B
$B$i!"$=$N(BH$B9`$,@.$jN)$?$J$$!K$J$i$P!"(BHTERM$B$b@.$jN)$D$3$H$rI=$9!#(B

$BNcBj$N!V7:K!(B208$B>r!W$O!"!V<+A3?M(BX$B$,$"$k9T0Y$r$7$F!"$=$N9T0Y$K$O(BX$B$,<+A3?M(BY$B$rK=9T(B
$B$7$h$&$H$$$&8N0U$,$"$j!"(B $B$=$N9T0Y$,K=9T$G$"$k$J$i!"$=$N9T0Y$O(BY$B$KBP$9$kK=9T:a$N9=(B
$B@.MW7o$K3:Ev$9$k!W$3$H$rI=$9!#(B

H$B9`<1JL;R$K$O!"(B#$B$G;O$^$k$b$N$H!"(B@$B$G;O$^$k$b$N$H$,$"$j!"(B $BA0<T$r(BH$B9`Dj?t!"8e<T$r(BH
$B9`JQ?t$H8F$V!#(B $BDL>o$O!"NcBj$N$h$&$K!"%k!<%k%X%C%I$N$_$G;H$&$H$-$O(BH$B9`Dj?t$r!"$=$l(B
$B0J30$N$H$-$O(B H$B9`JQ?t$r;H$($P$h$$$,!"N><T$N%7%9%F%`$G$N07$$J}$N0c$$$K$D$$$F@bL@$7(B
$B$F$*$/!#(B

Prolog$B$G$O!"F1$8J8;zNs$N=R8l$G$"$C$F$b!"0z?t$N?t$,0[$J$l$P!"0[$J$k=R8l$H$7$F07$o(B
$B$l$k!#(BHELIC-II$B$G$O!"(B $BF1$8J8;zNs$G$+$D>e0L35G0$K(Bproperty$B0J30(B(event$B$J$I(B)$B$r;}$DF0;l(B
$B$G$O!"3J$N?t$,0[$J$C$F$bF10l$NF0;l$H$7$F07$o$l$k!#Nc$($P!"!V(B ?- $B2%$k(B(agent=$BB@O:(B).$B!W(B
$B$H$$$&Ld$$9g$o$;$KBP$7$F(B($B$?$@$7!"2%$k(B<event)$B!"!V;v<B(B1::$B2%$k(B(agent=$BB@O:(B, object=
$B2V;R(B).$B!W$H$$$&%U%!%/%H$,$"$C$?$H$-!"(B $B!V2%$k(B(agent=$BB@O:(B, object=$B2V;R(B).$B!W$,2r$H$7(B
$B$FJV$C$F$/$k!#$3$l$O!"!V(B ?- $B2%$k(B(agent=$BB@O:(B).$B!W$NLd$$9g$o$;<0$G$O!"!V(Bobject$B!W$N(B
$B3J$,>JN,$5$l$F$$$k$H$7$F07$C$F$$$k$+$i$G$"$k!#>JN,$5$l$F$$$k3J$NCM$O!"$=$N(BH$B9`$N(B
$B=P8=0LCV$K$h$C$F%7%9%F%`$,<+F0E*$KH=CG$9$k!#(B $B%k!<%k%X%C%I$G$"$k(BH$B9`$,%k!<%k%\%G%#(B
$B$K$O=P8=$;$:$K!"!V(B-$B!W$,IU$$$F$$$J$$$H$-$O!"$=$N>JN,$5$l$F$$$k3J$K$OB>$N$$$:$l$N(B
$B&W9`$H$b(B glb$B$,$H$l$J$$$h$&$J&W9`$,F~$C$F$$$k$b$N$H$9$k!#$=$&$G$J$$(BH$B9`$N>JN,$5$l(B
$B$F$$$k3J$K$O%k!<%kCf$K$O8=$l$J$$JQ?t$,!"F~$C$F$$$k$b$N$H$9$k!#$?$@$7!"%f!<%6$,(BH
$B9`$r(BH$B9`<1JL;R$K$h$j;X<($7$F$$$k$H$-$O!"0J2<$N5,B'$,M%@h$5$l$k!#(B

$B!&(B $B%f!<%6$,$=$N(BH$B9`$r(BH$B9`Dj?t$K$h$j;X<($7$F$$$k$H$-$O!"$=$N(B H$B9`$N>JN,$5$l$F$$$k3J(B
   $B$K$OB>$N$$$:$l$N&W9`$H$b(Bglb$B$,$H$l$J$$$h$&$J&W9`$,F~$k$b$N$H$9$k!#(B

$B!&(B $B%f!<%6$,$=$N(BH$B9`$r(BH $B9`JQ?t$K$h$j;X<($7$F$$$k$H$-$O!"$=$N(BH$B9`$N>JN,$5$l$F$$$k3J(B
   $B$K$O%k!<%kCf$K$O8=$l$J$$JQ?t$,F~$k$b$N$H$9$k!#(B

$B$^$?!"(BH$B9`<1JL;R$O!"F10l$NJ8;zNs$G$"$k$H$-$N$_!"F10l$N(BH$B9`$r;X<($7$F$$$k$b$N$H$_(B
$B$J$9!#(B

$B#3!%#3(B  $B;vNc%k!<%k$N5-=R(B

  $BNcBj!K(B
  $BBgH=><OB(B080906 :: 
  $B=}32$G$"$k(B(agent=@$B<:?@(B)
    <-  V/$BFM$-Mn$H$9(B<$B9T0Y$9$k(B>(agent=X/$BB@O:(B<$B<+A3?M(B>, object=Y/$B2V;R(B<$B<+A3?M(B>, 
                            goal=!$B8P(B)|@$B9T0Y(B, 
        $B<:?@$9$k(B(agent=Y)|@$B<:?@(B, 
        $B>r7o4X78$"$j(B(agent=@$B9T0Y(B, basis=@$B<:?@(B)
    || X "$B$,(B" Y "$B$r(B" V " $B9T0Y$,860x$G(B" Y "$B$,<:?@$7$?$J$i!"$=$N<:?@$O=}32$H$_$J$;$k(B".

$BH=7hJ8$NH=7hM}M3$G<($5$l$F$$$k8D!9$NH=Nc$N;v<B4X78$K6/$/0MB8$7$?M}M3IU$1$O!"Cj>](B
$B2=$7$F(BRBR$B%k!<%k$H$9$k$3$H$,:$Fq$G$"$j!"(BCBR $B%k!<%k$H$7$F5-=R$9$k!#(BCBR$B%k!<%k$G$O(B
RBR $B%k!<%k$KBP$7$F;\$5$l$k$h$&$J%f%K%U%#%1!<%7%g%s$NB>$K!"7?3,AX$rMxMQ$7$?N`;wEY(B
$B$r;H$C$F%k!<%k$NE,MQ$N2DH]$r7hDj$9$k!#(BCBR$B%k!<%k$H(BRBR$B%k!<%k$H$NAj0cE@$O0J2<$N#4E@(B
$B$G$"$k!#(B

(1) $B%k!<%k%\%G%#Cf$N&W9`$GCj>]2=$,2DG=$J$b$N$K$D$$$F$OCj>]2=$N>e8B$N7?L>$r!V(B<>$B!W(B 
    $B$G0O$C$F5-=R$9$k!#(B

(2) $B%k!<%k%\%G%#Cf$N3J$G!"$=$N3J$NC10l2=$,<:GT$7$F$b!"$=$N3J$r4^$`(BH$B9`$NC10l2=$N(B
    $B@.H]$K$O1F6A$r5Z$\$5$J$$$h$&$J3J$K$O(B  $B!V(B!$B!W(B $B$rIU$1$k!#(B

(3) $B%k!<%k%\%G%#Cf$N(BH$B9`$G!"3J$NCM$G$O$J$$$b$N$G!"$=$N(BH$B9`$NC10l2=$,<:GT$7$F$b!"%k!<(B
    $B%kA4BN$NC10l2=$N@.H]$K$O1F6A$r5Z$\$5$J$$$h$&$J(BH$B9`$K$O(B $B!V(B!$B!W(B $B$rIU$1$k!#(B

(4) $B>e$N>r7o$N85$G!"%k!<%kA4BN$NC10l2=$,@.8y$7$?$H$-!"85$N;vNc%k!<%k$NCj>]2=$5$l(B
    $B$F$$$J$$&W9`$H@.8y$7$?C10l2=$K$h$j!"8DJL$N&W9`$rB+G{$7$F$$$k&W9`$rHf3S$9$k$3(B
    $B$H$K$h$j!"%k!<%kA4BN$NN`;wEY$r;;=P$7!"$=$l$,%7%9%F%`FbIt$G;}$C$F$$$kI_5oCM$r(B
    $B1[$($F$$$k$H$-!"$=$N%k!<%k$NE,MQ$O@.8y$9$k!#(B

$B!V(B3.1$B!W$G@bL@$7$?$h$&$K!"=c?h$J(BH$B9`$N9=J8$O(B

     VERB(CASE1=TERM1,...,CASEn=TERMn)

$B$G$"$k$N$KBP$7!"(BCBR$B%k!<%kFb$N=c?h$J(BH$B9`$N9=J8$O(B

     [!]VERB[<TYPE>](CASE1=[!]TERM1[<TYPE1>],...,CASEn=[!]TERMn[<TYPEn>])

$B$H$J$k!#$?$@$7!"(B[]$B$O>JN,$,2DG=$G!"(BTYPE$B$*$h$S(BTYPEi$B!J(Bi=1, ..., n$B!K$O7?L>$G$"$k!#(B

$BNcBj$N!VBgH=><OB(B080906$B!W$O!VB@O:$,2V;R$r8P$KFM$-Mn$H$7!"2V;R$,<:?@$7!"N><T$N4V$K(B
$B>r7o4X78$,$"$k$J$i!"2V;R$,<:?@$7$?$3$H$O=}32$G$k!W$H$$$&;vNc%k!<%k$rI=$7$F$$$k!#(B
$B$^$?!"$3$N$H$-!"!VFM$-Mn$H$9!W$O!"!V9T0Y$9$k!W$^$G!"!VB@O:!W$H!V2V;R!W$O!V<+A3?M!W(B
$B$^$GCj>]2=$7$F$b$h$/!"!V8P!W$O%f%K%U%#%1!<%7%g%s$K<:GT$7$F$b$h$$!#(B

$B#4!%H>=g=x$N5-=R(B

$B#4(B.$B#1(B $B%f%K%C%H3,AX$N5-=R(B

  $BNcBj!K(B
  &define_unit. 
  $B;v7o(B := {$B;v<B(B1, $B;v<B(B2, $B;v<B(B3, $B;v<B(B4, $B;v<B(B5}.
  $B7:K!(B := {$B7:K!(B208$B>r(B, $B7:K!(B204$B>r(B_$B8N0UHH@b(B, $B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B, $B>r7o@b(B}.
  $B7:K!MQ8l2r<a(B := {$B>r7o@b(B}.
  $B7:K!>o<1(B := {$B7:K!>o<1(B_1}.
  $BH=Nc(B := {$BBgH=><OB(B080906}.

$B%k!<%k$O%f%K%C%H$H$$$&C10L$G3,AXE*$K@0M}$9$k$3$H$,$G$-$k!#%f%K%C%H3,AXDj5A%U%!%$(B
$B%k$K$O!"%f%K%C%H4V$N3,AX4X78$r5-=R$9$k!#%f%K%C%H3,AXDj5A%U%!%$%k$N9=J8$O<!$N$H$*(B
$B$j!#(B

      &define_unit. UNITHIERARCHY1 ... UNITHIERARCHYn

UNITHIERARCHYi$B!J(Bi=1, ..., n$B!K$O!"%f%K%C%H3,AX4X78$G!"9=J8$O<!$N$H$*$j!#(B

      UNIT := {UNIT1, ..., UNITm}.

UNIT $B$*$h$S(B UNITi$B!J(Bi=1, ..., m$B!K$O!"%f%K%C%HL>$G!"%k!<%kL>$b4^$^$l$k!#F1$8%f%K%C(B
$B%H$,0[$J$k%f%K%C%H$N2<0L$K$"$C$F$b$h$$!#(B

$BNcBj$G$O!"!V;v7o!W$H$$$&%f%K%C%H$O!V;v<B(B1$B!W(B, $B!V;v<B(B2$B!W(B, $B!V;v<B(B3$B!W(B, $B!V;v<B(B4$B!W(B, 
$B!V;v<B(B5$B!W$N%f%K%C%H$+$i9=@.$5$l!"!V7:K!!W$H$$$&%f%K%C%H$O!"!V7:K!(B208$B>r!W(B, $B!V7:K!(B
204$B>r(B_$B8N0UHH@b!W(B, $B!V7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b!W(B, $B!V>r7o@b!W$N%f%K%C%H$+$i9=@.$5$l!"(B
$B!V7:K!MQ8l2r<a!W$H$$$&%f%K%C%H$O!"!V>r7o@b!W$N%f%K%C%H$+$i9=@.$5$l!"!V7:K!>o<1!W(B
$B$H$$$&%f%K%C%H$O!"!V7:K!>o<1(B_1$B!W$N%f%K%C%H$+$i9=@.$5$l!"!VH=Nc!W$H$$$&%f%K%C%H$O!"(B
$B!VBgH=><OB(B080906$B!W$N%f%K%C%H$+$i9=@.$5$l$k$3$H$rI=$9!#(B

$B#4(B.$B#2(B $BH=CG4p=`$N5-=R(B

  $BNcBj!K(B
  &define_standpoint.
  $B:a7:K!Dj<g5A$r=E;k(B := {$B7:K!(B204$B>r(B_$B8N0UHH@b(B < $B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B}.
  $B:a$N%P%i%s%9$r=E;k(B := {$B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B < $B7:K!(B204$B>r(B_$B8N0UHH@b(B}.

$BH=CG4p=`Dj5A%U%!%$%k$K$O!"H=CG4p=`$4$H$N%f%K%C%H4V$NM%@h4X78$r5-=R$9$k!#3FH=CG4p(B
$B=`$OFbItE*$K$O%k!<%k4V$NM%@h4X78$KE83+$5$l$F$$$k!#%k!<%k4V$NM%@h4X78$OLd$$9g$o$;(B
$B<0$KBP$9$kO@>Z$N6/$5$rH=Dj$9$k$?$a$K;HMQ$5$l$k!#H=CG4p=`Dj5A%U%!%$%k$N9=J8$O<!$N(B
$B$H$*$j!#(B

      &define_standpoint. STANDPOINT1 ... STANDPOINTn

STANDPOINTi$B!J(Bi=1, ..., n$B!K$O!"H=CG4p=`$4$H$N%f%K%C%H4V$NM%@h4X78$G!"9=J8$O<!$N(B
$B$H$*$j!#(B

      STANDPOINTNAME := {UNITSET1 < ...< UNITSETm}.

STANDPOINTNAME$B$OH=CG4p=`L>$G$"$k!#(BUNITSETi$B!J(Bi=1, ..., n$B!K$O!"#1$DKt$OJ#?t$N%f%K%C(B
$B%H$G!"9=J8$O0J2<$N$$$:$l$+!#(B

      UNIT
      {UNIT1, ..., UNITn}

$BNcBj$G$O!"!V:a7:K!Dj<g5A$r=E;k!W$H$$$&H=CG4p=`$G$O!"!V7:K!(B204$B>r(B_$B8N0UHH@b!W$N%f%K%C(B
$B%H$K4^$^$l$k%k!<%k$r!V7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b!W$K4^$^$l$k%k!<%k$h$j$bM%@h$7!"(B
$B!V:a$N%P%i%s%9$r=E;k!W$H$$$&H=CG4p=`$G$O!"!V7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b!W$N%f%K%C%H(B
$B$K4^$^$l$k%k!<%k$r!V7:K!(B204 $B>r(B_$B8N0UHH@b(B $B!W$K4^$^$l$k%k!<%k$h$j$bM%@h$9$k$3$H$rI=(B
$B$9!#(B

$B#4(B.$B#3(B $B2ACM4Q$N5-=R(B

  $BNcBj!K(B
  &define_view.
  $B8!;!(B := {$B:a$N%P%i%s%9$r=E;k(B < $B:a7:K!Dj<g5A$r=E;k(B}.
  $BJ[8n(B := {$B:a7:K!Dj<g5A$r=E;k(B < $B:a$N%P%i%s%9$r=E;k(B}.

$B2ACM4QDj5A%U%!%$%k$K$O!"(B $B2ACM4Q$4$H$NH=CG4p=`4V$NM%@h4X78$r5-=R$9$k!#(B $B3F2ACM4Q$O(B
$BFbItE*$K$O%k!<%k4V$NM%@h4X78$KE83+$5$l$F$$$k!#(B $B2ACM4QDj5A%U%!%$%k$N9=J8$O<!$N$H(B
$B$*$j!#(B

      &define_view. VIEW1 ... VIEWn

VIEWi$B!J(Bi=1, ..., n$B!K$O!"2ACM4Q$4$H$NH=CG4p=`4V$NM%@h4X78$G!"9=J8$O<!$N$H$*$j!#(B

      VIEWNAME := {STANDPOINTNAME1 < ...< STANDPOINTNAMEm}.

VIEWNAME$B$O!"(B $B2ACM4QL>$G!"(BSTANDPOINTNAMEi$B!J(Bi=1, ..., m$B!K$O!"H=CG4p=`L>$G$"$k!#(B

$BNcBj$G$O!"!V8!;!!W$H$$$&2ACM4Q$G$O!"!V:a7:K!Dj<g5A$r=E;k!W$H$$$&H=CG4p=`$r!V:a$N(B
$B%P%i%s%9$r=E;k!W$H$$$&H=CG4p=`$h$j$bM%@h$7!"!VJ[8n!W$H$$$&2ACM4Q$G$O!"!V:a$N%P%i(B
$B%s%9$r=E;k!W$H$$$&H=CG4p=`$r!V:a7:K!Dj<g5A$r=E;k!W$H$$$&H=CG4p=`$h$j$bM%@h$9$k$3(B
$B$H$rI=$9!#(B

$B#5!%%4!<%k$N5-=R(B

  $BNcBj!K(B
  &define_goal.
  {
    $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                basis=$BK=9T:a(B, goal=X3, object=X4),
    $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                basis=$B=}32:a(B, goal=X3, object=X4) ,
  - $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                basis=$B=}32:a(B, goal=X3, object=X4)}


$B%f!<%6$O(BHELIC-II $B$N%G!<%?$KBP$9$kLd$$9g$o$;$r!"%4!<%k$H$7$F5-=R$7!"%7%9%F%`$KF~(B
$BNO$9$k!#(B

$B%4!<%k$N9=J8$O!V(B3.1$B!W$G@bL@$7$?(BH$B9`$N$&$A!"0J2<$N$$$:$l$+$G$"$k!#(B

(1) VERB(CASE1=TERM1,...,CASEn=TERMn)

(2) -VERB(CASE1=TERM1,...,CASEn=TERMn)

$B#6!%2r$N@8@.(B

$B%7%9%F%`$O%f!<%6$N%4!<%k$KBP$7$F!"$^$:!"A4$F$N@52rO@>Z$r@8@.$7!"<!$K%k!<%k4V$NM%(B
$B@h4X78$K4p$E$-!"3F!9$NO@>Z$N<oN`$rH=Dj$9$k!#$?$@$7!"%f!<%6$NA*Br$7$?2ACM4Q$O!"$"(B
$B$i$+$8$a0J2<$N<j=g$G8DJL%k!<%k4V$NM%@h4X78$KE83+$5$l$F$$$k!#(B

(1) $B0lHVM%@hEY$,9b$$H=CG4p=`$K=>$$%k!<%k4V$NM%@h4X78$r7hDj$9$k!#(B

(2) $B<!$KM%@hEY$,9b$$H=CG4p=`$K4^$^$l$k%k!<%k4V$NM%@h4X78$G!"(B $B4{$K7hDj$7$?%k!<%k(B
    $B4V$NM%@h4X78$HL7=b$7$J$$$b$N$N$_$rDI2C$9$k!#(B

(3) (2)$B$N<j=g$rA4$F$NH=CG4p=`$KBP$7$F7+$jJV$9!#(B

$B#6!%#1(B  $B@52rO@>Z$N@8@.(B

$B$"$i$+$8$a!"%k!<%kFb$N>JN,$5$l$F$$$k3J$O!V(B3.2$B!W$G=R$Y$?J}K!$K$h$jJd$o$l$F$*$j!"(BH
$B9`<1JL;R$O$=$l$,;X<($9$k(BH$B9`$GCV$-49$($i$l$F$$$k$b$N$H$9$k!#(B

$BO@>Z2r=89g$HO@>Z$r@bL@$7$F$+$i@52rO@>Z$r@bL@$9$k!#(B

$B!J#1!K(B $BO@>Z2r=89g(B $B&A(B($B&0(B)
    (a) $B&0$O(BHELIC-II$B$N$"$k%k!<%k=89g$H$9$k!#(B

    (b) $B&0$+$i%k!<%k%\%G%#$N(B not$B$NIU$$$?(BH$B9`!J(BnotH $B$H$9$k!K$rA4$F<h$j=|$-$$$?$b$N(B
        $B$r&0(B'$B$H$9$k!#(B

    (c) $B&A(B($B&0(B)$B$O0J2<$rK~B-$9$k:G>.$N=89g(B
      (i)    R::L0. $B$,&0(B' $BFb$N%k!<%k$J$i!$(B L0$B":&A(B($B&0(B)$B!#$?$@$7!"(BL0$B$O(BH$B9`!#(B
      (ii)   R::L0$B"+(BL1,$B!D(B,Lm$B$,&0(B' $BFb$N%k!<%k$G!$(BL1,$B!D(B,Lm$B":&A(B($B&0(B)$B$J$i!$(B L0$B":&A(B($B&0(B)
      (iii) $B&A(B($B&0(B)$B$,!$(Bp$B$H(B "-"q$B$r4^$_!$&H(Bp=$B&H(Bq$B$H$J$kBeF~&H$,B8:_$9$k$+!$(B
            $B&A(B($B&0(B)$B$K4^$^$l$k$"$k(B r$B!"(B(b)$B$G<h$j=|$$$?$"$k(BH$B9`$KBP$7$F!"(B
            $B&R(Br=$B&R(BH  $B$H$J$kBeF~&R$,B8:_$9$k$J$i!"(B

                  $B&A(B($B&0(B)={V(agent=X1, object=X2, basis=X3, goal=X4).,
                      -V(agent=X1, object=X2, basis=X3, goal=X4).}
                     $B!J$3$N$H$-!"&0$OO@>Z$H$7$FL7=b$7$F$$$k!K(B

$BBeF~&H$O!"(B{$B&W(B1/$B&U(B1,$B!D(B, $B&W(Bn/$B&U(Bn}$B$N7A<0$K=>$&!#(B $B&W(Bi, $B&U(Bi$B$O&W9`$G!"&U(Bi$B$O&W(Bi$B$N%5%V%?(B
$B%$%W$G$"$k!#$3$NBeF~$O!"&W(B1,$B!D(B, $B&W(Bn$B$r&U(B1,$B!D(B, $B&U(Bn$B$GCV$-49$($kA`:n$rI=$9!#(B

$BNc$($P!"0J2<$N%k!<%k=89g(B

 {$B>r7o@b(B::
  $B0x2L4X78$"$j(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=d1, goal=d2), 
               object=$B<:?@$9$k(B(agent=$B25(B, object=d3, basis=d4, goal=d5),
               basis=d6, goal=d7)
    <-  $B>r7o4X78$"$j(B(agent=P1/$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=d1, goal=d2), 
                     object=P2/$B<:?@$9$k(B(agent=$B25(B, object=d3, basis=d4, goal=d5),
                     basis=d8, goal=d9).
  $B;v<B(B5:: $B>r7o4X78$"$j(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=d1, goal=d2), 
                       object=$B<:?@$9$k(B(agent=$B25(B, object=d3, basis=d4, goal=d5),
                       basis=d8, goal=d9).}

$B$NO@>Z2r=89g$O(B

 {$B0x2L4X78$"$j(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=d1, goal=d2), 
               object=$B<:?@$9$k(B(agent=$B25(B, object=d3, basis=d4, goal=d5),
               basis=d6, goal=d7).
  $B>r7o4X78$"$j(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=d1, goal=d2), 
               object=$B<:?@$9$k(B(agent=$B25(B, object=d3, basis=d4, goal=d5),
               basis=d8, goal=d9).}

$B$G$"$k!#(B

$B!J#2!K(BH$B9`(Bp$B$KBP$9$k%k!<%k=89g&P$+$iCj=P$5$l$kO@>Z(B A

A$B$O!"%k!<%k=89g&P$N%$%s%9%?%s%9$NItJ,=89g$G$"$j!"(B $B$+$D!"(BA$B$O!"(Bp$B":&A(B(A)$B$H$J$k:G>.(B
$B$N=89g$G$"$k$H$-$N$_!"(BA$B$O(BH$B9`(Bp$B$KBP$9$k%k!<%k=89g&P$+$iCj=P$5$l$kO@>Z(B $B$G$"$k!#$?$@(B
$B$7!"%k!<%k&C!$BeF~&H$KBP$7$F!$&H&C$r&C$N%$%s%9%?%s%9$H$$$&!#(B

$B!J#3!K(BH$B9`(Bp$B$KBP$9$k%k!<%k=89g&P$+$iCj=P$5$l$k@52rO@>Z(B A

A$B$O!"(Bp$B$N%$%s%9%?%s%9$KBP$9$kO@>Z$NCf$G!":G$b0lHLE*$J!J&W9`$NCj>]EY$,:G$b9b$$!KO@(B
$B>Z$G$"$k$H$-$N$_!"(BH$B9`(Bp$B$KBP$9$k(BA$B$O%k!<%k=89g&P$+$iCj=P$5$l$k@52rO@>Z$G$"$k!#(B

$BNc$($P!"@h$NNc$G!"%4!<%k(B

    $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                        basis=$BK=9T:a(B, goal=X3, object=X4)

$B$KBP$9$k@52rO@>Z(BArg1$B$O!"2<$N$h$&$K$J$k!#(B

 {$B7:K!(B208$B>r(B ::
  $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                    basis=$BK=9T:a(B, goal=$B25(B, object=c1)
    <-  $B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3),
        $B8N0U$"$j(B(agent= $B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                  basis=$BK=9T$9$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2),
                  object=c4, goal=c5),
        $BK=9T$G$"$k(B(a_object=$B2%$k(B(agent=X/$B<+A3?M(B, object=Y/$B<+A3?M(B, basis=X1, goal=X2),
                   object=c6, basis=c7, goal=c8).
  $B;v<B(B1::$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3).
  $B;v<B(B2::$B8N0U$"$j(B(agent= $B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                  basis=$BK=9T$9$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2),
                  object=c4, goal=c5).
  $B7:K!>o<1(B_1 :: 
  $BK=9T$G$"$k(B(a_object=$B2%$k(B(agent=X/$B<+A3?M(B, object=Y/$B<+A3?M(B, basis=X1, goal=X2),
             object=c6, basis=c7, goal=c8).}

$B$^$?!"O@>Z$+$i:G=*E*$KF3$+$l$k(BH$B9`$r$=$NO@>Z$N7kO@(B(consequence)$B$H$$$&!#O@>Z(BArg1$B$N(B
$B7kO@$O!"(B

 $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                    basis=$BK=9T:a(B, goal=$B25(B, object=c1)

$B$G$"$k!#(B

HELIC-II$B$G$O!"(BArg1$B$O2<$N$h$&$J?dO@LZ$N7A$GI=<($5$l$k!#(B

0  :             $B7:K!(B208$B>r(B:$B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                basis=$BK=9T:a(B,goal=$B25(B,object=?)
1  :              $B;v<B(B1:$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?)
2  :              $B;v<B(B3:$B8N0U$"$j(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                basis=$BK=9T$9$k(B(agent=$B9C(B,object=$B25(B))
3  :              $B7:K!>o<1(B_1:$BK=9T$G$"$k(B(a_object=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?))

$BF1MM$K!"%4!<%k(B

    $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                       basis=$B=}32:a(B, goal=X3, object=X4) 

$B$KBP$9$k@52rO@>Z(BArg2$B$N7kO@$O!"(B

  $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                     basis=$B=}32:a(B, goal=$B25(B, object=c9)

$B$G$"$j!"$3$NO@>Z$r?dO@LZ$N7A$GI=<($7$?$b$N$O!"2<$N$h$&$K$J$k!#(B

0  :    !J (1)   $B7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b(B:$B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,
                                basis=?,goal=?),basis=$B=}32:a(B,goal=$B25(B,object=?)
1  :              $B;v<B(B1:$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?)
2  :              $B7:K!(B208$B>r(B:$B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                basis=$BK=9T:a(B,goal=$B25(B)
3  :               $B;v<B(B1:$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?)
4  :               $B;v<B(B3:$B8N0U$"$j(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                basis=$BK=9T$9$k(B(agent=$B9C(B,object=$B25(B))
5  :               $B7:K!>o<1(B_1:$BK=9T$G$"$k(B(a_object=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?))
6  :              $B;v<B(B4:-$B8N0U$"$j(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                basis=$B=}32$5$;$k(B(agent=$B9C(B,object=$B25(B))
7  :              $B;v<B(B5:$B<:?@$9$k(B(agent=$B25(B)
8  :              $B>r7o@b(B:$B0x2L4X78$"$j(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                object=$B<:?@$9$k(B(agent=!$B25(B))
9  :               $B;v<B(B6:$B>r7o4X78$"$j(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                object=$B<:?@$9$k(B(agent=!$B25(B))
10 :              $BBgH=><OB(B080906:82:$B=}32$G$"$k(B(agent=$B<:?@$9$k(B(agent=!$B25(B))
11 :               $B;v<B(B1:!$B2%$k(B(agent=!$B9C(B,object=!$B25(B,goal=!?)
12 :               $B;v<B(B5:!$B<:?@$9$k(B(agent=!$B25(B)
13 :               $B;v<B(B6:!$B>r7o4X78$"$j(B(agent=!$B2%$k(B(agent=!$B9C(B,object=!$B25(B,goal=!?),
                                basis=!?,object=$B<:?@$9$k(B(agent=$B25(B))

$B$^$?!"%4!<%k(B

    - $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=X1, goal=X2), 
                         basis=$B=}32:a(B, goal=X3, object=X4)

$B$KBP$9$k@52rO@>Z(BArg3$B$N7kO@$O(B

    - $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                         basis=$B=}32:a(B, goal=$B25(B, object=X4)

$B$G$"$j!"$3$NO@>Z$r?dO@LZ$N7A$GI=<($7$?$b$N$O!"2<$N$h$&$K$J$k!#(B

0  :    !J (1)   $B7:K!(B204$B>r(B_$B8N0UHH@b(B:-$B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B,
                                object=$B25(B,basis=?,goal=?),basis=$B=}32:a(B,goal=$B25(B,object=?)
1  :              $B;v<B(B1:$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?)
2  :              $B;v<B(B4:-$B8N0U$"$j(B(agent=$B2%$k(B(agent=$B9C(B,object=$B25(B,basis=?,goal=?),
                                basis=$B=}32$5$;$k(B(agent=$B9C(B,object=$B25(B))


$B#6!%#2(B  $BO@>Z$N<oN`$NH=Dj(B($BO@G}?dO@(B)

HELIC-II$B%7%9%F%`$G$O!"!V(B6.1$B!W$N$h$&$K$7$FF@$i$l$?@52rO@>Z$r!V@5Ev2=$5$l$?O@>Z(B
(justified)$B!W!"(B $B!VO@GK$5$l$?O@>Z(B(defeated)$B!W!"!VC1$KO@GK$5$l$J$$O@>Z(B(plausible)$B!W(B
$B$N#3<oN`$KJ,N`$9$k!#(B

$BK\@a$G$O!"%"%?%C%/(B($BH?O@(B)$B$HO@GK$r@bL@$7$F$+$i!"$3$l$i$NO@>Z$K$D$$$F@bL@$9$k!#(B

$B!J#1!K%"%?%C%/(B

$BO@>Z(BA$B$,(BH$B9`(Bp$B$KBP$9$kO@>Z$G$"$j!"O@>Z(BB$B$,(BH$B9`(Bp$B$KBP$9$kO@>Z$G$"$j!"&H(Bp=$B&H(Bq$B$H$J$kBeF~(B
$B&H$,B8:_$9$k$H$-!"O@>Z(BB$B$OO@>Z(BA$B$KBP$9$k%"%?%C%/$H$$$$!"$+$D!"O@>Z(BA$B$OO@>Z(BB$B$KBP$9$k(B
$B%"%?%C%/$H$$$&!#(B

$B!V(B6.1$B!W$G<($7$?(BArg2$B$O(B

  $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                    basis=$B=}32:a(B, goal=$B25(B, object=c9)

$B$KBP$9$kO@>Z$G$"$j!"(BArg3$B$O(B

  - $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                    basis=$B=}32:a(B, goal=$B25(B, object=X4)

$B$KBP$9$kO@>Z$G$"$j!"8_$$$K%"%?%C%/$N4X78$K$"$k!#(B

$B!J#2!KO@GK(B

$BO@>Z(BB$B$,O@>Z(BA$B$KBP$9$k%"%?%C%/$G$"$j!"(BB$B$N%H%C%W%k!<%k!J7kO@$rD>@\F3$/%k!<%k!K$,(BA$B$N(B
$B%H%C%W%k!<%k$h$jM%@hEY$,9b$/!"$+$D!"(B B$B$NA4$F$NItJ,O@>Z$,@5Ev2=$5$l$?O@>Z$G$"$k$H(B
$B$-!"(BB$B$O(BA$B$rO@GK$9$k!"$H$$$&!#$?$@$7!"O@>Z(BC$B$,O@>Z(BB$B$NItJ,O@>Z$G$"$k$H$O!"(BC$B">(BB$B$N4X78(B
$B$K$"$k$3$H$r$$$&!#Nc$($P!"(BArg1$B$O(BArg2$B$NItJ,O@>Z$G$"$k!#(BArg2$B$NA4$F$NItJ,O@>Z$O%"%?%C(B
$B%/$,B8:_$7$J$$$N$G!"$3$l$i$OA4$F@5Ev2=$5$l$?O@>Z$G$"$k!#F1MM$K!"(BArg3$B$NA4$F$NItJ,(B
$BO@>Z$O%"%?%C%/$,B8:_$7$J$$$N$G!"$3$l$i$OA4$F@5Ev2=$5$l$?O@>Z$G$"$k!#(BArg2$B$N%H%C%W(B
$B%k!<%k!V7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b!W$H(BArg3$B$N%H%C%W%k!<%k!V7:K!(B204$B>r(B_$B8N0UHH@b!W$H$r(B
$BHf$Y$k$H!"2ACM4Q!V8!;!!W$N85$G$O!"!V7:K!(B204$B>r(B_$B7k2LE*2C=EHH@b!W$N$[$&$,M%@hEY$,9b(B
$B$/!"2ACM4Q!VJ[8n!W$N85$G$O!"!V7:K!(B204$B>r(B_$B8N0UHH@b!W$N$[$&$,M%@hEY$,9b$/$J$k!#$9$J(B
$B$o$A!"2ACM4Q!V8!;!!W$N85$G$O!"(BArg2$B$,(BArg3$B$rO@GK$7!"2ACM4Q!VJ[8n!W$N85$G$O(BArg3$B$,(B
Arg2$B$rO@GK$9$k!#(B

$B!J#3!KO@>Z$N<oN`(B

$BK\@a$N=i$a$K<($7$?(B3$B<oN`$NO@>Z$NDj5A$O<!$N$H$*$j$G$"$k(B

 (a) $B@5Ev2=$5$l$?O@>Z!'O@GK$5$l$kItJ,O@>Z$r4^$^$J$$A4$F$N%"%?%C%/$rO@GK$9$kO@>Z(B

 (b) $BO@GK$5$l$?O@>Z!'B>$N$$$:$l$+$NO@>Z$K$h$jO@GK$5$l$kO@>Z(B

 (c) $BC1$KO@GK$5$l$J$$O@>Z!'>e$N$$$:$l$G$b$J$$O@>Z(B

$BNcBj$G$O!"2ACM4Q!VJ[8n!W$N85$G$O!"(BArg3$B$,@5Ev2=$5$l$?O@>Z$G!"(BArg2$B$,O@GK$5$l$?O@>Z(B
$B$H$J$j!"2ACM4Q!V8!;!!W$G$O!"$=$N5U$H$J$k!#NcBj$G$O!"(B(a)$B$r(B

 (d) $B@5Ev2=$5$l$?O@>Z!'B>$N$$$:$l$NO@>Z$+$i$bO@GK$5$l$J$$O@>Z(B

$B$H$7$F$b!"O@>Z$N<oN`$NH=Dj$OJQ$o$i$J$$$,!"0J2<$N$h$&$JNc$r9M$($k$H$=$N0c$$$,J,$+(B
$B$k!#(BArg4$B$r(B

  $B9=@.MW7o$K3:Ev$9$k(B(agent=$B2%$k(B(agent=$B9C(B, object=$B25(B, basis=c2, goal=c3), 
                    basis=$B=}32:a(B, goal=$B25(B, object=c10)

$B$rF3$/O@>Z$G!"2ACM4Q!VJ[8n!W$N85$G$O!"$=$N%H%C%W%k!<%k$O(BArg3$B$N%H%C%W%k!<%k$h$jM%(B
$B@hEY$,9b$$$b$N$H$9$k!#$3$N$H$-!"(B(a)$B$NDj5A$G$O!"(BArg2$B$O(B $BC1$KO@GK$5$l$J$$O@>Z$H$J$k(B
$B$,!"(B(d)$B$NDj5A$G$O!"@5Ev2=$5$l$?O@>Z$H$J$k!#(B

$B#7(B $B%k!<%k$N<B9T(B

$B$3$3$G$O!"Nc$r8r$($F%k!<%k$N<B9T(B,H$B9`F1;N(B,$B&79`F1;N$NE,9g$K$D$$$F@bL@$9$k!#(B

$B#7(B.$B#1(B RBR$B%k!<%k(B

$B#7(B.$B#1(B.$B#1(B $B%k!<%k(B

RBR$B%k!<%k$O0J2<$N>r7o$rK~$?$7$?;~$K<B9T$5$l$k!#(B

(1) $B!V(B6.1 $B@52rO@>Z$N@8@.(B(1)-(3)$B!W$rA4$FK~$?$7$F$$$k!#(B

(2) $B%\%G%#$K=q$$$F$"$kAH$_9~$_=R8l$,A4$F@.8y$9$k!#(B

$B#7(B.$B#1(B.$B#2(B H$B9`(B

$BLd$$9g$o$;(B(Query)$BB&$K(B a(agent=a1,object=a2,goal=a3(agent=a4),....)$B!"(B
$B%k!<%k$N%X%C%I$K(B      b(agent=b1,object=b2,goal=b3(agent=b4)....)$B!"(B
$B$H$$$&(BH$B9`F1;N$NE,9g$r9M$($k!#(B
$BE,9g$N@.8y>r7o$O0J2<$rA4$FK~$?$7$?;~!#(B

(1) $B=R8l$NE,9g(B(a$B$H(Bb$B$NE,9g(B)

 (a) $BH]Dj$N%A%'%C%/(B
     $B$I$A$i$H$b(B"-"$B$,$"$k$+N>J}$J$$>l9g$O@.8y!#(B
     $B$I$A$i$+0lJ}$K(B"-"$B$,$"$k>l9g$O<:GT!#(B
 (b) $B=R8l(B($B$3$N>l9g$O(Ba,b)$B$O(Bb=<a$B$H$$$&7?3,AX$K$J$C$F$$$J$1$l$P$J$i$J$$!#(B     

(2) $B3JL>$NE,9g(B(agent,object,goal$B$NE,9g(B)

 (a) Query$BB&$N(BH$B9`$N=R8l(B($B$3$N>l9g(Ba)$B$N>e0L$N7?$K(Bproperty$B0J30!"Nc$($P(Bevent$B$H$$$&35(B
     $BG0$,$"$k;~(B     
     Query$BB&$N(BH$B9`$N3JL>$,%k!<%kB&$K$J$1$l$P$$$1$J$$!#(B
 (b) Query$BB&$N(BH$B9`$N=R8l(B($B$3$N>l9g(Ba)$B$N>e0L$N7?$K(Bproperty$B$N35G0$,$"$k;~(B
     $B%k!<%kB&$N(BH$B9`$N3JL>$,(BQuery$BB&$K$J$1$l$P$$$1$J$$!#(B

(3) $B3JCM$NE,9g(B(a1$B$H(Bb1,a2$B$H(Bb2,a3(agent=a4)$B$H(Bb3(agent=b4)$B$NE,9g(B)

 (a) $BN>J}&79`$N;~(B(a1$B$H(Bb1,a2$B$H(Bb2$B$N;~(B)
     $BN>J}$N&79`$,!V#7(B.$B#1(B.$B#3&79`!W$NE,9g$K@.8y$7$?;~@.8y(B
 (b) $BN>J}(BH$B9`$N;~(B(a3(agent=a4)$B$H(Bb3(agent=b4)$B$N;~(B)
     (4)$B$X(B

(4) $B3JCM$,(BH$B9`$NE,9g(B(a3(agent=a4)$B$H(Bb3(agent=b4)$B$N;~(B)

 (a) $B=R8l$NE,9g(B(a3$B$H(Bb3$B$NE,9g(B)

  (i)  $BH]Dj$N%A%'%C%/(B
       $B$I$A$i$H$b(B"-"$B$,$"$k$+N>J}$J$$>l9g$O@.8y!#(B
       $B$I$A$i$+0lJ}$K(B"-"$B$,$"$k>l9g$O<:GT!#(B

  (ii) $BN>J}$N=R8l(B(a3$B$H(Bb3)$B$,!V#7(B.$B#1(B.$B#3(B $B&79`!W$NE,9g$K@.8y$7$?;~(B

 (b) $B3JL>$NE,9g(B(agent$B$NE,9g(B)
     Query$B$d(BRule$B$KBP1~$9$k3JL>$,$J$/$F$b@.8y$9$k!#(B

 (c) $B3JCM$NE,9g(B(a4$B$H(Bb4$B$NE,9g(B)

  (i)  $BN>J}&79`$N;~(B
       $BN>J}$N&79`$,!V#7(B.$B#1(B.$B#3&79`!W$NE,9g$K@.8y$7$?;~(B
  (ii) $BN>J}(BH$B9`$N;~(B
       (4)$B$X(B
  (iii) Rule$B$d(BQuery$B$N$I$A$i$+$KBP1~$9$k3J$,$J$$>l9g$O!"B8:_$9$kJ}$N3J$,BeF~$5$l$k(B

$B#7(B.$B#1(B.$B#3(B $B&79`(B

(1) $B$I$A$i$+$KJQ?t$r4^$s$G$$$k;~(B($BNc$($P(BX/a1,Y/b1)
    GLB$B$r$H$C$F@.8y$7$?;~!#(B

(2) $B$I$A$i$K$bJQ?t$r4^$s$G$$$J$$;~(B($BNc$($P(Ba1,b1)
    $BF1$87?L>$G$J$1$l$P$$$1$J$$!#(B
    $BNc$($P!"(Ba1,a1$BF1;N$O@.8y$9$k$,!"(Ba1,b1$BF1;N$O<:GT!#(B

$B#7(B.$B#2(B CBR$B%k!<%k(B
                                                                        
CBR$B%k!<%k$O2a5n$NH=Nc$J$I$r5-=R$9$k$?$a$N$b$N$G$"$k!#(B

RBR$B%k!<%k$G$O!"A4$F$N>r7o$rK~B-$7$?>l9g$N$_!"%k!<%k$,<B9T$5$l$k!#(B

$B$7$+$7!"$"$k;v7o$K2a5n$NH=Nc$rE,MQ$9$k>l9g!"A4$F$N>r7o$,E,9g$7$J$$$H%k!<%k$,5/F0(B
$B$5$l$J$$$N$G$O!"9M$($i$l$kA4$F$N>r7o$NAH9g$;$r(BCBR$B%k!<%k$H$7$F5-=R$7$J$1$l$P$J$i(B
$B$J$$!#$3$N$h$&$J$3$H$O<B:]$K$OIT2DG=$G$"$k!#$=$N$?$a!"(BCBR$B%k!<%k$G$O!"ItJ,%^%C%A(B
$B%s%0$d(Blimit$B$NI=8=$r;H$&$3$H$K$h$j$3$l$i$r2r7h$7$F$$$k!#(B

$BItJ,%^%C%A%s%0$O=EMW$JItJ,(B(exact)$B$H$=$&$G$J$$ItJ,(B(trivial)$B$r$o$1$F5-=R$9$k!#(B
limit$B$O35G04V$N3,AX(B($B7?3,AX(B)$B$rM=$aDj5A$7$F$*$$$F!"$=$l$i$N$I$3$^$G$N35G0$J$iE,9g(B
$B$K@.8y$9$k$H$$$&5-=R$,$G$-$k$h$&$K$J$C$F$$$k!#(B

$B$3$l$i$r0J2<$N(Bfact,CBR$B%k!<%k(B,$B7?3,AX$,$"$C$?>l9g$N(Bfact$B$H(BCBR$B%k!<%k$NE,9g$G@bL@$9$k!#(B

        fact:
                f1::a(agent=y,object=z).
                f2::c(agent=y,object=z).

        CBR$B%k!<%k(B:

              c1::x(agent=y,object=z)<-
                        a1<a>(agent=y,object=z),
                        !b1(agent=y,object=z),
                        c1<c>((agent=!y,object=z).

        $B7?3,AX(B:
                a1<a. b1<b. c1<c. 

"!"$B$,$D$$$F$$$k(BH$B9`$d&79`$,$"$k$,!"$3$l$O!"$"$^$j=EMW$G$O$J$/(Bfact$B$HE,9g$7$J$/$F$b(B
$B$h$$$3$H$rI=$9!#$J$*!"(B"!"$B$,$D$$$F$$$k9`$r(Btrivial$B$J9`$H8F$S!"$D$$$F$$$J$$$b$N$r(B
exact$B$J9`$H8F$V!#$3$N(B"!"$B$NI=5-$,ItJ,%^%C%A%s%0$r;H$C$?I=8=$G$"$k!#(B

<a>$B$N(Ba,<c>$B$N(Bc$B$O(Blimit$B$H8F$P$l!"$I$3$^$G35G0$rCj>]2=$7$FE,9g$7$F$$$$$+$r<($9$b$N$G(B
$B$"$k!#$3$N>l9g!"(Ba1$B$O(Ba$B$^$G(B,c1$B$O(Bc$B$^$GCj>]2=$7$F$h$$$3$H$rI=$9!#$3$NI=5-$,(Blimit$B$r;H$C(B
$B$?I=8=$G$"$k!#(B

$B$J$*!"8=:_$N(BCBR $B%k!<%k$G$O(B naf$B$O5-=R$G$-$J$$!#(B

$B#7(B.$B#2(B.$B#1(B $B%k!<%k(B

CBR$B%k!<%k$O0J2<$N>r7o$rK~$?$7$?;~$K<B9T$5$l$k!#(B

(1) $B%\%G%#$K=q$$$F$"$kAH$_9~$_=R8l$,A4$F@.8y$9$k!#(B

(2) $BN`;wEY$,ogCM$r1[$($?!#(B

$B$3$3$GCmL\$9$k$3$H$O(BRBR$B%k!<%k$N$h$&$K!V(B6.1$B@52rO@>Z$N@8@.(B(1)-(3)$B!W$rA4$FK~$?$7$F(B
$B$$$J$/$H$b!"ogCM$r1[$($F$$$l$P!"(BCBR$B%k!<%k$O<B9T$5$l$k$3$H$G$"$k!#(B

$BN`;wEY7W;;$NNc$r0J2<$N#3$D$N(BH$B9`$,%\%G%#$K$"$C$?>l9g$r;H$C$F@bL@$9$k!#(B

           A/$B2%$k(B<$BK=9T$9$k(B>(agent=!X/$BB@O:(B<$B?M(B>, object=Y/$BFsO:(B<$B?M(B>),
           !$B;`$L(B(agent=Y),
           $B0x2L4X78$"$j(B(source= A(agent=!X, object=Y), goal=$B;`$L(B(agent=Y))

$B$^$?!"(Bfact$B$H$7$F0J2<$N#3$D$,$"$C$?$H$9$k!#(B

            $B=3$k(B(agent=$B2V;R(B, object=$B9%;R(B).
            $B;`$L(B(agent=$B9%;R(B).
            $B0x2L4X78$"$j(B(source=$B=3$k(B(agent=$B2V;R(B, object=$B9%;R(B), 
                         goal=$B;`$L(B(agent=$B9%;R(B)).

$B%\%G%#$N(B3$B$D$N(BH$B9`$N$&$A$G:G=i$N$b$N$O0J2<$N$h$&$K#2$D$N>r7o$KJ,2r$5$l$k!#(B

              ($B2%$k(B<$BK=9T$9$k(B>, agent, !X/$BB@O:(B<$B?M(B>)
              ($B2%$k(B<$BK=9T$9$k(B>, object, Y/$BFsO:(B<$B?M(B>)
           
$B$^$?:G=i$N(Bfact$B$O0J2<$N$h$&$KJ,2r$5$l$k!#(B

              ($B=3$k(B, agent, $B2V;R(B)
              ($B=3$k(B, object, $B9%;R(B)

"$B2%$k(B"$B$H(B"$B=3$k(B"$B$NN`;wEY$r(BDS1$B!"(B"$BB@O:(B"$B$H(B"$B2V;R(B"$B$NN`;wEY$r(BDS2$B!"(B"$BFsO:(B"$B$H(B"$B9%;R(B"$B$NN`;wEY(B
$B$r(BDS3$B$H$9$k!#(BDS1,DS2,DS3$B$O#0$H#1#0#0$N4V$N?t$GI=$5$l$k!#(B

$B%\%G%#$N:G=i$N(BH$B9`$H:G=i$N(Bfact$B$NN`;wEY$O0J2<$GI=$9!#(B

                (DS1*10+DS1*10+DS2*W+DS3*10)
        HS1 =   ----------------------------
                        (10+10+W+10)

W$B$O(Btrivial$B$J9`$KBP$7$F=E$_$r7Z$/$9$k$?$a$G$"$j!"(Btrivial$B$J9`$N=E$_$H8F$V!#HO0O$O(B1
$B$+$i(B10$B$^$G$G!"%f!<%6$,@_Dj$G$-$k!#(B

$BF1MM$N7W;;$G%\%G%#$N(B2$BHVL\$N(BH$B9`$H(B2$BHVL\$N(Bfact$B$H$NN`;wEY$r(BHS2$B!"%\%G%#$N(B3$BHVL\$N(BH$B9`$H(B
3$BHVL\$N(Bfact$B$H$NN`;wEY$r(BHS3$B$H$9$k!#(B

$B%\%G%#$NA4BN$N(BH$B9`$H(Bfact$BA4BN$N(BH$B9`$NN`;wEY!"$D$^$j!"$3$N(BCBR$B%k!<%k$NN`;wEY$O0J2<$G(B
$BI=$5$l$k!#(B

                (HS1*10+HS2*W+HS3*10)
        RS=     ---------------------
                     (10+W+10)

$B$J$*!"$3$N%k!<%k$N<B9T$,@.8y$9$k$?$a$K$O(BRS$B$,N`;wEY$NogCM$h$jBg$-$/$J$1$l$P$J$i$J(B
$B$$!#$3$NogCM$N5,DjCM$O(B70$B$G$"$k!#(B

($BCm0U;v9`(B)
        $B%\%G%#$G(Bhit(agent=tarou,object=jirou)$B!"(Bfact$B$G(Binjury(agent=tarou)$B$H$"$C$?(B
        $B>l9g!"E,9g$N7k2L(Binjury(agent=tarou,object=jirou)$B$H$J$k$,!"(Bobject=jirou
        $B$K4X$9$kN`;wEY$OL5;k$7$F$$$k!#(B

$BN`;wEY7W;;$N%"%k%4%j%:%`$O0J2<$G$"$k!#(B

(1) $B&79`$NN`;wEY7W;;(B(PS)

$B&79`$NN`;wEY(B(PS)$B$O0J2<$G$"$k!#(B

        PS = DS*AS/10

DS,AS$B$O0J2<$G$"$k!#(B

 (a) $B5wN%(B($BCJ?t(B)$B7W;;(B(DS)
     $B%k!<%kCf$N&79`$,E,9g$N7k2L$I$N$/$i$$Cj>]2=$7$?$+(B($B35G0$r2?CJ3,$N$\$C$?$+(B)$B$r(B
     Dansuu$B$H$9$k!#=i4|CM$r(B100$B$H$7(B1$BCJCj>]2=$9$k$H(B90$B!"(B2$BCJCj>]2=$9$k$H(B80$B!"(B3$BCJCj>](B
     $B2=$9$k$H(B70$B!"(B4$BCJCj>]2=$9$k$H(B60$B!"(B5$BCJ0J>eCj>]2=$7$?>l9g$OA4$F(B50$B$H$9$k!#$3$l$i(B
     $B$r&79`Cj>]2=%F!<%V%k$H8F$V!#$3$l$O%f!<%6$,@_Dj=PMh$k!#(B


        $B>e5-$rNc$r;H$C$F@bL@$9$k!#(B

        a1<a3.a2<a3.a3<a4.$B$H$$$&7?3,AX$,$"$C$?$H$9$k!#%\%G%#$N&79`$,(Ba1<a4),fact
        $B$N&79`$,(Ba2$B$N;~!"(Ba4$B$H(Ba2$B$N(Bglb$B$r$H$k$H(Ba4$B$H$J$k!#(B

        $B<!$K(Ba1$B$H(Ba2$B$G(Blub$B$r$H$k$H(Ba3$B$H$J$k!#$3$N;~!"%\%G%#$N&79`(Ba1$B$O(Ba3$B$KCj>]2=$7$F(B
        $BE,9g$7$?$3$H$K$J$k!#(B

        $B$D$^$j!"(B1$BCJ3,Cj>]2=$7$?$3$H$H$J$k!#$3$N>l9g$N(BDansuu$B$O(B1$B$H$J$j!"(BDS$B$O(B90$B$H$J(B
        $B$k!#(B

 (b) $BB0@-7W;;(B(AS)

     $B!&(B $B&79`$NB0@-$r6qBN2=$7$?;~(B
                AS=7

     $B!&(B $B&79`$NB0@-$r6qBN2=$7$J$$;~(B
                AS=10

     $BB0@-$r6qBN2=$7$?$H$O!"(Bfact$B$N&79`$H%\%G%#$N&79`$N(Bglb$B$,@.8y$7!"$+$D!"(Bfact
     $B$N&79`$G;}$DB0@-$H%\%G%#$N&79`$G;}$DB0@-$rHf3S$7!"0[$J$C$F$$$?$i6qBN2=$7(B
     $B$?$H$$$&!#(B

     $BNc$($P(Btarou[age=>10]$B$H(Btarou$B$G(Bglb$B$r$H$k$H!"@.8y$7!"$=$N2r$O(Btarou[age=>10]$B$H(B
     $B$J$j!"6qBN2=$7$?$H$$$&!#(B
										
     $B$J$*!"6qBN2=$7$?;~$N(BAS$B$NCM$O(B1$B$+$i(B10$B$N4V$G%f!<%6$,@_Dj$G$-$k!#(BAS$B$r&79`6qBN2=(B
     $B=E$_$H8F$V!#(B

(2) H$B9`$NN`;wEY7W;;(B(HS)
    $B%\%G%#$H(Bfact$B$N(BH$B9`F1;N$G$NE,9g$,@.8y$7!"$=$N7k2L0J2<$N(BH$B9`$,F@$i$l$?>l9g$r9M$((B
    $B$k!#(B

        pred(at1,at2,....atn)

     W$B$O(Btrivial$B$J9`$N=E$_$H$9$k!#(B
     pred$B$NN`;wEY$r(BPredS$B$H$9$k(B
     trivial$B$G$"$k3J$N?t$r(BNumTrivial$B$H$9$k!#(B
     $BA4$F$N(Btrivial$B$G$"$k3J$NN`;wEY$N9g7W$r(BATTxS
     $BA4$F$N(Btrivial$B$G$J$$3J$NN`;wEY$N9g7W$r(BATyS

     (a) PredS=0
          HS=0

     (b) PredS\=0
                $BA4$F$N3J$K$+$+$k(Bpred$B$NN`;wEY$N9g7W(B(N*PredS)*10+
                $BA4$F$N(Btrivial$B$G$"$k3J$NN`;wEY$N9g7W(B(ATTxS)*W+
                $BA4$F$N(Btrivial$B$G$J$$3J$NN`;wEY$N9g7W(B(ATyS)*10
          HS = --------------------------------------
                $BA4$F$N3J$K$+$+$k(Bpred$B$N?t(B(N)*10+
                trivial$B$J3J$N?t(B(N)*W+
                trivial$B$,$G$J$$3J$N?t(B(N-NumTrivial)*10

($BCm0U;v9`(B)

a(agent=b,object=c)$B$H(Ba(agent=b)$B$GE,9g$r$9$k$H0J2<$K$J$k!#(B

a(agent=b,object=c) 

$B$3$N>l9g$NN`;wEY7W;;$G(Ba(agent=b,$B$^$G$7$+7W;;$7$J$$!#(B
$B$D$^$j!"(Bobject=c$B$ON`;wEY$N7W;;$K$O$U$/$^$J$$!#(B
$B8=:_$O(BH$B9`$N6qBN2=$KH<$&N`;wEY$N7W;;$O$7$J$$!#(B

(3) $B%k!<%k$NN`;wEY7W;;(B(RS)
    H1,H2,H3,....HN$B$H$$$&(BH$B9`$N=8$^$j$G%k!<%k$N%\%G%#$,$G$-$l$F$$$k>l9g$r9M$($k!#(B

    trivial$B$J9`$K$+$+$k=E$_$r(BW$B$H$9$k!#(B
    trivial$B$J(BH$B9`$N?t$r(BNumTrivial$B$H$9$k!#(B
    trivial$B$J(BH$B9`$NN`;wEY$N9g7W$r(BHTxS
    trivial$B$G$J$$(BH$B9`$NN`;wEY$N9g7W$r(BHyS

                $BA4$F$N(Btrivial$B$G$"$k(BH$B9`$NN`;wEY$N9g7W(B(HTxS)*W+
                $BA4$F$N(Btrivial$B$G$J$$(BH$B9`$NN`;wEY$N9g7W(B(HyS)*10
        RS = -------------------------------------------------
                trivial$B$J(BH$B9`$N?t(B(N)*W+
                trivial$B$,$G$J$$(BH$B9`$N?t(B(N-NumTrivial)*10

$B#7(B.$B#2(B.$B#2(B H$B9`(B

$BLd$$9g$o$;(B(Query)$BB&$K(B a(agent=a1,object=a2,goal=a3(agent=a4),....)$B!"(B
$B%k!<%k$N%X%C%I$K(B      b(agent=b1,object=b2,goal=b3(agent=b4)....)$B!"(B
$B$H$$$&(BH$B9`F1;N$NE,9g$r9M$($k!#(B
$BE,9g$N@.8y>r7o$O0J2<$rA4$FK~$?$7$?;~!#(B

(1) $B=R8l$NE,9g(B(a$B$H(Bb$B$NE,9g(B)

 (a) $BH]Dj$N%A%'%C%/(B
     $B$I$A$i$H$b(B"-"$B$,$"$k$+N>J}$J$$>l9g$O@.8y!#(B
     $B$I$A$i$+0lJ}$K(B"-"$B$,$"$k>l9g$O<:GT!#(B
 (b) $B=R8l(B($B$3$N>l9g$O(Ba,b)$B$O(Bb=<a$B$H$$$&7?3,AX$K$J$C$F$$$J$1$l$P$J$i$J$$!#(B

(2) $B3JL>$NE,9g(B(agent,object,goal$B$NE,9g(B)

 (a) Query$BB&$N(BH$B9`$N=R8l(B($B$3$N>l9g(Ba)$B$N>e0L$N7?$K(Bproperty$B0J30!"Nc$($P(Bevent$B$H$$$&35(B
     $BG0$,$"$k;~(B
     Query$BB&$N(BH$B9`$N3JL>$,%k!<%kB&$K$J$1$l$P$$$1$J$$!#(B

 (b) Query$BB&$N(BH$B9`$N=R8l(B($B$3$N>l9g(Ba)$B$N>e0L$N7?$K(Bproperty$B$N35G0$,$"$k;~(B
     $B%k!<%kB&$N(BH$B9`$N3JL>$,(BQuery$BB&$K$J$1$l$P$$$1$J$$!#(B

(3) $B3JCM$NE,9g(B(a1$B$H(Bb1,a2$B$H(Bb2,a3(agent=a4)$B$H(Bb3(agent=b4)$B$NE,9g(B)

 (a) $BN>J}&79`$N;~(B(a1$B$H(Bb1,a2$B$H(Bb2$B$N;~(B)
     $BN>J}$N&79`$,!V#7(B.$B#2(B.$B#3&79`!W$NE,9g$K@.8y$7$?;~(B
 (b) $BN>J}(BH$B9`$N;~(B(a3(agent=a4)$B$H(Bb3(agent=b4)$B$N;~(B)
     (4)$B$X(B

(4) $B3JCM$,(BH$B9`$NE,9g(B(a3(agent=a4)$B$H(Bb3(agent=b4)$B$N;~(B)

 (a) $B=R8l$NE,9g(B(a3$B$H(Bb3$B$NE,9g(B)

  (i)  $BH]Dj$N%A%'%C%/(B
       $B$I$A$i$H$b(B"-"$B$,$"$k$+N>J}$J$$>l9g$O@.8y!#(B
       $B$I$A$i$+0lJ}$K(B"-"$B$,$"$k>l9g$O<:GT!#(B
  (ii) $BN>J}$N=R8l(B(a3$B$H(Bb3)$B$,!V#7(B.$B#2(B.$B#3(B $B&79`!W$NE,9g$K@.8y$7$?;~(B

 (b) $B3JL>$NE,9g(B(agent$B$NE,9g(B)
     Query$B$d(BRule$B$KBP1~$9$k3JL>$,$J$/$F$b@.8y$9$k!#(B

 (c) $B3JCM$NE,9g(B(a4$B$H(Bb4$B$NE,9g(B)

  (i)  $BN>J}&79`$N;~(B
       $BN>J}$N&79`$,!V#7(B.$B#2(B.$B#3&79`!W$NE,9g$K@.8y$7$?;~(B
  (ii) $BN>J}(BH$B9`$N;~(B
       (4)$B$X(B
  (iii) Rule$B$d(BQuery$B$N$I$A$i$+$KBP1~$9$k3J$,$J$$>l9g$O!"B8:_$9$kJ}$N3J$,BeF~$5$l$k(B

$B#7(B.$B#2(B.$B#3(B $B&79`(B

GLB$B$r$H$C$F@.8y$7$?;~!#(B

$B#8(B $B@)8B;v9`(B&$BCm0U;v9`(B

$B8=:_Ds6!$5$l$F$$$J$$5!G=$O0J2<$G$"$k!#(B

(1) $BAH$_9~$_=R8l$r<B9T$7$?7k2L$NI=<($O9T$J$o$l$J$$!#(B

(2) $B%k!<%k@bL@$NCf$G;H$($kJ8;zNs$O>.J8;z$N1Q?t;z(B,$B4A;z(B,"_"$B$@$1$G$"$k!#(B

(3) H$B9`$HJQ?t$r(Bunify$B$5$;$k;~$O(BH$B9`JQ?t(B(@$BJQ?tL>(B)$B$N$_$G$"$k!#(B
    a(agent=X)$B$H(Ba(agent=b(agent=c))$B$O(Bunify$B$G$-$J$$!#(B
    unify$B$5$;$k;~$O(Ba(agent=X)$B$r(Ba(agent=@x)$B$H$7!"(B@x$B$,$I$N$h$&$J(BH$B9`$+$r8e$K5-=R$7(B
    $B$F$*$+$J$1$l$P$J$i$J$$!#(B

    $BNc$($P!"0J2<$N$h$&$K5-=R$7$J$1$l$P$J$i$J$$!#(B

    a(agent=@X)<- b(agent=c)|@X,d(agent=e).

    $B$D$^$j!"(BH$B9`JQ?t$r;H$&;~$O$+$J$i$:!"$=$N%k!<%k$G;2>H$7$J$/$F$b$I$N$h$&$J(BH$B9`$,(B
    $B$/$k$+$r%k!<%k$N%\%G%#$G5-=R$7$J$1$l$P$J$i$J$$!#(B

$BIUO?(B1. HELIC-II$B8@8l$N9=J8(B
                                                                                
 {X}$B$O!$#02s0J>e$NG$0U$N2s?t!$(BX$B$,7+$jJV$7$F$h$$$3$H$r<($9!#(B
 [X]$B$O!$(BX$B$,$R$H$DB8:_$9$k$+!$$"$k$$$O>JN,$7$F6u$G$"$k$3$H$r<($9!#(B
 $BH>3Q%9%Z!<%9!"%?%V!"2~9T$O!"9=J8$NG$0U$N>l=j$K8=$l$F$h$$!#(B

$B!J#1!K7?Dj5A(B

  <$B7?Dj5A(B> ::= 
        "&define_type."{<$B3,AXDj5A(B>} {<$BB0@-Dj5A(B>} {<$B@bL@Dj5A(B>} 
  <$B3,AXDj5A(B> ::= 
           <$B0lHL7?(B> "<" <$BAH9~7?(B> "." 
        |  <$B0lHL7?(B> "<" <$B0lHL7?(B> "." 
        | "{" <$B0lHL7?(B> {"," <$B0lHL7?(B> } "}" "<" <$BAH9~7?(B> "." 
        | "{" <$B0lHL7?(B> {"," <$B0lHL7?(B> } "}" "<" <$B0lHL7?(B> "." 
  <$B0lHL7?(B> ::= 
        $B2<5-0J30$N(B <$B%"%H%`(B> 
        "integer" , "string"   "agent" , "object" , "cause" ,
        "condition" , "purpose" , "place" , "source" , "goal" ,
        "time" , "time-from" , "time-to" , "imlement" ,
        "material" , "quantity" , "number" , "manner" , "basis" 
  <$B%"%H%`(B> ::=
        $B1Q>.J8;z$^$?$OF|K\8l$G;O$^$k!"1Q?t;z!"F|K\8lJ8;z$^$?$O2<@~$NJB$S(B
        |  $B#2$D$N%7%s%0%k%/%)!<%H(B("'")$B$GN>B&$r0O$C$?J8;z$NJB$S(B
  <$BAH9~7?(B> ::= 
        "integer" | "string" 
  <$BB0@-Dj5A(B> ::= 
          <$B0lHL7?(B> "."
        | <$B0lHL7?(B> "([" <$BB0@-(B> {"," <$BB0@-(B> } "])" "." 
  <$BB0@-(B> ::= 
        <$BB0@-L>(B> ":" <$BB0@-7?(B> 
  <$BB0@-L>(B> ::= 
        <$B%"%H%`(B> 
  <$BJ8;zNs(B> ::= 
        $B#2$D$N%@%V%k%/%)!<%H(B(""")$B$GN>B&$r0O$C$?J8;z$NJB$S(B
  <$BB0@-7?(B> ::= 
          <$B7?(B> 
        | <$B0lHL7?(B> "([" <$BB0@-(B> {"," <$BB0@-(B> } "])"
  <$B7?(B> ::= 
        <$B0lHL7?(B> | <$BAH9~7?(B> | <$BDj?t7?(B>
  <$BDj?t7?(B> ::= 
        <$B@0?t(B> | <$BJ8;zNs(B> | <$BHO0O7?(B>
  <$BHO0O7?(B> ::= 
        "[" <$B@0?t(B> ".." <$B@0?t(B> "]"
  <$B@bL@Dj5A(B> ::= 
        <$B0lHL7?(B> "::" "["<$BJ8;zNs(B> {"," <$BJ8;zNs(B> } "]" "."  *1
  <$B@0?t(B> ::=  $B@0?t(B

  *1 $B@bL@Dj5ACf$N0lHL7?$O!"3,AXDj5A$^$?$OB0@-Dj5A$GDj5A$5$l$F$$$J$1$l$P$J$i$J$$!#(B

$B!J#2!K%k!<%kDj5A(B

  <$B%k!<%kDj5A(B> ::= 
        "&define_absolute_rule." {<$B3NDj%k!<%k%Y!<%9(B>}
        "&define_RBR_rule." {<RBR$B%k!<%k%Y!<%9(B>}
        "&define_CBR_rule." {<CBR$B%k!<%k%Y!<%9(B>}
  <$B3NDj%k!<%k%Y!<%9(B> ::= 
        "{" <$B3NDj%k!<%k(B> { "," <$B3NDj%k!<%k(B>} "}"
  <RBR$B%k!<%k%Y!<%9(B> ::= 
        "{" <RBR$B%k!<%k(B> { "," <RBR$B%k!<%k(B>} "}"
  <$B3NDj%k!<%k(B> ::= 
          <$B%f%K%C%H(B> "::" <H$B9`(B> "<-" <H$B9`(B> { "," <H$B9`(B>} [ "||"<$B%k!<%k@bL@(B>] "."
        | <$B%f%K%C%H(B> "::" <H$B9`(B> [ "||"<$B%k!<%k@bL@(B>] "."
  <RBR$B%k!<%k(B> ::= 
        <$B%f%K%C%H(B> "::" <H$B9`(B> "<-" <$B%\%G%#(BH$B9`(B> { "," <$B%\%G%#(BH$B9`(B>} 
                             [ "||"<$B%k!<%k@bL@(B>] "."
        | <$B%f%K%C%H(B> "::" <H$B9`(B> [ "||"<$B%k!<%k@bL@(B>] "."
  <$B%f%K%C%H(B> ::= 
        $B1Q>.J8;z$^$?$OF|K\8l$G;O$^$k!"1Q?t;z!"F|K\8lJ8;z$^$?$O2<@~$NJB$S(B
  <H$B9`(B> ::=  
          <$B=R8lL>(B> "(" [<$B3J5-=R(B>] ")"  ["|" <H$B9`<1JL;R(B>]    *1
        | <H$B9`<1JL;R(B>
        | ["-"]  <$B=R8lL>(B> "(" [<$B3J5-=R(B>] ")" 
  <$B=R8lL>(B> ::= 
        [<$BJQ?t(B> "/" ] <$B0lHL7?(B>
        | <$BJQ?t(B>
  <$B3J5-=R(B> ::= 
        <$B3JL>(B> "=" <$B9`(B> {"," <$B3JL>(B> "=" <$B9`(B>}
  <$B3JL>(B> ::=  
          "agent" | "object" | "cause" | "condition" | "purpose" | "place"
        | "source" | "goal" | "time" | "time-from" | "time-to" | "imlement" 
        | "material" | "quantity" | "number" | "manner" | "basis" 
  <$B9`(B> ::= 
        <H$B9`(B> | <$B&W9`(B>
  <$B&W9`(B> ::= 
        [<$BJQ?t(B> "/" ] <$BJQ?t$J$7&W9`(B>      *2                            
        | <$BJQ?t(B>
  <$BJQ?t$J$7&W9`(B> ::= <$B7?(B> 
         | <$B0lHL7?(B> "[" <$BB0@-L>(B> "=>" <$B&W9`(B> 
                                      {"," <$BB0@-L>(B> "=>" <$B&W9`(B>} "]"
  <$B0lHL7?(B> ::=  
        $B!V!J#1!K7?Dj5A!W;2>H(B
  <$BJQ?t(B> ::= 
        $B1QBgJ8;z$^$?$O2<@~(B("_")$B$G;O$^$k!"1Q?t;z!"F|K\8lJ8;z!"$^$?$O2<@~$NJB$S(B
  <$B7?(B> ::=  
        $B!V!J#1!K7?Dj5A!W;2>H(B        *3 *4                                       
  <$BB0@-L>(B> ::= 
        <$B%"%H%`(B>
  <H$B9`<1JL;R(B> ::= 
        <H$B9`JQ?t(B> | <H$B9`Dj?t(B>
  <H$B9`JQ?t(B> ::= 
        "@" <$B%"%H%`(B>
  <H$B9`Dj?t(B> ::= 
        "#" <$B%"%H%`(B>
  <$B%"%H%`(B> ::=  
        $B!V!J#1!K7?Dj5A!W;2>H(B
  <$B%\%G%#(BH$B9`(B> ::= 
        ["not"] <H$B9`(B> | <$BAH9~=R8l(B>
  <$B%k!<%k@bL@(B> ::= 
        <$B6g(B> {<$B6g(B>}
  <$B6g(B> ::= 
        <$BJQ?t(B> | <$BJ8;zNs(B>
  <$BJ8;zNs(B> ::=  
        $B!V!J#1!K7?Dj5A!W;2>H(B
  <$BAH9~=R8l(B> ::=  
        <$BAH9~=R8lL>(B> "(" <$B&W9`(B> "," <$B&W9`(B> ")" 
  <$BAH9~=R8lL>(B> ::= 
          "less" | "greater" | "equal" | "not_equal" 
        | "same" | "different" 
  <CBR$B%k!<%k%Y!<%9(B>::= 
        "{" <CBR$B%k!<%k(B> { "," <CBR$B%k!<%k(B>} "}"

  <CBR$B%k!<%k(B> ::= 
        <$B%f%K%C%H(B> "::" <H$B9`(B> "<-" <CBR$B%\%G%#(BH$B9`(B>            
                  { "," <CBR$B%\%G%#(BH$B9`(B>} [ "||"<$B%k!<%k@bL@(B>] "."

  <CBR$B%\%G%#(B> ::= 
        ["!"] <CBRH$B9`(B>
        | <$BAH$_9~$_=R8l(B>
  <CBRH$B9`(B> ::= 
         <CBR$B=R8lL>(B> "(" [<CBR$B3J5-=R(B>] ")"  [ "|" <H$B9`<1JL;R(B>]
        |["-"] <CBR$B=R8lL>(B> "(" [<CBR$B3J5-=R(B>] ")"  
        | <H$B9`<1JL;R(B>
  <CBR$B=R8lL>(B> ::= 
        [<$BJQ?t(B> "/" ] <$B0lHL7?(B> [ "<"  <$B7?L>(B> ">" ]
        |  <$BJQ?t(B>
  <CBR$B3J5-=R(B> ::= 
        <$B3JL>(B> "=" <CBR$B9`(B> {"," <$B3JL>(B> "=" <CBR$B9`(B>}
  <CBR$B9`(B> ::= 
        ["!"] <CBRH$B9`(B>  |  ["!"] <CBR$B&W9`(B>
  <CBR$B&W9`(B> ::=  
        [<$BJQ?t(B> "/" ] <$BJQ?t$J$7(BCBR$B&W9`(B>      
        | <$BJQ?t(B>
  <$BJQ?t$J$7(BCBR$B&W9`(B> ::= 
        <$B7?(B>   [ "<" <$B7?L>(B> ">" ]
        | <$B0lHL7?(B> "[" <$BB0@-L>(B> "=>" <$B&W9`(B> 
        {"," <$BB0@-L>(B> "=>" <$B&W9`(B>} "]"  [ "<" <$B0lHL7?(B> ">" ]

 *1 $B%k!<%kCf$KF10l$N(BH$B9`JQ?t$,J#?t2s!"=P8=$9$k;~$O2<$N(BH$B9`JQ?t$K$N$_(B<$B=R8lL>(B> "("
    [<$B3J5-=R(B>] ")" "|" $B$rIU$1$k!#(B

    $B!&%\%G%#It$K$=$N(BH$B9`JQ?t$,=P8=$9$k$J$i!"%\%G%#It$N:G=i$K=P8=$9$k(BH$B9`JQ?t(B

    $B!&%\%G%#It$K$=$N(BH$B9`JQ?t$,=P8=$7$J$$$J$i!"%X%C%IIt$N:G=i$K=P8=$9$k(BH$B9`JQ?t(B

    $B%k!<%k%Y!<%9!J3NDj%k!<%k%Y!<%9!"(BRBR$B%k!<%k%Y!<%9!"$^$?$O(BCBR$B%k!<%k%Y!<%9!KCf$K(B
    $BF10l$N(BH$B9`Dj?t$,J#?t2s!"=P8=$9$k;~$O!":G=i$K=P8=$9$k%k!<%kFb$N2<$N(BH$B9`Dj?t$K$N(B
    $B$_(B <$B=R8lL>(B> "(" [<$B3J5-=R(B>] ")" "|" $B$rIU$1$k!#(B

    $B!&%\%G%#It$K$=$N(BH$B9`JQ?t$,=P8=$9$k$J$i!"%\%G%#It$N:G=i$K=P8=$9$k(BH$B9`Dj?t(B
    $B!&%\%G%#It$K$=$N(BH$B9`JQ?t$,=P8=$7$J$$$J$i!"%X%C%IIt$N:G=i$K=P8=$9$k(BH$B9`Dj?t(B

    $B0J>e$N@)Ls$K$h$j!"2<$N$h$&$J(BH$B9`$NL58B9`$O5-=R$G$-$J$$!#(B

        $B8+$k(B(agent=$BB@O:(B, object=#$B8+$k(B)|#$B8+$k(B.

    "|" <H$B9`<1JL;R(B> $B$,IU$$$F$$$k(B H$B9`(B $B$N(B <$B=R8lL>(B> "(" [<$B3J5-=R(B>] ")" $BFb$KJQ?t$O8=(B
    $B$l$F$O$J$i$J$$!#(B

 *2 $B%k!<%kCf$KF10l$NJQ?t$,J#?t2s!"=P8=$9$k;~$O!"2<$NJQ?t0J30$K(B"/" <$BJQ?t$J$7&W9`(B> 
    $B$rIU$1$F$O$J$i$J$$!#(B

    $B!&%\%G%#It$K$=$NJQ?t$,=P8=$9$k$J$i!"%\%G%#It$N:G=i$K=P8=$9$kJQ?t!#(B
    $B!&%\%G%#It$K$=$NJQ?t$,=P8=$7$J$$$J$i!"%X%C%IIt$N:G=i$K=P8=$9$kJQ?t!#(B

 *3 $B0lHL7?$O$9$Y$F7?Dj5A%U%!%$%k$GDj5A$5$l$F$$$J$1$l$P$J$i$J$$!#(B

 *4 $B$?$@$7!"AH$_9~$_7?(B(integer$B$d(Bstring)$B$O$D$+$($J$$!#(B                

$B!J#3!KH>=g=xDj5A(B

  <$BH>=g=xDj5A(B> ::=
        <$B%f%K%C%H3,AXDj5A(B> <$BH=CG4p=`Dj5A(B> <$B2ACM4QDj5A(B>


  <$B%f%K%C%H3,AXDj5A(B> ::= 
        "&define_unit." <$B%f%K%C%H3,AX(B> {<$B%f%K%C%H3,AX(B>}  *1
  <$B%f%K%C%H3,AX(B> ::= 
        <$B%f%K%C%H%;%C%H(B> ":=" "{" <$B%f%K%C%H%;%C%H(B> {"," <$B%f%K%C%H%;%C%H(B> } "}."
  <$B%f%K%C%H%;%C%H(B> ::=  
        $B1Q>.J8;z$^$?$OF|K\8l$G;O$^$k!"1Q?t;z!"F|K\8lJ8;z$^$?$O2<@~$NJB$S(B          
        | <$B%f%K%C%H(B>
  <$B%f%K%C%H(B>::=
        $B!V!J#2!K%k!<%kDj5A!W;2>H(B


  <$BH=CG4p=`Dj5A(B>::=  
        "&define_standpoint." {<$BH=CG4p=`(B>}    *2
  <$BH=CG4p=`(B>::= 
        <$BH=CG4p=`L>(B> ":="  "{" <$B%f%K%C%H4X78(B> { "," <$B%f%K%C%H4X78(B> }"}" "."
  <$B%f%K%C%H4X78(B>::= 
        <$B%f%K%C%H72(B> "<" <$B%f%K%C%H72(B> {"<" <$B%f%K%C%H72(B>}
  <$BH=CG4p=`L>(B> ::= 
        $B1Q>.J8;z$^$?$OF|K\8l$G;O$^$k!"1Q?t;z!"F|K\8lJ8;z$^$?$O2<@~$NJB$S(B
  <$B%f%K%C%H72(B>::=
        <$B%f%K%C%H%;%C%H(B> | "{" <$B%f%K%C%H%;%C%H(B> {"," <$B%f%K%C%H%;%C%H(B>} "}"

  <$B2ACM4QDj5A(B> ::= 
        "&define_view." {<$B2ACM4Q(B>}      *3
  <$B2ACM4Q(B> ::=  
        <$B2ACM4QL>(B>":=" "{" <$BH=CG4p=`L>(B> "<" <$BH=CG4p=`L>(B> 
                                       {"<" <$BH=CG4p=`L>(B>} "}" "."    *4
  <$B2ACM4QL>(B> ::= 
        <$B%"%H%`(B>
  <$B%"%H%`(B> ::=  
        $B!V!J#1!K7?Dj5A!W;2>H(B

  *1 $BA4$F$N%k!<%kL>$,5-=R$5$l$F$$$J$/$F$b$h$$!#(B
  *2  $BF1$8H=CG4p=`L>$,J#?t2s!"8=$l$F$O$J$i$J$$!#(B
  *3  $BF1$82ACM4QL>$,J#?t2s!"8=$l$F$O$J$i$J$$!#(B
  *4   $BH=CG4p=`L>$O$9$Y$F(B $BH=CG4p=`Dj5A%U%!%$%k$GDj5A$5$l$F$$$J$1$l$P$J$i$J$$!#(B

$B!J#4!K%4!<%kDj5A(B

  <$B%4!<%k(B> ::=  
        "&define_goal{ " <GOALS> "}"
  <GOALS>::=
        <GOAL> { "," <GOAL>}
  <GOAL>::=
        ["-"]  <$B=R8lL>(B> "(" <$B3J5-=R(B> ")" 
  <$B=R8lL>(B> ::=  
        $B!V!J#2!K%k!<%kDj5A!W;2>H(B
  <$B3J5-=R(B> ::=
        $B!V!J#2!K%k!<%kDj5A!W;2>H(B


$BIUO?(B2. $B7?$,B0@-$r$H$k$H$-$N7?$H&W9`$N07$$(B

$B!J#1!KB0@-$N7Q>5(B

$B7?$N$b$DB0@-$O!"3,AX4X78$K$7$?$,$C$F7Q>5$5$l$k!#$D$^$j!">e0L$N7?$N$b$DB0@-$O!"2<(B
$B0L$N7?$NB0@-$H$7$F%^!<%8$5$l$k!#B0@-$N7Q>5$O!">e0L7?$NB0@-L>$HF1$8B0@-L>$r2<0L7?(B
$B$,;}$D>l9g$H!";}$?$J$$>l9g$,$"$k!#$3$l$i$O!"$D$.$NMM$K07$&!#(B


(1) $B>e0L7?$NB0@-L>$HF1$8B0@-L>$rDj5A$7$F$$$J$$>l9g(B

$B>e0L7?$GDj5A$7$F$$$kB0@-$O!"$=$N2<0L$N7?$NB0@-$H$7$F7Q>5$5$l$k!#(B

(2) $B>e0L7?$NB0@-L>$HF1$8B0@-L>$rDj5A$7$F$$$k>l9g(B

$B>e0L7?$GDj5A$7$F$$$kB0@-$H!"$=$N2<0L$N7?$GDj5A$7$F$$$kB0@-$K$D$$$F!"$=$l$>$l$N7?(B
$BF1;N$N:GBg2<3&$r$H$j!"$=$l$r2<0L7?$NB0@-$H$9$k!#>e0L7?$,J#?t$"$j!"$=$l$i$GF1$8B0(B
$B@-$,Dj5A$5$l$F$$$k>l9g$bF1MM$K!"$=$l$i$NB0@-$H2<0L7?$GDj5A$7$F$$$kB0@-$H$N4V$N:G(B
$BBg2<3&$r$H$k!#(B

$B$?$H$($P!"Nc$H$7$F$D$.$N$h$&$J7?$K4X$9$kDj5A$,M?$($i$l$?$H$9$k!#(B

  &defeine_type.{
  {$BF|K\?M(B, $B%"%a%j%+?M(B} < $B?M(B.
  $BF|7OFs@$(B<$BF|K\?M(B.
  $BF|7OFs@$(B<$B%"%a%j%+?M(B.
  $BB@O:(B<$BF|7OFs@$(B.
  {$BCK(B, $B=w(B} < $B@-(B.
  $B:.7l(B<$B2+?'(B.
  $B:.7l(B<$BGr?'(B.
  {$B9u(B, $B@D(B} < $B?'(B.
  $B?M(B[$B@-JL(B : $B@-(B].
  $BF|K\?M(B[$BH1(B : $B9u(B, $B?M<o(B : $B2+?'(B].
  $B%"%a%j%+?M(B[$BL\(B : $B@D(B, $B?M<o(B : $BGr?'(B].
  $BB@O:(B[$B@+(B : "$B0&8WE^(B",$B@-JL(B : $BCK(B].}

$B$3$NNc$N7?$NDj5A$+$i!"7?L>$K4X$9$k=g=x4X78$O!"0J2<$N$h$&$JB+$H$7$F4IM}$5$l$k!#(B

                        TOP
      $B(#(!(!(!(!(!(!(!(!(+(!(!(!(!(!($(B
      $B?M(B                $B("(B          $B@-(B
  $B(#(!(*(!($(B          $B(#(*($(B      $B(#(*($(B
$BF|K\?M(B $B%"%a%j%+?M(B   $B2+?'(B $BGr?'(B     $BCK(B  $B=w(B
  $B(&(!(((!(%(B          $B(&(((%(B      $B(&(((%(B
   $BF|7OFs@$(B            $B:.7l(B         $B("(B
      $B("(B                $B("(B          $B("(B
     $BB@O:(B               $B("(B          $B("(B
      $B(&(!(!(!(!(!(!(!(!(+(!(!(!(!(!(%(B
                      BOTTOM

$B!VF|K\?M!W$O!"!V?M!W$r>e0L7?$H$7$F$b$D!#!V?M!W$NB0@-!V@-JL(B=>$B@-!W$O!"!VF|K\?M!W$K(B
$B$ODj5A$5$l$F$$$J$$$N$G!"(B $B$=$N$^$^!VF|K\?M!W$K7Q>5$5$l$k!#$^$?!"!V?M!W$NB0@-$O!"(B
$B!V%"%a%j%+?M!W$K$bF1MM$K7Q>5$5$l$k!#(B

$B!VF|7OFs@$!W$O!"!VF|K\?M!W!V%"%a%j%+?M!W$r>e0L7?$H$7$F$b$D!#!VF|7OFs@$!W$K$OD>@\(B
$BE*$K$OB0@-$rDj5A$7$F$$$J$$$N$G!"!VF|K\?M!W!V%"%a%j%+?M!W$NN>J}$NB0@-$,7Q>5$5$l$k!#(B
$B$3$l$i$N>e0L7?$NB0@-$K$D$$$F$_$k$H!"(B $B$=$l$>$l0[$J$kB0@-L>$H$7$F(B $B!VH1!W!VL\!W$,$"(B
$B$j!"$^$?!"6&DL$NB0@-L>$H$7$F!V?M<o!W!V@-JL!W$,$"$k!#!VH1!W!VL\!W$O!"$=$N$^$^!VF|(B
$B7OFs@$!W$NB0@-$H$7$F7Q>5$5$l$k!#!V?M<o!W$O!">e0L7?$N6&DLB0@-$G$"$k$N$G!"!VF|K\?M!W(B
$B$NB0@-!V?M<o!W$N7?$G$"$k!V2+?'!W$H!V%"%a%j%+?M!W$NB0@-!V?M<o!W$N7?$G$"$k!VGr?'!W(B
$B$N:GBg2<3&$,$H$i$l!"!VF|7OFs@$!W$NB0@-!V?M<o!W$N7?$H$7$F!V:.7l!W$,7Q>5$K$h$jM?$((B
$B$i$l$k!#!V?M!W$NB0@-!V@-JL!W$K$D$$$F$bF1MM$K$7$F!V@-!W$,7Q>5$5$l$k!#!VB@O:!W$O!"(B
$B!VB@O:!W$KDj5A$5$l$F$$$kB0@-$H!VF|7OFs@$!W$NB0@-$,%^!<%8$5$l$F!"!VB@O:!W$N$b$DB0(B
$B@-$O!"(B $B!V@+(B=>"$B0&8WE^(B"$B!W(B,$B!V?M<o(B=>$B:.7l!W(B, $B!VH1(B=>$B9u!W(B, $B!VL\(B=>$B@D!W(B,$B!V@-JL(B=>$BCK!W(B $B$H$J(B
$B$k!#$D$^$j!VB@O:!W$K$O!"<!$N$h$&$JB0@-$,Dj5A$5$l$F$$$k$3$H$K$J$k!#(B

    $BB@O:(B[$B@+(B=>"$B0&8WE^(B", $B?M<o(B=>$B:.7l(B, $BH1(B=>$B9u(B, $BL\(B=>$B@D(B, $B@-JL(B=>$BCK(B]

$B!J#2!K&W9`(B

$B35G0$rI=8=$9$k$?$a$N%G!<%?9=B$$H$7$F!"&W9`(B $B$rF3F~$9$k!#(B
$B&W9`(B $B$O$D$.$NMWAG$+$i$J$k!#(B

  $B7?L>!'0UL#E*$K$O%*%V%8%'%/%H$N%/%i%9$rI=$9!#(B
  $BB0@-!'7?$,$b$DFCD'$rI=$9!#B0@-$r<1JL$9$k$?$a$NB0@-L>$H$=$NCM$H$J$k7?$H$NBP$GI=$9!#(B
  $BJQ?t!'0[$J$kB0@-$,F1$8CM$r$b$D$3$H$rI=$9!#(B

X $B$rJQ?t!"(BT$B$r7?L>!"(Bl $B$rB0@-L>!"&W(Bi $B$r&W9`$H$9$k!#$3$N$H$-!"&W9`$O!"0J2<$N$h$&$K(B
$B:F5"E*$KDj5A$G$-$k!#(B

      X : T[L1=>$B&W(B1, ..., Ln=>$B&W(Bn]

$B$3$l$O!"7?L>(BT$B$O!"$=$NB0@-$H$7$F!"(BL1, ..., Ln$B$r$b$A!"$=$NB0@-$NCM$H$7$F(B $B&W(B1, ..., 
$B&W(Bn$B$r$b$D$3$H$rI=$7$F$$$k!#JQ?t$O&W9`Cf$K$?$@0l$D$N$_8=$l$k$b$N$K$D$$$F$O!"(B $BI=5-(B
$B$r>JN,$G$-$k!#(B

$B!J#3!K&W9`4V$NC10l2=(B

$B&W9`4V$NC10l2=$H$ON><T$N:GBg2<3&(B(gjb)$B$r5a$a$kA`:n$r$$$&!#(B
$B$$$^!"#2$D$N&W9`(Bx, y$B$r(B

    x=t1[Ai=>Ui, Bj=>Uj]
    y=t2[Ai=>Vi, Ck=>Vk]

$B$H$9$k!#$3$N$H$-!"N><T$N:GBg2<3&(B glb(x,y) $B$O<!$N$h$&$K$7$F5a$a$k!#(B

    glb(x,y) = t3[Ai=>glb(Ui,Vi), Bj=>Uj, Ck=>Vk]

$B$?$@$7!"(Bt3 = t1$B"A(Bt2$B$H$9$k!#(Bt1$B"A(Bt2 = bottom$B$G$"$l$P!"(Bglb(x,y)$B$OB8:_$;$:!"C10l2=$O(B
$B<:GT$9$k!#(B


$B!J#4!K&W9`4V$NJq@]4X78(B

$B$$$^!"#2$D$N&W9`(Bx, y$B$r(B

    x=t1[Ai=>Ui, Bj=>Uj]
    y=t2[Ai=>Vi]

$B$H$9$k!#$3$N$H$-!"(Bt1 < t2$B$GA4$F$N(Bi$B$KBP$7!"(BVi$B$,(BUi$B$rJq@]$9$k$J$i!"(By$B$O(Bx$B$rJq@]$9$k!#(B









