Author:
Marek Reformat
Affiliation:
University of Alberta, Canada
Keyword(s):
Knowledge representation, protoforms, instances, category theory, fibration, abstract data types.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation
;
Knowledge-Based Systems
;
Symbolic Systems
Abstract:
Abstract data types. abstract:Templates, patterns, and blueprints are constructs that humans use to represent highly abstract knowledge. Quality of such processes as reasoning, speaking, running, and driving depends on people’s abilities to process these constructs. Recently, they have been named protoforms. On the other hand, concrete pieces of knowledge can be seen as instances of the protoforms. A very important task is to find mechanisms that will be able to organize and control protoforms and their instances. They would provide methods for defining properties of protoforms and their instances, describing their interactions, and controling ways how they can be merged. The paper describes a concept of applying category theory to describe protoforms and their instances in a more formal way.