%%% 
%%% Copyright (C) 1997  ƣ
%%%
%%%         CONCEPT-LR


CONCEPT-LR λ(ǼŪؽ)
-------------------------------

  μ١˲äƤʤ֤顤Ƥγǰؽ
Ϥޤμ١Ǥμ¹Է̤Ǥꡤμ١
Ǥʤϰۤʤɽˤʤ礬롥

ؽԤΰŪʼȤƤϡΤ褦ˡ
ޤؽԤоݤȤʤΰΰμϡפǻꤷؽԤ
ҸȤΤɬפʽҸоݤȤΰֽҸΥդ
ǻꤹ롥ɬפʤСֺƵŪǡ¤פμפϤ롥
ˡؽΤطμȤʤ¤ֵǼŪؽפˤϤ롥
ǸˡؽҸֵǼŪؽפˤؽפǳؽ롥

ݡݡݡݡݡݡݡݡݡݡݡݡݡݡݤݡݡݡݡݡݡݡݡݡݡݡݡݡݡ
zeus% conceptlr



CONCEPT-LR
Υƥ˥塼
1 : ƥνλ
2 : μι
3 : ǼŪؽ
4 : ˤؽ

[1 - 4] 2


μι
1 : μινλ
2 : ΰ
3 : ҸΥդ
4 : ƵŪǡ¤
5 : μ

[1 - 5] 2

ΰ̾ϤƤ

? human

ϤƤ

? Ϻ
? 
? 
? λ
? 

ؿϤƤ

? 

human ʬΰϤƤ

? 


ΰ̾ϤƤ

? 
μι
1 : μινλ
2 : ΰ
3 : ҸΥդ
4 : ƵŪǡ¤
5 : μ

[1 - 5] 3

ҸоݤȤΰ輨Ƥ

? (human)
ҸμϤƤ

1 :  
2 : ƵŪʳǰ
3 : ƵŪʳǰ

[1 - 3] ? 1


ҸоݤȤΰ輨Ƥ

? (human)
ҸμϤƤ

1 :  
2 : ƵŪʳǰ
3 : ƵŪʳǰ

[1 - 3] ? 1


ҸоݤȤΰ輨Ƥ

? (human,human)
ҸμϤƤ

1 :  
2 : ƵŪʳǰ
3 : ƵŪʳǰ

[1 - 3] ? 1


ҸоݤȤΰ輨Ƥ

? (human,human)
ҸμϤƤ

1 :  
2 : ƵŪʳǰ
3 : ƵŪʳǰ

[1 - 3] ? 2


ҸоݤȤΰ輨Ƥ

? 
μι
1 : μινλ
2 : ΰ
3 : ҸΥդ
4 : ƵŪǡ¤
5 : μ

[1 - 5] 1



μι⡼ɤλޤ


Υƥ˥塼
1 : ƥνλ
2 : μι
3 : ǼŪؽ
4 : ˤؽ

[1 - 4] 3


*ϤƤ ? (Ϻ)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (Ϻ) ˤĤư̲ˤؽԤޤ

(Ϻ)ǡ١ɲäޤ

*ϤƤ ? ()
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 () ˤĤư̲ˤؽԤޤ

()ǡ١ɲäޤ

*ϤƤ ? ()
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 () ˤĤư̲ˤؽԤޤ

()ǡ١ɲäޤ

*ϤƤ ? (λ)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (λ) ˤĤư̲ˤؽԤޤ

(λ)ǡ١ɲäޤ

*ϤƤ ? (Ϻ,)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (Ϻ,) ˤĤư̲ˤؽԤޤ

(Ϻ,)ǡ١ɲäޤ

*ϤƤ ? (Ϻ,λ)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (Ϻ,λ) ˤĤư̲ˤؽԤޤ

(Ϻ,λ)ǡ١ɲäޤ

*ϤƤ ? (,)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (,) ˤĤư̲ˤؽԤޤ

(,)ǡ١ɲäޤ

*ϤƤ ? (,λ)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (,λ) ˤĤư̲ˤؽԤޤ

(,λ)ǡ١ɲäޤ

*ϤƤ ? (Ϻ,)
*ο(true or false) ? true

㤬ǡ١ΤȤǵȲ
                      Ƥޤޤ
줫 (Ϻ,) ˤĤư̲ˤؽԤޤ


(Ϻ,) ФϼǤ

('V1','V2') 
     ('V1'),
     ('V2'),
     ('V1','V2').


줫ΰ̲Ԥޤ
{('V1')}Ф̲ˤĤĴ٤ޤ
*(,) Ǥ(yes or no) ? no
{('V1')}ФƤϰ̲Ԥޤ

{('V2')}Ф̲ˤĤĴ٤ޤ
*(Ϻ,λ) Ǥ(yes or no) ? yes
ΰ̲줿򿷤Ȥޤ

('V1','V2') 
     ('V1'),
     ('V1','V2').

ߤβ {('V1','V2')} Фư̲ᡡ

('V1','V2') 
     ('V1').

ˤϥܥǥ˽иʤѿ {'V2'}¸ߤΤǰ̲ޤ

ʾ̲Ǥޤ
/2ȤƼǡ١ɲäޤ


('V1','V2') 
     ('V1'),
     ('V1','V2').

*ϤƤ ? 

ǼŪؽ⡼ɤλޤ


Υƥ˥塼
1 : ƥνλ
2 : μι
3 : ǼŪؽ
4 : ˤؽ

[1 - 4] 1

ƥλƤ⤤Ǥ

(yes or no) ? yes

ؽƥλޤ

zeus% 
ݡݡݡݡݡݡݡݡݡݡݡݡݡݡݤޤǡݡݡݡݡݡݡݡݡݡݡݡݡݡݡ
