The first-order logical environment

DOI10.1007/978-3-642-35786-2_15MaRDI QIDQ5507381zbMATH OpenOpenAlexFDO

Publication date 19 December 2016

Published in Conceptual Structures for STEM Research and Education (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.5240

logical environment schema specification structure

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Abstract: This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a rigorous and principled approach to distributed interoperable information systems via system consequence. Since FOLE is a particular logical environment, this provides a rigorous and principled approach to distributed interoperable first-order information systems. The FOLE represents the formalism and semantics of first-order logic in a classification form. By using an interpretation form, a companion approach defines the formalism and semantics of first-order logical/relational database systems. In a strict sense, the two forms have transformational passages (generalized inverses) between one another. The classification form of first-order logic in the FOLE corresponds to ideas discussed in the Information Flow Framework (IFF). The FOLE representation follows a conceptual structures approach, that is completely compatible with formal concept analysis and information flow.

Recommendations

Cited in

(1)

Executable first-order queries in the logic of information flows

This page was built for publication: The first-order logical environment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5507381)