==============================================================================
                       GDA-LES :         
              Copyright (C) 1999  (̳ƻ ˡ)
                            ǽ 1999.1.31
==============================================================================

   ܥեȥϡ1997ǯAITECIFSϿ줿GDA-LESƥ̳ƻ
       ɽˤ֥å奢åפƥǤ롣

[ܼ]

  0. 
  1. ѴĶ
  2. 󥹥ȡˡ
  3. ˤˡ
  4. ˡե
  5. μˡ
  6. ư꼰
  7. ʸ

 1.ѴĶס2.󥹥ȡˡס3.ˤˡפεҤ
ȤˤäơȤꤢŪѤ뤳ȤǤ롣


0. 

ܥƥϡ֥˰¸ݲסݡˤä[Okubo94]
줿ˤ˴ŤˡŪ䥷ƥ[Kakuta96,Kakuta97,Kakuta98]GUIȥ֥
ȻظޥɽղäѤؤޤäΤǤ롣ޤܥ֥å
åפ°ȤƼºݤˡΧȤβ⡢μɽ䡢ˡŪ
˴ؤΤΥɥȤ󶡤GUIѤƤ륦
ɥΤΥ饤֥ΤΩѤǤ褦߷פƤꡢ
˾ܺ٤ʳͽͽƱ󶡤Ƥ롣ܻѼǤϡ
ƥΤˡ갷äƤ롣Ѹ䳵ǰβ⡢硢
饤֥ˤĤƤźդ̻򻲹ͤˤ줿


1. ѴĶ

  []
     SICStus-Prolog 3 #5
     Tcl7.6/Tk4,2
     SICStus-PrologΥޥ˥奢λؼ˽äTcl/TkSICStus-Prolog
       ѲǽˤʤäƤ뤳ȡ
  [OS]
     Windows95
     Solaris 2.5.1
     ޤǤưǧʾǹԤäȤȤǤꡢŪˤ
       ϤưƤưǽȻפ롣嵭Ϥ˰¸ʳ
       OS䵡˰¸ˤϤʤäƤʤưǽξϡSICStus-
       PrologΥ󥹥ȡ뤬ɸȹͤ롣Τ褦ʾưݾ
       ϤǤʤ
  [ϡɥĶ]
     ǽưǧΥϡɥܥꥵ򼨤
     PC-ATߴ(Windows95)ꥵ 128M
     Sun SparcStation20(Solaris 2.5.1)ꥵ 256M


2. 󥹥ȡˡ

  Ŭʥǥ쥯ȥ˲हǤ롣


