Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments
- Joseph Kiniry
- Electr. Notes Theor. Comput. Sci.
Kind theory is a logic for describing and reasoning about structured knowledge in communities. It provides a formal framework for describing, finding, customizing, composing, and reasoning about structured domains, such as those of software and mathematics. A wiki web-based asset repository called the “Jiki” has been created that provides a simple interface to interacting with reusable artifacts while avoiding any exposure of its theoretical or technical underpinnings. This paper summarizes kind theory and its use in the Jiki for distributed knowledge capture.