̏𖞂OtGɂčlB


Gɂparent̂Ȃroot݂B
AOtłB
LOtłB
loop͂ȂB

nm̐êƂ n -> m ƏBnmւpathƂ
n -*-> m ƏB

̃Otnodeɂ́A1̏qꂪ蓖ĂĂB
node n Ɋ蓖ĂĂqn(x)ƏB
root ɂ true̒lƂqtrue(x)蓖ĂĂB

IuWFNg̏W^ꂽƂA̗vf̂
Ot̊enodeɊ蓖Ă邱ƂlB

܂A:G -> 2^́AقȂvfn,mGɑ΂āA(n)(m)=

nodeɊ蓖Ăꂽqɂ́ȀۂĂB

n -> m ̂ƂACӂxɂāAn(x)  m(x) 藧B


̗vf̂́Ȁ𖞂node nɊ蓖ĂB

n()(m n->m  ʃm())


IuWFNgx node n Ɋ蓖ĂĂƂA
root true Anode n ɂ邷ׂẴpX̏Wnɂ

mn m(x)

Cӂnode n  G ɂĎ̐藧

m n-*-> m o (m) n(o)



node ńȀnmȂƂB
ƁAnode n ɉۂconstraint͎̂悤ɂȂB


n(x) = m m-*-> n ȃm(x)
m n-*->m x (m) n(x)


 state lattice
nodestateΉÂĂāAq͂stateQƂłB



object classifier ̒``(lĒ)

(defclass name slot* . category-def*)

category-def = (name . method-def*)

method-def́Amethod`B̖ÓAobject classifierinterface
Č߂ĂB

 - (representation object state)
 - (constraint object state)
 - (relation object state)

 stetéÂ悤class`

(defclass anonymous (classifier-state)  slot* )



(defclass classiifer-state) () ((parent* :initform nil :accessor parent*))

slotśAdefclassifierŎw肳ꂽslot*

constraintf́AobjectɊւ鐧
relatiońApartition tree ɂāAenodeƊԂ̐
representatiońA