3. ˤˡ

   ʹߡ"?-"θʬ桼ʬǤ롣

  1) षǥ쥯ȥΥ֥ǥ쥯ȥꡢsrc˥ȥǥ쥯ȥܤ
      Unixξˤshell顢Windows95ξˤDOSץץȤ뤳
        ȡ
      srcǥ쥯ȥʳǼ¹Ԥݤϡȥǥ쥯ȥ newgda.pl
        user.plwindow.plgui.pl 򥳥ԡ뤳ȡޤμ١Υե
        ⥫ȥǥ쥯ȥ˥ԡ뤳ȡξpark.kb
        򥳥ԡƤ
      ܥƥźդˡΧexmapleǥ쥯ȥcivil.kbǤꡢ
        ѤȤ⥫ȥǥ쥯ȥ˥ԡˤƤȡ

  2) SICStus-PrologΩ夲Windows95ξϥ󥽡ǤѤ뤳ȡˡ
     ץץȤ֤ä顢ʲ¹Ԥ롣
     ̾Ͻե(.sicstusrc)˵ҤƤǤ
       ˡSICStus-PrologΥޥ˥奢뻲ȤΤȡǤϼϤ
       ؤƤΤ롣

        ?- prolog_flag(single_var_warnings,_,off),
           prolog_flag(redefine_warnings,_,off),
           prolog_flag(unknown,_,fail).
        ?- use_module(library(system)).
        ?- use_module(library(tcltk)).

  3) ץץȤФưʲ¹Ԥ롣

        ?- compile(['newgda.pl','user.pl','window.pl','gui.pl']).

     ʤե̾ν֤Ϥ˽ȡ

  4) ץץȤФưʲ¹Ԥ롣

        ?- gdales.

  5) ̤˥ᥤ󡦥ɥ(GDA-LES Main Windodw)ɽ롣ʹߤϤ٤
     бGUIɥФˤȤʤ롣ᥤ󡦥ɥ FILE
     Ȥ٥ΤĤ˥ޥäƤ

        park.kb

     ȥפ[SET]ܥޥåǲ
        ʹߡ[...]ܥ򲡤פȸФΤȤȤ롣
     μ١եɤ߹ߤǤ롣

  6) GOAL Ȥ٥ΤĤ˥ޥäƤ

        prohibit(X)

     ȥפ[Enter]ܥ򲡤
     ̾αǤΥ뤬򤱤뤫ɤ礻Ǥ롣

  7) No Ȥ򤬲 ANSWER Ȥ٥դɽ롣
     ϡ򤬤ʤʤμԤ򼨤Ƥ롣

  8) ΤȤ[hierarchy]ܥ򲡤ȡǰؤɽդ
     ɥɽ롣
     [Dismiss]ܥ򲡤СΥɥϾä롣

  9) 6)Υ򵭽Ҥޤޤξ֤ǡ[Enter]Τ˱[GDA]ܥ
      GDAμ¹ԤϤ롣

  10) оݥ롼礻ɥ롼ɽɥȤȤ˸
      Τǡ[YES]ܥ򲡤ʤΥɥϸ˸٤礬Τǡ
      ȤꤢäʤǻĤƤ

  11) ڤγǧΤᡢڤΥեåɽ줿ɥ롣
      [YES]ܥ򲡤

  12) GDAõϤޤ뤿ᡢ̤˻֤̤ߤޤäޤޤˤʤ
      Ф餯ƽλGDA-Results Ȥ٥˷׻η
      ɽ롣ˡAppropriate Similarities Ȥ٥ˤ
      ȽǤ줿ǰȤ߹碌ΥꥹȤɽ롣
      ǡ10)Υɥᥤ󥦥ɥξ˽ŤʤäƼʾ硢
      ᥤ󡦥ɥΥȥСʬ򲡤ƺ̤˽Ф

  13) [from Case][from Rule][Abstract]γƥܥ򲡤ȡ
      㤫ξ¤롼׷ꤷ¤ݲ¤
      γƾڤΥեåɽΥɥ롣줾졢
      [Dismiss]ܥ򲡤ƾä

  14) ᥤ󡦥ɥ Mode Υåܥ Analogy ڤؤ롣
      ⡼ɤ˰ܹԤ롣ǤϡѤϥǥե
      Ȥ1֤Ѥ뤳Ȥˤʤ롣

  15) [hierarchy]ܥ򲡤⡼ɤˤ복ǰؤɽ롣
      إդǡФ줿1ܤȤߤʤ줿 car 
      horse ξ̤ $abs$1 ȤۥȤղäƤ뤳Ȥǧ롣
      [Dismiss]ܥ򲡤ƳǰؤΥɥä

  16) GOALα[Enter]ܥ򲡤ơ⡼ɤˤԤ

  17) ANSWERʬ prohibit(enter1) Ϥ졢[More][Nomore]ܥĤ
      ʤ롣Ǥ[Nomore]ܥ򲡤

  18) Υοξڤ Proof Trees [Analogy]ܥ򲡤ɽ
      롣ǡȥåץα4οʬ֥륯å롣
      UnixǤϤޤ٥ȤǤʤ礬ΤǤξϤεǽ
        ѤǤʤ
      ȡƲ줿롼뤬ɽ롣ˤ10)Υɥ٤
       car ʬ $abs$1 ֤Ƥ뤳Ȥʬ롣
      Υɥ[Dismiss]򲡤ƾä10)Υɥ[Dismiss]򲡤
      ƾäڤ[Dismiss]򲡤ƾä

  19) ᥤ󡦥ɥ֤[EXIT]ܥ򲡤ƥƥλ롣


