A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions: all morphisms have types and the composition ...A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions: all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed: cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.展开更多
This paper proposes a knowledge-scientific approach to evaluation of community service systems from the viewpoints of knowledge creation, consciousness reform, and value co-creation. A concrete example of the commtmit...This paper proposes a knowledge-scientific approach to evaluation of community service systems from the viewpoints of knowledge creation, consciousness reform, and value co-creation. A concrete example of the commtmity service system treated here is an education program for old men to find their reason for living after the retirement. After introducing this program and the traditional evaluation methods for such a program, the paper emphasizes the necessity of developing new evaluation methods for such a community service system based on knowledge science. The paper proposes a new evaluation framework and reports an actual evaluation result using the interview data from participants in that program.展开更多
文摘A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions: all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed: cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.
文摘This paper proposes a knowledge-scientific approach to evaluation of community service systems from the viewpoints of knowledge creation, consciousness reform, and value co-creation. A concrete example of the commtmity service system treated here is an education program for old men to find their reason for living after the retirement. After introducing this program and the traditional evaluation methods for such a program, the paper emphasizes the necessity of developing new evaluation methods for such a community service system based on knowledge science. The paper proposes a new evaluation framework and reports an actual evaluation result using the interview data from participants in that program.