Based on Lukasiewicz's three-valued logic,this paper builds a tri-ary uncertain reasoningmodel,and discusses its some basic properties which shows that it i
In this paper,we discuss two main techniques concerning spatial reasoning in the designfield:representation of spatial relation and method of spatial reasoning.