ܥƥΰŪѼʲˤޤȤƤ

  (1) gdalesޤǤҤƱ³
      μ١եϥȥǥ쥯ȥ֤
  (2) μ١եΥɡ
  (3) deduction⡼ɤǤΥμ¹ԡ
      ϡProof Trees[Deduction]ܥǾڤΤ뤳Ȥ
      Ǥ롣
  (4) (3)ԤȤΤ߰ʲԤ
  (5) GDAμ¹ԡɬdeduction⡼ɤǹԤȡ
  (6) 
  (7) analogy⡼ɤڤؤ¹Ԥ롣


4. ˡե

ޤܥƥΥᥤ󡦥ɥεǽˤĤƲ⤹롣ᥤ󥦥
ɥβ̹ϰʲοޤǼ

  =====================ᥤ󡦥ɥ ========================

          Mode => analogy deduction  [clauses] [Hierarchy] [EXIT]
   Proof Trees => [Analogy][Deducton][from Case][from Rule][Abstract]
  +-------------------------+
  |Inference Mode :deduction|  FILE: [          ][SET][!]
  |SP/SIC         :sp       |
  |VRP            :on       | Range: [  ]--->[  ][SET][ALL]
  |Selection Mode :auto     |
  |Focus          :proof    |          SIC    SP
  |Current Sim.   :non      |
  |Current KB     :park.kb  |      Unuse Object Information
  +-------------------------+
       GOAL: [                                ][Enter][GDA][!]
     ANSWER: [                                 ][More][Nomore]
                            GDA-Results
  +--------------------------------------------------------------+--+
  |                                                              ||
  |                                                              ||
  |                                                              ||
  +--------------------------------------------------------------+--+
                     Appropriate Similarities [SELECT]
    +----------------------------------------------------------+--+
    |                                                          ||
    |                                                          ||
    |                                                          ||
    +----------------------------------------------------------+--+
  +--------------------------------------------------------------+--+
  |                                                              ||
  |                                                              ||
  |                                                              ||
  +--------------------------------------------------------------+--+
                             [Top] [Bottom]

  =====================================================================


[]

<⡼ɡå>

  Mode=> analogy deduction

        ⡼ɤ(analogy)ȱ(deduction)ڤؤ롣
        ߾֤ϾɽInference ModeˤȿǤ롣

<OSLɽܥ>

 [clasues]

        Υܥ򲡤ȡֲOSLɽ˸ߥɤ
        OSLŸɽ롣

<ǰɽܥ>

 [hierarchy]

        Υܥ򲡤ȡǰؤ򥰥եåɽ֥
        ɥ롣⡼ɤˤäƤѲ롣

<λܥ>

 [EXIT]

        ƥνλܥ

<ɽܥ>

 Proof Trees=>[Analogy] [Deducton] [from Case] [from Rule] [Abstract]

        ƥܥ򲡤ȡбƾڤ򥰥եåɽ
        ֥ɥ롣
           [Analogy] ⡼ɤǤGOALξڤɽ롣
           [Deduction] ϱ⡼ɤǤξڤɽ롣
           [from Case] GDA¹Ը塢㤫Υ롼ŪƳ
           ڤɽ롣
           [from Rule] GDA¹Ը塢롼׷Υ롼
           ŪƳФڤɽ롣
           [Abstract] GDA¹Ը塢嵭ݲ줿ڤɽ
           롣

