Research on Formal Semantics with Networks

This paper introduces 4 kinds of formal semantics which are elicited from prevailing formal languages in web and are different from the traditional formal semantics theories. We provide network computation models for each kind of semantics that are isomorphism to the problems. We believe the networks work in the way close at some human intelligence.