Proceedings of a tutorial and workshop on Category theory and computer programming
Distributed Artificial Intelligence (Vol. 2)
CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
Basic category theory for computer scientists
Basic category theory for computer scientists
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
Theoretical Computer Science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
An implementation-oriented semantics for module composition
Foundations of component-based systems
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Distributed Conceptual Structures
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Behavioral Verification of Distributed Concurrent Systems with BOBJ
QSIC '03 Proceedings of the Third International Conference on Quality Software
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
An introduction to algebraic semiotics, with application to user interface design
Computation for metaphors, analogy, and agents
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Mechanisms for communication between business and IT experts
Computer Standards & Interfaces
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Constructing geo-ontologies by reification of observation data
Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Hi-index | 0.00 |
The lattice of theories of Sowa and the formal concept analysis of Wille each address certain formal aspects of concepts, though for different purposes and with different technical apparatus. Each is successful in part because it abstracts away from many difficulties of living human concepts. Among these difficulties are vagueness, ambiguity, flexibility, context dependence, and evolution. The purpose of this paper is first, to explore the nature of these difficulties, by drawing on ideas from contemporary cognitive science, sociology, computer science, and logic. Secondly, the paper suggests approaches for dealing with these difficulties, again drawing on diverse literatures, particularly ideas of Peirce and Latour. The main technical contribution is a unification of several formal theories of concepts, including the geometrical conceptual spaces of Gärdenfors, the symbolic conceptual spaces of Fauconnier, the information flow of Barwise and Seligman, the formal concept analysis of Wille, the lattice of theories of Sowa, and the conceptual integration of Fauconnier and Turner; this unification works over any formal logic at all, or even multiple logics. A number of examples are given illustrating the main new ideas. A final section draws implications for future research. One motivation is that better ways for computers to integrate and process concepts under various forms of heterogeneity, would help with many important applications, including database systems, search engines, ontologies, and making the web more semantic.