<ɽ>

 +-------------------------+
 |Inference Mode :deduction|
 |SP/SIC         :sp       |
 |VRP            :on       |
 |Selection Mode :auto     |
 |Focus          :proof    |
 |Current Sim.   :non      |
 |Current KB     :park.kb  |
 +-------------------------+

        ƥξ֤򼨤ʬ̥桼դ٤ʬϡ
        򤷤Ƥֹ򼨤Current Sim. ͤ
        ߥɤƤμ١ե̾򼨤Current
         KB ʬǤ롣

<μ١ե>

 FILE: [          ][SET][!]

        μ١Υե̾ꤹʬե̾򥿥
        פ[SET]ܥ򲡤ȥɤ롣[!]
        ֥ɥƤӽФΥ֥ɥ򤷤
        ˤ⡢[SET]ܥ򲡤ƽƥɤΤա

<ɽϰ>

 Range: [  ]--->[  ][SET][ALL]

        GDA׻塢ϤŬڤɽˤɤ줯餤
        ɽ뤫ϰϤꤹ롣ֹ椫ϤƤ褤
        ϤֹȽֹ򥿥׸塢[SET]ܥ򲡤
        [ALL]ܥ򲡤Ȥ٤ƽϤ롣

<SIC/SPڤؤܥ>

  SIC    SP

        ŬڤεΰǤ롢SICSPڤؤ롣
        SICϵǤΥƥǺѤƤǤ롣礭Ŭ
        ڤʤΤǡõ֤礭ʤꤽ
        Τ߻Ū˻ꤷƤߤ뤿Ѥ롣

<VRPڤؤܥ>

  Unuse Object Information

        VRPȤݤڤؤ롣̤μ˰¸
        쳵ˤϸʤŪˤõ֤򴢤
        롣

<>

 GOAL: [                                ][Enter][GDA][!]

        Υꤹ롣롼θʬ
        ꤹ뤳Ȥ¿Ǥ׸塢[Enter]򲡤
        Ϥޤ롣̤ϲβɽ˼롣[GDA]ܥ
        򲡤ȤΥξŬѲǽΤ롼
        Ĵ٤ơGDAμ¹ԤϤ롣ξ硢ˡΧŪ
        ľܤ˻ꤹǤϤʤȤա[!]Υ
        ֥ɥɽ롣򤷤Τϡ
        GOAL:αΥȥ˥פǤΤǡ
        ɬפ˱ơ[Enter][GDA]򲡤ȡ

<ɽ>

 ANSWER: [                                 ][More][Nomore]

        GOALο̤ɽ롣ƳФݤˤϡѿ
        ͤϤ줿ɽ롣ΤȤ[More]ڤ
        [Nomore]ܥĿѲ롣줫򲡤ȡ
        [More]̲Ȥ̣Ǥ롣[Nomore]Ͽ
        λǤ롣ʤƳФʤȤϡNo
        ɽ롣

<GDA׻ɽ>

                           GDA-Results
 +--------------------------------------------------------------+--+
 |                                                              ||
 |                                                              ||
 |                                                              ||
 +--------------------------------------------------------------+--+

        GDA׻η̤ɽ롣¹Ի֤䡢ºݤõ
        ֤ΥŬڤοɽ롣

<GDAзɽ>


                  Appropriate Similarities [SELECT]
 +----------------------------------------------------------+--+
 |                                                          ||
 |                                                          ||
 |                                                          ||
 +----------------------------------------------------------+--+

        GDA׻̤ɽ롣ºݤѤ
        ϥޥ(ȿž)[SELECT]
        ܥ򲡤ꤹ롣

<OSLɽ>

 +--------------------------------------------------------------+--+
 |                                                              ||
 |                                                              ||
 |                                                              ||
 +--------------------------------------------------------------+--+
                            [Top] [Bottom]

        ɤƤOSL᤬ɽ롣ɽƬ˰
        ưϡ[Top]ܥ򲡤˰ư
        ϡ[Bottom]ܥ򲡤μޥɽ
        ƤƤ⡢ǤɽŸ줿̾OSLȤ
        롣


