MATHEMATICAL FRAMEWORK FOR GENERALIZATION AND INSTANTIATION OF KNOWLEDGE

Marek Reformat

2007

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.

References

  1. Barr, M. and Wells, C. (1999). Category Theory for Computing Science. Les Publications CRM, Montreal.
  2. Fiadeiro, J. L. (2005). Categories for Software Engineering. Springer-Verlag, Berlin.
  3. Jacobs, B. (2001). Categorical Logic and Type Theory. Elsevier, Amsterdam.
  4. Kacprzyk, J. and Zadrozny, S. (2005). Linguistic database summaries and their protoforms: towards natural language based knowledge discovery tools. In Information Sciences, volume 173, pages 281-304.
  5. Kestrel Institute (2004). Specware 4.1 User's Manual. Kestrel Development Corp., Palo Alto, California.
  6. Yager, R. R. (2006). Knowledge trees and protoforms in question answering systems. In Journal of the American Society for Information Sciences.
  7. Zadeh, L. A. (2002). A prototype-centered approach to adding deduction capabilities to search engines - the concept of a protoform. In BISC Seminar, University of California, Berkeley.
Download


Paper Citation


in Harvard Style

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


in Bibtex Style

@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 1: ICSOFT,},
year={2007},
pages={249-254},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001344802490254},
isbn={978-989-8111-05-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: 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