Unifying Logic, Topology and Learning in Parametric Logic

Martin, Eric, Sharma, Arun, & Stephan, Frank (2006) Unifying Logic, Topology and Learning in Parametric Logic. Theoretical Computer Science, 350(1), pp. 103-124.

View at publisher

Abstract

Many connections have been established between learning and logic, or learning and topology, or logic and topology. Still, the connections are not at the heart of these fields. Each of them is fairly independent of the others when attention is restricted to basic notions and main results. We show that connections can actually be made at a fundamental level, and result in a logic with parameters that needs topological notions for its early developments, and notions from learning theory for interpretation and applicability.

One of the key properties of first-order logic is that the classical notion of logical consequence is compact. We generalize the notion of logical consequence, and we generalize compactness to β-weak compactness where β is an ordinal. The effect is to stratify the set of generalized logical consequences of a theory into levels, and levels into layers. Deduction corresponds to the lower layer of the first level above the underlying theory, learning with less than β mind changes to layer β of the first level, and learning in the limit to the first layer of the second level. Refinements of Borel-like hierarchies provide the topological tools needed to develop the framework.

Impact and interest:

4 citations in Scopus
Search Google Scholar™
4 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 22831
Item Type: Journal Article
Refereed: Yes
Keywords: Inductive Logic; Inductive Inference; Borel and Difference Hierarchies; Weak Forms of Compactness
DOI: 10.1016/j.tcs.2005.10.018
ISSN: 0304-3975
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Deposited On: 17 Jun 2009 13:25
Last Modified: 29 Feb 2012 13:30

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page