ˡ󥽡륳ޥɤ⤹롣ƥɸ塢gdeles¹Ԥˡ
PrologץץȤФʲνҸ줬ޥɤȤѤǤ롣

  gui
        GUIΥƥबư롣ǥեȤǤ롣

  cui
        CUIΥƥबư롣ˡʿ8ǯ٤Υ
        ƥ°Υޥ˥奢򻲾ȤΤȡ

  monon

        GUITcl/TkäƤ륳ޥɤ˥롣
        ˥ɽΤ˥ƥư٤ʤ롣
        ̾̥桼ѤɬפϤʤ

  monoff

        monon֤β


5. μˡ

ŪƤ롣ܼǤϡ󥿥åӷ
Ụ̄ΤߵҤ롣

ܥƥϤȤʤμϥϥ֥åμɽ[Nebel]˴ŤʲΤ褦
Ĥʬ:

     1) Ūμ١ (Terminological Knowledge Base:TKB)
     2) طŪμ١(Relational Knowledge Base:RKB)
     3) ղþ


5.1 TKB

ޤBNFɽˡ˴ŤơTKBΥ󥿥åʲ롣

  <TKBɽ> ::= <Subclass-Rel> "." | <Type-Dec> "." |  <RFC> "."
  <Subclass-Rel> ::= <Sort> "=<" <Sort>
  <Sort> ::= Prolog atom
  <Type-Dec> ::= <Constant> "@" <Sort>
  <Constant> ::= Prolog atom
  <RFC> ::= <Role> ":" <Sort> "->" <Sort>
  <Role> ::= Prolog atom 

   <Role> RKBǽҸȤѤƤΤǤ롣

TKBηỤ̄򼨤I:T|->DؿTTKBɽν硢Dϲΰ
ǤΤνȤ롣ޤCν硢RϥҸν硢Sϥȵ
νǤꡢüʥȥܥ"*"ޤΤȤ롣ˡSȾ
ط=<ˤäơȳءʳǰءˤ(S,=<)ɽ롣ޡs1,s2,s3S
c,c1,c2C, rRȤȤIϰʲΤ褦롧

     I(*)=D
     I(s)D
     I(c)D
     I(s1=<s2) = I(s1)I(s2)
     I(c@s) = I(c)I(s)
     I(r) :DD |-> {TRUE,FALSE}
     I(r:s1->s2) = x,y (xI(s1)I(r)(x,y)  yI(s2)) 

   "*" ϥȥåץȤɽ


5.2 RKB

RKBϴŪ˥ȡۡʰʲOSάˤν礫롣OS
BNFɽˡˤ륷󥿥åʲ˼

  <OS-clause> ::= <Goal> ":-" <Goals> "." | <Goal> "."
  <Goals> ::= <Goals> "," <Goal> | <Goal >
  <Goal> ::= <Predicate> "(" <Terms> ")"
  <Predicate> ::= Prolog atom
  <Terms> ::= <Terms> "," <Term> | <Term>
  <Term> ::= <Sorted-Variable> | <Variable> | <Constant>
  <Sorted-Variable> ::= <Variable> ":" <Sort>
  <Variable> ::= Prolog variable  

   ":-"ϰ쳬ˤ""Ʊ̣εǤ롣
   ȤդƤʤѿϡȥåץ"*"°Ȥߤʤ

ޤ̤ʽҸȤơ1"oc"ȤҸƳƤ롣ϡط
Ӿ֤ΤȤߤʤơ¸ߡʴǰŪǤ褤ˤ뤿
ѤҸǤ롣

ˡOSμ̤뤿˰ʲε§˽äRKBϵҤʤФʤ


 "rule::" ˡŪ롼򼨤ȤƤΥ롼Ƭդ롣
 ":-begin_fact." ȤϿOSὸľ˵Ҥ롣
 ":-end_fact." ȤϿOSὸľ˵Ҥ롣
 ʳطμȤߤʤ롣

