71,236 research outputs found
many sorted algebraic data models for gis
No full textAlthough many GIS data models are available, a declarative,
operational, well-defined, implementation-independent, and objectoriented
language is lacking. Based on the theory of many sorted
algebra, this work presents a family of geometric data models. Some
geographical data models of urban information systems are illustrated
using homomorphism. According to the results, the preferred
characteristics of mixing declarative and operational statements,
multiple representations, tight interdependency among objects, and
integration of vector and raster based systems can be achieved through
this mechanism.
int. j. geographical information science. 1998. vol.12. no. 765-788. 1. many sorted algebraic data models for gis. feng-tyan lin. graduate institute of building & planning. national taiwan. university.. #1. sec
an abductive propositional logic for design reasoning
No full textan abductive propositional logic for design. reasoning. feng-tyan lin. professor. graduate institute of building & planning. national taiwan university. also with (1) department of civil engineering. national taiwan university.Design can be seen as a reasoning process based on non-classic logic, in which non-monotonicity and abduction are two essential features. This paper introduces Abductive Propositional Logic (APL), which is a simple but powerful formal system to deal with these two features. To show its capabilities, APL is used to analyze the reasoning of a conceptual design of a scooter. The results reveal that APL is not only a profound basis for developing computer supported design systems, but also a useful tool for analyzing design processes
- …
