10 papers · 2 filters
Conceptua: Institutions in a Topos
Robert E. Kent
Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the bas…
The IFF Approach to the Lattice of Theories
Robert E. Kent
The IFF approach for the notion of "lattice of theories" uses the idea of a concept lattice from Formal Concept Analysis (Ganter and Wille) and the idea of the truth classification…
Semantic Integration in the Information Flow Framework
Robert E. Kent
The Information Flow Framework (IFF) is a descriptive category metatheory currently under development, which is being offered as the structural aspect of the Standard Upper Ontolog…
The Institutional Approach
Robert E. Kent
This chapter discusses the institutional approach for organizing and maintaining ontologies. The theory of institutions was named and initially developed by Joseph Goguen and Rod B…
Introduction to Dialectical Nets
Robert E. Kent
This paper initiates the dialectical approach to net theory. This approach views nets as special, but very important and natural, dialectical systems. By following this approach, a…
Formal Concept Analysis with Many-sorted Attributes
Robert E. Kent, John Brady
This paper unites two problem-solving traditions in computer science: (1) constraint-based reasoning, and (2) formal concept analysis. For basic definitions and properties of netwo…