ǸˡRKBǤϥ֥ȻظΥޥɽˡǧƤ롣ɽΥ
åBNFɽˡѤưʲ롧

  <Macro-Term> ::= <Variable> ":" <Sort> "(" <Attr-List> ")"
  <Attr-List> ::= <Attr-List> "," <Attr> | <Attr>
  <Attr> ::= <Role> "->" <Macro-Term>
  <Macro-Fact> ::= "object::" <Ground-M-Term> "."
  <Ground-M-Term> ::= <Constant> ":" <Sort> "(" <Ground-A-List> ")"
  <Ground-A-List> ::= <Ground-A-List> "," <G-Attr> | <G-Attr>
  <G-Attr> ::= <Role> "->" <Ground-M-Term>  

   "object::"ΥդϡocҸΰȤŸϿ롣
      ˡξ硢ƥñȤʬ򤵤Ͽ롣Τ
      ˤѿνиǧʤ

嵭ޥŸμ³פϰʲǤ롧

    1) Cl ˥ޥ
    2) Cl  Ǻޥ X:s(s(...,ri ->Mi,...)) Ȥ롣
       ޥʤнλ
    3) Cl  X:s(..., ri ->M,...) ʬ X:s ѴѴ줿
       Clθ ...,ri(X, Mi),... ղäƿClȤ롣
    4) 2)ء


5.3 ղþ

̤ñ "cf([...,p/N,...])" ˡפοȤʤ褦ʽҸpΥꥹȤϿ
뤿Ѥ롣NϰοǤ롣ޤ"rev_info(p1,p2)" p1ȤҸ
p2ȤҸ줬ȿФΰ̣ʸߤطˤĤȤǤ롣ν
äƤʤܥƥǤϤ򻲾ȤˤνҸ롣
ϤޤǤܼˤɬפʾǤꡢGDA䤳˴ŤˡŪܼ
ȤϴطʤղþǤ롣


6. ư꼰

ƥưŪʻ͡ʤ꼰ΤߵҤ롣GDAʬΥ르ꥺ
ʿ7ǯǼ򻲹ͤΤȡ


6.1 ³ե

ܥƥˤˡŪ¸ϰʲΤ褦ʥץǼ¹Ԥ롣

  0)̾αǤϻФ礻ߤȡ롼뤬ʤἺԤ
    뤳Ȥ桼ǧ
  1)ŬѲǽΤˡŪ롼θС桼оݥ롼
  2)ˡŪ롼θ׷ꤷˤꡢˡ׿
    ƳФ뤫롣ƳФ줿硢ˤƳвǤʤʤ
    ˤˤ桼򤹤롣
  3)GDAư򤵤줿¤ͭǽ׻롣
    ׻̡桼Ŭ򤹤롣
  4)⡼ɤ˥桼ڤؤ롣ΤȤꥸʥγǰؤ˲۳ؤ
    ղä졢оݤˡŪ롼뤬ۥȤˤäƽ񤭴롣ʤ
    롼뤬Ʋ롣
  5)⡼ɤΤޤޡ0)Ʊ碌ԤȡŬѤʤ
    롣


6.2 ŬѲǽθ

ϥȤΥ̵ʤ٤ƥȥåץȤȤߤʤˤ뤳Ȥˤä
뤬Ȥͭˤȥȡ˥եμ
ˤƳФԤĴ٤롣ΤȤˡŪ롼ΥȤ̵뤹뤳
ΤǤСƲ[Haraguchi95]ˤŬѤˤäƲ
ǽΤˡŪ롼ȤȤˤʤ롣꼰[Haraguchi95]򻲾ȤΤȡ


6.3 ˡΧŪƳ

