本研究では，形状の変化に着目した定性空間表現を提案する．生命科学における細胞分裂や臓器形成などの発生過程の中で見られるような形状変化を定性的に表現し，発生生物学への応用を目指す．発生過程の中には，へこみができる，接点ができる，分裂するなどの重要な特徴がみられる．我々はそのような特徴を表現するために，Leytonの提案したProcess-Grammarの拡張を行う．形状を記号で表現し，形状が変化する様子を表す変換規則を形式化することによって，なぜそのような変化が起こるのかについての理由を提示したり，起こりうる変化を推論したりすることが可能である．
