Bruce;
What your report reminds me of
is Nicholas Rescher's book on the Coherence Theory of Truth
Oxford UP.
Where he deals with the problem of contradictions (when accepted making
everything true!)
By partitioning the world of propositions into partly overlapping
maximally coherent subsets.
A Maximally coherent subset is the biggest collection of interesting
propositions which does not contain any contradiction.
WIthin one MCSS a logic engine can grind away happily.
Then the whole reasoning problem becomes one of finding a basis for
coherence among the interesting deductions
made in each of the various MC subsets.
Any Help?
Gary Boyd.
At 13:18 12/02/2001 +0000, you wrote:
>I would welcome comments on these (as always).
>
>--------------------------------------------------
>
>Learning Appropriate Contexts
>
>CPM Report No.: 00-78
>By: Bruce Edmonds
>Date: 12th February 2001
>
>Abstract
>
>Genetic Programming is extended so that the solutions being
>evolved do so in the context of local domains within the total
>problem domain. This produces a situation where different
>“species” of solution develop to exploit different “niches” of
>the problem indicating exploitable solutions. It is argued
>that for context to be fully learnable a further step of
>abstraction is necessary. Such contexts abstracted from
>clusters of solution/model domains make sense of the problem
>of how to identify when it is the content of a model is wrong
>and when it is the context. Some principles of learning to
>identify useful contexts are proposed.
>
>Keywords: learning, conditions of application, context,
>evolutionary computing, error
>
>Accessible at:
> http://cfpm.org/cpmrep78.html
>
>--------------------------------------------------
>
>What if all truth is context-dependent?
>
>CPM Report No.: 00-77
>By: Bruce Edmonds
>Date: 12th February 2001
>
>Abstract
>
>This paper argues that truth is by nature context-dependent
>that no truth can be applied regardless of context. I call this
>“strong contextualism”. Some objections to this are considered
>and rejected, principally: that there are universal truths given
>to us by physics, logic and mathematics; and that claiming “no
>truths are universal” is self-defeating. Two “models” of truth
>are suggested to indicate that strong contextualism is coherent.
>It is suggested that some of the utility of the “universal
>framework” can be recovered via a more limited “third person
>viewpoint”.
>
>Keywords: philosophy, universality, context, truth,
>knowledge
>
>Accessible at:
> http://cfpm.org/cpmrep77.html
>
>
>
>Regards.
>
>--------------------------------------------------
>Bruce Edmonds,
>Centre for Policy Modelling,
>Manchester Metropolitan University, Aytoun Bldg.,
>Aytoun St., Manchester, M1 3GH. UK.
>Tel: +44 161 247 6479 Fax: +44 161 247 6802
>http://bruce.edmonds.name
>========================================
>Posting to pcp-discuss@lanl.gov from Bruce Edmonds <b.edmonds@mmu.ac.uk>
Professor Gary Boyd, Education
(Educational Technology Graduate Programme) Concordia University,
1455 DeMaisonneuve West, Montreal, Quebec Canada H3G 1M8.
<boydg@vax2.concordia.ca> tel.(514)848-3459, fax(514)848-4520.
homepage <http://alcor.concordia.ca/~boydg/ >
---------------------------------------------------------------------
Toward Eco-CO-cultural SYMVIABILITY, through
participative cybersystemic modelling, and
Grace & grudge networking.
---------------------------------------------------------------------
========================================
Posting to pcp-discuss@lanl.gov from "PRof. Gary Boyd" <boydg@vax2.concordia.ca>
This archive was generated by hypermail 2b29 : Mon Feb 12 2001 - 16:16:59 GMT