%%%
%%% Copyright (C) 1997  ɓMN
%%%
%%%         CONCEPT-LR


CONCEPT-LR ̎gp(ސɂwK)
-----------------------------------

  mx[XɉĂȂԂCeƕeCƕꌢ̊TO
ΉCꌢ̊TOwKꍇ̗D̗͂܂Œmx[X
łꍇ̎sʂłCmx[XłȂꍇ͈قȂ
\ɂȂꍇD

ސɂwKs߂ɂ́Cmx[XɕKvȊTO`ĂKv
D̂߁C̗ł͂܂KvȊTOA[IwKpčsĂD

̗ł́Ceƕe̊TOCƕꌢ̊TOΉĂCeƕe
ƕ̊TOmŕꌢ̊TOmłꍇɕꌢ̒`ސɂ
ĂD̂悤ɁCސ́C4̊TOΉĂCɂ
TÔ3m1m̏ꍇɓKpłD

 e(V1,V2)j(V1),e(V1,V2)  (V1,V2)(V1),e(V1,V2)

 e(V1,V2)(V1),e(V1,V2)  ꌢ(V1,V2)       H

̂悤ȏꍇɊwK邽߂ɂ́C܂Ceƕ̂悤ɁCm̑Ή
q2͂D̍ہCê悤ɑΉqꂪǂmł
悤ȏqɁĈ悤ɑΉq̕Еm̏qɓ͂D
ƁCCONCEPT-LR ͂2̏q̑ΉƂDɁCcm̏q
Ɩm̏qꂼ͂DƁCIɑΉƂC
ΉӂɌ܂Η̂悤ɐ߂wKCސɂwK͏ID
܂CΉӂɌ܂Ȃꍇ́CCONCEPT-LR ͐߂߂邽߂
񎦂̂ŁC̐^U͂ΐ߂wKD

||||||||||||||||||||||||||||||
% conceptlr

yCONCEPT-LRz
mVXej[n
1 : VXȅI
2 : m̍XV
3 : A[IwK
4 : ސɂwK
[1 - 4] H@2

mm̍XVn
1 : m̍XV̏I
2 : ̈
3 : q̃^Cvt
4 : ċAIf[^\
5 : m
[1 - 5] H@2

`̈於͂ĂB
? man

萔͂ĂB
? Y
? 
? 

֐͂ĂB
? 

man ̈͂̕ĂB
? 


`̈於͂ĂB
? woman

萔͂ĂB
? a
? mq
? 

֐͂ĂB
? 

woman ̈͂̕ĂB
? 


`̈於͂ĂB
? human

萔͂ĂB
? 

֐͂ĂB
? 

human ̈͂̕ĂB
? man
? woman
? 


`̈於͂ĂB
? male_dog

萔͂ĂB
? N
? bL[
? 

֐͂ĂB
? 

male_dog ̈͂̕ĂB
? 


`̈於͂ĂB
? female_dog

萔͂ĂB
? V
? `r
? 

֐͂ĂB
? 

female_dog ̈͂̕ĂB
? 


`̈於͂ĂB
? dog

萔͂ĂB
? 

֐͂ĂB
? 

dog ̈͂̕ĂB
? male_dog
? female_dog
? 


`̈於͂ĂB
? 

mm̍XVn
1 : m̍XV̏I
2 : ̈
3 : q̃^Cvt
4 : ċAIf[^\
5 : m
[1 - 5] H@3

q̑ΏۂƂ̈掦ĂB
? j(man)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 1

q̑ΏۂƂ̈掦ĂB
? (woman)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 1

q̑ΏۂƂ̈掦ĂB
? e(human,human)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 1


q̑ΏۂƂ̈掦ĂB
? e(man,human)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 2


q̑ΏۂƂ̈掦ĂB
? e(woman,human)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 2

q̑ΏۂƂ̈掦ĂB
? (male_dog)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 1

q̑ΏۂƂ̈掦ĂB
? Č(female_dog)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 1

q̑ΏۂƂ̈掦ĂB
? e(dog,dog)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 1

q̑ΏۂƂ̈掦ĂB
? (male_dog,dog)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 2

q̑ΏۂƂ̈掦ĂB
? ꌢ(female_dog,dog)

q̎ނ͂ĂB
1 :  
2 : ċAIȊTO
3 : ċAIȊTO
[1 - 3] ? 2

q̑ΏۂƂ̈掦ĂB
? 

mm̍XVn
1 : m̍XV̏I
2 : ̈
3 : q̃^Cvt
4 : ċAIf[^\
5 : m
[1 - 5] H@1

m̍XV[hI܂B

mVXej[n
1 : VXȅI
2 : m̍XV
3 : A[IwK
4 : ސɂwK
[1 - 4] H@3

*͂Ă ? j(Y)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 j(Y) ɂĈʉɂwKs܂B

j(Y)f[^x[Xɒǉ܂B

*͂Ă ? j()
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 j() ɂĈʉɂwKs܂B

j()f[^x[Xɒǉ܂B

*͂Ă ? (a)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 (a) ɂĈʉɂwKs܂B

(a)f[^x[Xɒǉ܂B

*͂Ă ? (mq)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 (mq) ɂĈʉɂwKs܂B

(mq)f[^x[Xɒǉ܂B

*͂Ă ? e(Y,)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(Y,) ɂĈʉɂwKs܂B

e(Y,)f[^x[Xɒǉ܂B

*͂Ă ? e(Y,mq)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(Y,mq) ɂĈʉɂwKs܂B

e(Y,mq)f[^x[Xɒǉ܂B

*͂Ă ? e(a,)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(a,) ɂĈʉɂwKs܂B

e(a,)f[^x[Xɒǉ܂B

*͂Ă ? e(a,mq)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(a,mq) ɂĈʉɂwKs܂B

e(a,mq)f[^x[Xɒǉ܂B

*͂Ă ? (N)
*̐^l(true or false) ? ture

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 (N) ɂĈʉɂwKs܂B

(N)f[^x[Xɒǉ܂B

*͂Ă ? (bL[)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 ('bL[') ɂĈʉɂwKs܂B

('bL[')f[^x[Xɒǉ܂B

*͂Ă ? Č(V)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 Č(V) ɂĈʉɂwKs܂B

Č(V)f[^x[Xɒǉ܂B

*͂Ă ? Č(`r)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 Č('`r') ɂĈʉɂwKs܂B

Č('`r')f[^x[Xɒǉ܂B

*͂Ă ? e(N,bL[)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(N,'bL[') ɂĈʉɂwKs܂B

e(N,'bL[')f[^x[Xɒǉ܂B

*͂Ă ? e(N,`r)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(N,'`r') ɂĈʉɂwKs܂B

e(N,'`r')f[^x[Xɒǉ܂B

*͂Ă ? e(V,bL[)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(V,'bL[') ɂĈʉɂwKs܂B

e(V,'bL[')f[^x[Xɒǉ܂B

*͂Ă ? e(V,`r)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(V,'`r') ɂĈʉɂwKs܂B

e(V,'`r')f[^x[Xɒǉ܂B

*͂Ă ? e(Y,)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(Y,) ɂĈʉɂwKs܂B

e(Y,) ɑ΂鐳͎̐߂łB

e('V1','V2') 
     j('V1'),
     e('V1','V2').

ꂩ߂̈ʉs܂B
{j('V1')}ɑ΂ʉɂĒׂ܂B
*e(a,) ͐łB(yes or no) ? no
{j('V1')}ɑ΂Ă͈ʉs܂B

݂̉ {e('V1','V2')} ɑ΂Ĉʉ߁@

e('V1','V2') 
     j('V1').

ɂ̓{fBɏoȂϐ {'V2'}݂̂ňʉ܂B

ȏʉł܂B
e/2̒`ƂĎ̐߂f[^x[Xɒǉ܂B

e('V1','V2') 
     j('V1'),
     e('V1','V2').

*͂Ă ? e(a,)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 e(a,) ɂĈʉɂwKs܂B

e(a,) ɑ΂鐳͎̐߂łB

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

ꂩ߂̈ʉs܂B
{('V1')}ɑ΂ʉɂĒׂ܂B
*e(Y,) ͐łB(yes or no) ? no
{('V1')}ɑ΂Ă͈ʉs܂B

݂̉ {e('V1','V2')} ɑ΂Ĉʉ߁@

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

ɂ̓{fBɏoȂϐ {'V2'}݂̂ňʉ܂B

ȏʉł܂B
e/2̒`ƂĎ̐߂f[^x[Xɒǉ܂B

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

*͂Ă ? (N,bL[)
*̐^l(true or false) ? true

Ⴊf[^x[X̂ƂŋUƉ߂Ă܂܂B
ꂩ琳 (N,'bL[') ɂĈʉɂwKs܂B

(N,'bL[') ɑ΂鐳͎̐߂łB

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


ꂩ߂̈ʉs܂B
{('V1')}ɑ΂ʉɂĒׂ܂B
*(V,'bL[') ͐łB(yes or no) ? no
{('V1')}ɑ΂Ă͈ʉs܂B

݂̉ {e('V1','V2')} ɑ΂Ĉʉ߁@

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

ɂ̓{fBɏoȂϐ {'V2'}݂̂ňʉ܂B

ȏʉł܂B
/2̒`ƂĎ̐߂f[^x[Xɒǉ܂B

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

*͂Ă ? 

A[IwK[hI܂B

mVXej[n
1 : VXȅI
2 : m̍XV
3 : A[IwK
4 : ސɂwK
[1 - 4] H@4

Ή֌Ŵ2̏q(qꖼ/̐)͂ĂB
q 1 ̏qꖼ ? e
̐ ? 2
q 2 ̏qꖼ ? 
̐ ? 2

e/2ƕ/2

e/2̐ :

e('V1','V2') 
     j('V1'),
     e('V1','V2').

/2̐ :

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

e/2ƕ/2Ήt܂B
j/1Ɖ/1Ήt܂B
e/2Ɛe/2Ήt܂B

e/2ɑΉɊwKĂq̖O͂ĂB
qꖼ? e
̐ ? 2

/2ɑΉ܂wKĂȂq̖O͂ĂB
qꖼ? ꌢ
̐ ? 2

e/2ƕe/2

e/2̐ :

e('V1','V2') 
     j('V1'),
     e('V1','V2').

e/2̐ :

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

e/2ƕe/2Ήt܂B
j/1Ə/1Ήt܂B

e/2ƕ/2̑Ή֌Wp
e/2̒`ꌢ/2̒`ސ܂B

e('V1','V2')̐߂̊eqɑ΂ėގ֌Wq߂܂B

('V1')ɑΉq̌ : 
    Č('V1').

e('V1','V2')ɑΉq̌ : 
    e('V1','V2').

qe/2ɐ߂̍\Ɋւėގqꌢ/2`߂͎̌̒ʂłB

ꌢ('V1','V2') 
     Č('V1'),
     e('V1','V2').

ꂩ̐߂𖞑邩؂Ă܂B

ŌɎc

ꌢ('V1','V2') 
     Č('V1'),
     e('V1','V2').

TOf[^x[Xɒǉ܂B

Ή֌Ŵ2̏q(qꖼ/̐)͂ĂB
q 1 ̏qꖼ ? 

ސɂwK̃[hI܂B

mVXej[n
1 : VXȅI
2 : m̍XV
3 : A[IwK
4 : ސɂwK
[1 - 4] H@1

VXeIĂłB
(yes or no) ? yes

wKVXeI܂B

%
|||||||||||||||܂Ł|||||||||||||||
