A funtadamental study on graph transforamtion systems with relational calculus

点击翻译按钮获取中文摘要

This reseach project obtained the following results :・We developed an axiomatic formalisation of fuzzy relation algebras as a foundation of fuzzy relational calculus. By using the formalisation we generalized the representation problem for relation algebras, due to A.Tarski, to a representation problem for Dedekind and Zadeh categories, and we gave proofs of the representation problem for Dedekind and Zadeh categories.・We proposed a new matching method for fuzzy graphs in a theory of fuzzy graph transformations based on fuzzy relational calculus. Then we proved the existence of pullbacks in a category of fuzzy graphs, which gurantees the foundation for pullback graph transformations.・We invented relational set theory as an important foundation for graph transformations as well as mathematics and theoretical computer science. Also, we investigated its applications from a quite wide view.・The detailed summary of this reseach project is described in the report of the reseach project (booklet), printed in Department of Informatics, Kyushu University. The head investigator, on behalf of investigators of the project, is grateful for giving the financial suport.