A New Foundation For Knowledge Systems

Abstract

We propose mathematical foundations for knowledge systems based on the notion of effectively presented domain. The paper aims to give a schematic model for computer's behavior in changing information environment. In this paper, we focus on computational resources rather than on computer's particular actions.

Keywords

• multiple valued logic
• partial recursive function
• semantic domain
• continuous operation
• epistemic state