6533b85cfe1ef96bd12bd194
RESEARCH PRODUCT
Are There Essentially Incomplete Knowledge Representation Systems?
Janis Cirulissubject
MorphismTheoretical computer scienceKnowledge representation and reasoningComplete informationComputer scienceMathematics::Category TheoryFuzzy setInformation systemCalculusRepresentation (systemics)Extension (predicate logic)Category theoryFunctional dependencydescription
A mathematical model of a knowledge representation system (KR-system) is proposed. Its prototype is the concept of an information system in the sense of Z. Pawlak; however, the model is, in fact, a substantial extension of the latter. In our model, attributes may form an arbitrary category, where morphisms represent built-in functional dependencies, and uncertainty of knowledge is treated in terms of category theory via monads. Several notions of simulation are also considered for such KR-systems. In this general setting, the semiphilosophical problem mentioned in the title, still open, is given a precise meaning.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2001-01-01 |