Some results on theory revision

2005 ◽  
pp. 72-92
Author(s):  
Karl Schlechta
Keyword(s):  
Theory Revision

Extending the role of bias in probabilistic theory revision

1994 ◽  
Vol 6 (2) ◽  
pp. 197-214 ◽  
Author(s):  
Ronen Feldman ◽  
Moshe Koppel ◽  
Alberto Segre
Keyword(s):  
Theory Revision ◽  
Probabilistic Theory

On the degeneracy of the full AGM-theory of theory-revision

2006 ◽  
Vol 71 (2) ◽  
pp. 661-676 ◽  
Author(s):  
Neil Tennant
Keyword(s):  
Theory Revision ◽  
Agm Theory ◽  
General Method ◽  
Theory Of Theory

AbstractA general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the AGM-theory of theory-revision.

scholarly journals Logical theory revision through data underdetermination: an anti-exceptionalist exercise

2021 ◽  
Vol 25 (1) ◽  
Author(s):  
Sanderson Molick
Keyword(s):  
Theory Revision ◽  
Scientific Theories ◽  
Logical Theory ◽  
Methodological Choices ◽  
Different Levels ◽  
Logical Data

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of several distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development.

scholarly journals On the metaphysics of (epistemological) logical anti-exceptionalism

2021 ◽  
Vol 25 (1) ◽  
Author(s):  
Evelyn Fernandes Erickson
Keyword(s):  
Scientific Realism ◽  
Theory Revision ◽  
Scientific Theories ◽  
Present Essay

A recent logical anti-exceptionalist trend proposes that logical theories are revisable in the same manner as scientific theories, either on grounds of the method of theory selection or on what counts as evidence for this revision. Given this approximation of logic and science, the present essay analyzes the commitments of both these varieties and argues that, as it currently stands, this kind of anti-exceptionalism is committed to scientific realism, that is, to realism about some unobservable entities evoked in logical theories. The essay argues that anti-exceptionalism cannot be separated into metaphysical and epistemological varieties, and proposed rather to label anti-exceptionalists views either broadly in terms of theory revision, or narrowly in terms of logic’s affinity with science.

scholarly journals Theory revision and probability.

1991 ◽  
Vol 32 (2) ◽  
pp. 307-319 ◽  
Author(s):  
Karl Schlechta
Keyword(s):  
Theory Revision

New techniques and completeness results for preferential structures

2000 ◽  
Vol 65 (2) ◽  
pp. 719-746 ◽  
Author(s):  
Karl Schlechta
Keyword(s):  
Preference Relation ◽  
Algebraic Approach ◽  
Theory Revision ◽  
Main Interest ◽  
New Techniques ◽  
Natural Approach

AbstractPreferential structures are probably the best examined semantics for nonmonotonic and deontic logics: in a wider sense, they also provide semantical approaches to theory revision and update, and other fields where a preference relation between models is a natural approach. They have been widely used to differentiate the various systems of such logics, and their construction is one of the main subjects in the formal investigation of these logics. We introduce new techniques to construct preferential structures for completeness proofs. Since our main interest is to provide general techniques, which can be applied in various situations and for various base logics (propositional and other), we take a purely algebraic approach, which can be translated into logics by easy lemmata, in particular, we give a clean construction via indexing by trees for transitive structures, this allows us to simplify the proofs of earlier work by the author, and to extend the results given there.

scholarly journals Multistrategy learning and theory revision

1993 ◽  
Vol 11 (2-3) ◽  
pp. 153-172 ◽  
Author(s):  
Lorenza Saitta ◽  
Marco Botta ◽  
Filippo Neri
Keyword(s):  
Theory Revision ◽  
Multistrategy Learning

scholarly journals Learning relations and logic programs

1994 ◽  
Vol 9 (1) ◽  
pp. 73-77 ◽  
Author(s):  
F. Bergadano ◽  
D. Gunetti
Keyword(s):  
Machine Learning ◽  
Logic Programming ◽  
Inductive Logic ◽  
Computational Learning Theory ◽  
Future Generation ◽  
Order Theory ◽  
Research Area ◽  
Theory Revision ◽  
First Order Theory ◽  
Generation Computer

Inductive Logic Programming (ILP) is an emerging research area at the intersection of machine learning, logic programming and software engineering. The first workshop on this topic was held in 1991 in Portugal (Muggleton, 1991). Subsequently, there was a workshop tied to the Future Generation Computer System Conference in Japan in 1992, and a third one in Bled, Slovenia, in April 1993 (Muggleton, 1993). Ideas related to ILP are also appearing in major AI and machine learning conferences and journals. Although European-based and mainly sponsored by ESPRIT, ILP aims at becoming equally represented elsewhere; for example, among researchers in America who are investigating relational learning and first order theory revision (see, for example, the papers in Birnbaum and Collins, 1991) and within the computational learning theory community. This year's IJCAI workshop on ILP is a first step in this direction, and includes recent work with a broader range of perspectives and techniques.

Sign in / Sign up

Export Citation Format

Share Document