loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Marek Reformat

Affiliation: University of Alberta, Canada

ISBN: 978-989-8111-05-0

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.81.29.226

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Reformat M. and (2007). MATHEMATICAL FRAMEWORK FOR GENERALIZATION AND INSTANTIATION OF KNOWLEDGE.In Proceedings of the Second International Conference on Software and Data Technologies - Volume 3: ICSOFT, ISBN 978-989-8111-05-0, pages 249-254. DOI: 10.5220/0001344802490254

@conference{icsoft07,
author={Marek Reformat},
title={MATHEMATICAL FRAMEWORK FOR GENERALIZATION AND INSTANTIATION OF KNOWLEDGE},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 3: ICSOFT,},
year={2007},
pages={249-254},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001344802490254},
isbn={978-989-8111-05-0},
}

TY - CONF

JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 3: ICSOFT,
TI - MATHEMATICAL FRAMEWORK FOR GENERALIZATION AND INSTANTIATION OF KNOWLEDGE
SN - 978-989-8111-05-0
AU - Reformat, M.
PY - 2007
SP - 249
EP - 254
DO - 10.5220/0001344802490254

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.