))
Truth Approximation by Basic and Refined Belief Base Revision
Archived series ("Inactive feed" status)
When?
This feed was archived on June 25, 2018 00:23 (
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 113960830 series 91387
Content provided by MCMP Team. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by MCMP Team or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Theo A. F. Kuipers (Groningen) gives a talk at the MCMP Colloquium (25 Jan, 2012) titled "Truth Approximation by Basic and Refined Belief Base Revision". Abstract: In a forthcoming paper, I have generalized the bridge, due to Cevolani, Crupi and Festa (2011), between the conjunctive approach of verisimilitude and AGM-Hansson belief base revision from finite propositional languages to the general case of approaching any divide of a (finite or infinite) universe, allowing all relevant interpretations. The present paper extends this general form of basic truth approximation by ‘basic’ belief base revision to refined (i.e. similarity based) truth approximation by a refined form of belief base revision, inspired by Grove’s spheres approach and Rabinowizc’s similarity foundation of it, which is similar to, but not equivalent to, so-called partial meet revision. The presentation is an improved and extended version of the paper presented at the 14th LMPS-congress (2011) in Nancy. In a previous attempt (Kuipers, 2011) to dovetail belief revision and truth approximation, restricted to the nomic interpretation and to maximal theories, I succeeded in overcoming the problem asking for refinement by taking refined forms of belief revision into account, notably partial meet revision, using already Adam Grove’s spheres approach (Grove, 1988) and Wlodek Rabinowizc’s similarity foundation of it (Rabinowicz, 1995). However, that dovetail attempt was unsatisfactory in having an ad hoc feature already in its basic form.
…
continue reading
250 episodes
Share