ˡ׿θˡˤĤƽҤ٤롣ˡΧ롼ϤΥ롼뤬ʤȡä
ȡˡפοˤ뤫ꤵ줿ȹͤ뤳ȤǤ롣Τ褦ʲ
ΩĻĤޤꤽΥ롼뤬ꤹʤĤޤ롼ɽˤȡ
ΤȤ롼θ̤ʤꤵ˾硢طμɤΤ褦ˡ׿
ƳФΤĴ٤ƤߤС롼ˤäƤοǤ
뤳ȤǽǤɡ롼򤽤֤ơƳФ
뤬ˡ׿֤Ǥ롣ȡ롼 X(...,Ci,...) Ȥ
طμTȤȡ

              T  {X}  {...,Ci,...} |- G

ʤG롣ΤȤT |- G' ʤ G' ϽޤGϤ餫ղþ
Ȥƥ桼ˤä줿 cf([...,p/N,...]) νҸpˤ르Ǥʤ
Фʤʤ

ºݤˤϡܥƥǤ򰷤äƤʤᡢXϡ桼ˤäղþ
ȤͿ줿rev_info(p1,p2)εҤ˽XҸp1ƤСXȤƤϤ
Ҹp2֤Ѥ롣


6.4 GDA꼰

GDA꼰ˤĤƴñ˼S򥽡ȽȤȤ:S
|-> S'򥽡ȼȸƤ֡ǡS'S˸ʤȤνǤ롣դˤ
ơa,bSΤȤ(a)=(b)ǤȤabɽabƤȸ
֡ǽʦդSβǽʬȰабƤ롣ǽʦդŬڤʦդ
GDA˵ब[Kakuta97]Ƥ졢ܥƥ⤳ε˴ŤƤ롣
^{-1}ʥƥʸΤLaTeXɽ˽äˤsSˤäơʲΤ褦
롣

               ^{-1}(s)={x|(x)=(s)}

̣ŪˤϡI((s))= _{i^{-1}(s)} I(i) Ǥ롣ɡդ˴ؤss'
ƤʤСs'=<(s)ʤΩġˡդOSLˤܤȤϡʲ
褦롣CؿͳOSLȤȡC˸ƤΥդѿ
C(...,X:s,...)ɽȡ

      (C(...,X:s,...))=  C(...,X:(s),...)

Ǧ(C)롣^{-1}xOSLᡢC'դǼ줿OSLȤȡ

             ^{-1}(C')={x|(x)=C'}

ˤä롣(C)=C'ΤȤCC'ζȸƤӡC'CȸƤ֡

Τ褦ˤ륪ƳФϥȳ(S',=<)βǤΥ
˥եѤƤ롣γؤݴط=<ϡS'°Ƥ륽
γ֤޴طǤ롣(S'ΥȤγ˦(s)ΰ̣
ƴ˽Ҥ٤)

ǡGDA꼰νȤơ르GΡ־Ѥ줿ݴط
Subsum_G ʲΤ褦˹Ԥ

  [1] (Subsum_G)
    TTƳФ르GӤξ

         P= ((G_0,C_0,_0),...,(G_{n-1},C_{n-1},_{n-1}))

    Ϳ줿ȤGξ˻Ѥ줿ݴطνSubsum_GȤȡ
    Subsum_Gϰʲ롣

       Subsum_G= { [x_i]=<[x] | x  t_i }

    0in ȤPγiˤơG_iϥᡢC_iᡢ
    Ӧ_iɽޤǤ[t]ϹtΥȤɽxt
    ѿxعtɽ魯

ˡŬڤ򤹤뤿δʲ롣

   [2] (Ŭڤ)
     ʥȼ˦դͿ졢OSLΰTǰؤ=(S,=<)
     Ȥ˾ޤʤ֤ɽ魯OSLG롼R=(AB_1,...,B_n)
     Ȥ롣ˡ

            SortAbs_{}(T)= { c' | F^{-1}(C')  T|- F  }

     ȤȡդϲξȤG_R˴ؤŬڤǤ
     

       زǽ:

                     (Proof_G)  SortAbs_{}(T)

              T{A,B_1,...,B_n} |- G ˤὸI
              ȡProof_G= IT Ǥ롣

       ݴط¸:

                    (Subsum_G)  SubsumAbs_{}()

               Gξ˻Ѥ줿ݴطνSubsum_GȤ
                 SubsumAbs_{}()=
                     { a'=<b' |
                      A^{-1}(a') B^{-1}(b')   |= (A=<B) }
               Ȥ롣 

