抄録
ある領域で成り立つ性質が他の領域に伝播するような事象に対する推論方法を述べる．SRCCは，定性空間推論の代表的な算法であるRCCを拡張し，空間的な関係だけでなく空間に埋め込まれた属性もあわせて扱えるようにしたものである．本論文では，SRCCで記述された二つの領域上で成り立つ属性とそれらの相関関係からこれらの領域間に成り立つべき位置的な関係を求めるアルゴリズムを示す．このアルゴリズムを使って，いくつかのSRCCの式が成り立っている位相空間に新しい領域を導入するときに導入場所を決定することができる．本論文では汚染物質の伝播問題を使ってこの応用を示す．
