Patterns on data described by vague limits, vague colimits and vague commutativity

The development of machine learning in particular and artificial intelligent in general has been strongly conditioned by the lack of an appropriated framework to specify and integrate learning processes, data transformation processes and data models. In this work we extend traditional algebraic specification methods to this type of framework. Limits and colimits of diagrams are universal constructions fundamental in different mathematical domains importance in semantic modeling. The aim of our work is to study the possibility of extending these algebraic frameworks to the specification of vague structures and to the description of vague patterns on data.

[1]  Dominic R. Verity,et al.  ∞-Categories for the Working Mathematician , 2018 .

[2]  I. Stubbe.  CATEGORICAL STRUCTURES ENRICHED IN A QUANTALOID: CATEGORIES, DISTRIBUTORS AND FUNCTORS , 2004, math/0409473.

[3]  Zinovy Diskin,et al.  Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design , 1997 .

[4]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[5]  Christopher M. Bishop,et al.  Neural Network for Pattern Recognition , 1995 .

[6]  Thomas Gärtner,et al.  Kernels and Distances for Structured Data , 2004, Machine Learning.

[7]  J. Adámek,et al.  Locally Presentable and Accessible Categories: Bibliography , 1994 .

[8]  Jaime G. Carbonell,et al.  Machine learning: a guide to current research , 1986 .

[9]  Andre Scedrov,et al.  Categories, allegories , 1990, North-Holland mathematical library.

[10]  Wan Ahmad Tajuddin Wan Abdullah,et al.  The Logic of Neural Networks , 1993 .

[11]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[12]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[13]  Graham Hutton,et al.  Categories, allegories and circuit design , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[14]  Juan Luis Castro Peña,et al.  The logic of neural networks , 1998 .

[15]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[16]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[17]  Michael Makkai,et al.  Accessible categories: The foundations of categorical model theory, , 2007 .

[18]  F. Borceux.  Handbook Of Categorical Algebra 1 Basic Category Theory , 2008 .

[19]  Alan Jeffrey,et al.  Allegories of Circuits , 1994, LFCS.

[20]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[21]  Frank Piessens,et al.  What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations , 1999, Behavioral Specifications of Businesses and Systems.

[22]  Frank Piessens,et al.  Humans, Computers, Specifications: The Arrow Logic of Information Systems Engineering , 1999 .

[23]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.