Basic idea of an partitioned nets is to break network into spaces which consist of groups of nodes and arcs and regard each space as a node.

Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks

Topics include: Knowledge and Reasoning, Inference in First-Order Logic, Rule Based System , Semantic Net, Frames, Unification and Lifting.