ϡGDAȤߤΥǤˤʤäƤ롣ȤҸ
ΰ̣餽ݴطްդѴСꥸʥGDA򥽡ȽҸ˸
ƹԤäƤ뤳Ȥˤʤ롣ꥸʥGDAȤϡѤ줽
Ƥݲ¸뤳Ȥ׵ᤷܥƥȤߤǤϡ˼º
Ѥ줿ȥݴطΤߤ¸뤳ȤƤǤ뤬
ܼŪȯۤƱǤ롣

ʤRFCݲˤä¸뤳ȤबʲǤ롣VRPȸƤ֡
ܥƥǤϥ֥Ȥι¤¸Ѥ뤫ݤȤץ
ȤѤǤ롣ŪƱʬɽΤĤ
Τǡꤹй®˹׸Ǥ롣

   [3] (VRP)
      Gȳئ=(S,=<)RFCνVRGξ˽и
      뽸RͿ줿Ȥ롣ΤȤʥȼ˦դ
      ¸(VRP)ɬ׽ʬϡǤդΥs1,s2S
      ФơʲξǤ롧

         (s1)=(s2)ʤСơrRˤĤơ

                 s_1'mlb_{}(fil(r,s1)) s_2'mlb_{}(fil(r,s2))
                                 (s1')=(s_2')

          ޤϡ

                  fil(r,s1)=fil(r,s2)= {}

          ǡfil(r,si)={s'|si=<s*  (r: s* -> s')VR}Ǥꡢ
          mlb_{}(E)={s'S|s'=<βǥȽEζ粼}Ǥ롣


6.5 ƲȱѤ

Ф줿ϥȽʬȤɽƤ롣ǲ
ȼʤΤǡΥȼˤäơȳؾ˦դǼ
벾ۥȤղä^{-1}γƥȤξ̳ǰȤƥ󥯤롣ˡ
оݥ롼γΥȤ򤽤β۾̥Ȥ֤롣̾OSL
ƳФԤиμФƤ¹ԤΤƱη̤롣Ʋ
ѤˤĤƤ[Haraguchi95]򻲾ȤΤȡ


7. ʸ

Haraguchi, M. (1995) "A Reasoning System for Legal Analogy", Machine 
Intelligence, Vol.14.

Kakuta, T., Haraguchi, M. and Okubo, Y. (1996) "Legal Reasoning by Structural 
Analogy Based on Goal-Dependent Abstraction", Legal Knowledge Based Systems 
(Proceedings of JURIX'96 ), 111--121.

Kakuta, T., Haraguchi, M. and Okubo, Y. (1997) "A goal-dependent abstraction 
for legal reasoning by analogy", Journal of Artificial Intelligence and Law 5:
97--118, Kluwer Academic Publishers.

Kakuta, T. and Haraguchi, M. (1998) "An Actual Application of an Analogical 
Legal Reasoning System Dependent on Legal Purposes", Legal Knowledge Based 
Systems (Proceedings of JURIX'98).

Nebel, B. (1990) Reasoning and Revision in Hybrid Representation Systems,
Springer LNAI 422.

Okubo, Y. and Haraguchi, M. (1994) "Construction of Predicate Mappings for 
Goal-Dependent Abstraction", Algorithmic Learning Theory '94, 516--531,
Springer LNAI 872.

==============================================================================
                                                  (̳ƻ ˡ)
                                              E-mail:kaku@juris.hokudai.ac.jp
                                           Copyright (C) 1999 Tokuaysu KAKUTA
