A symbolic representation of trascendental logic using Z language and its role in knowledge base systems

摘要

In this article, a fundamental symbolization of Kant's trascendental logic is given using Z language. It is shown that a specification software tool like Z language can be used to represent the first division of Kant's trascendental logic called transcendental analytics. This representation led to the development of an epistemologicla technique to represent knwoledge based on Kant theory of knowledge and context-free grammars. Based on Kant's theory, a derivation of Modal Logic is given using the proposed Z language method. Moreover, it is shown that Kant's trascendental analytics can be a promising method to advance the current AI research efforts on global ontology and in semantic information systems via production rules.