Rich, (01)
I found them at:
> http://pavlos.bma.upatras.gr/papers/8.pdf
also, his home page is:
> http://pavlos.bma.upatras.gr/ (02)
-John Bottoms
FirstStar Systems (03)
On 1/7/2015 4:43 PM, Rich Cooper wrote:
> The paper at:
> http://pavlos.bma.upatras.gr/paperFs/8.pdf
>
> doesn't respond to a link click - no site found. neither does:
>
> http://pavlos.bma.upatras.gr/
>
> same symptoms. I tried several hours apart, with the same outcome.
>
> -Rich
>
> Sincerely,
> Rich Cooper
> EnglishLogicKernel.com
> Rich AT EnglishLogicKernel DOT com
> 9 4 9 \ 5 2 5 - 5 7 1 2
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
>[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
> Sent: Thursday, January 01, 2015 7:58 PM
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Cc: cg@xxxxxxxxxxxxx; Pavlos Peppas
> Subject: Re: [ontolog-forum] The Lindenbaum lattice and a biography of Adolf
>Lindenbaum
>
> On 1/1/2015 2:07 PM, David Whitten wrote:
>> what are the AGM operations? Do I know them by another name?
> They're named after the three authors of the classic paper:
>
> Alchourrón, C.E., P. Gärdenfors, and D. Makinson, 1985, “On the Logic
> of Theory Change: Partial Meet Contraction and Revision Functions”,
> Journal of Symbolic Logic, 50: 510–530.
>
> The two basic operators determine walks through the lattice of theories.
>
> - Contraction: Removing an axiom (or belief) from a theory. This
> moves up the lattice to a more general theory. This is always safe
> because it can never create an inconsistency.
>
> - Expansion: Adding an axiom (or belief). This moves down the
> lattice. If the new axiom is inconsistent with the others, it
> causes a drop to the inconsistent theory (AKA the absurd theory)
> at the bottom of the lattice.
>
> I prefer to add a third operator:
>
> - Relabeling: Systematically renaming one or more names (of functions,
> relations, or constants) to names that are otherwise unused. This
> jumps to a theory in another branch of the lattice that is isomorphic
> to the original. Logicians usually ignore it because it doesn't add
> anything new, but it is very useful for metaphors and analogies. It
> is also guaranteed to preserve consistency.
>
> Other operations are defined in terms of these three.
>
> - Revision: Replacing one or more axioms. This is a sideways move,
> equivalent to contraction followed by expansion.
>
> - Consolidation. Restoring consistency to a theory that has become
> inconsistent because of some unsafe expansion. This process usually
> involves some contraction and/or relabeling and possibly expansion.
>
> - Merging. Expanding one theory by adding all the axioms of another
> theory. This theory is a common specialization of both theories
> that were merged. If the starting theories were inconsistent,
> the merger drops to the absurd theory at the bottom. In that case,
> consolidation is required.
>
> For an intro to the axioms of belief (or theory) revision and related
> issues, see http://plato.stanford.edu/entries/logic-belief-revision/
>
> Following is a 42-page survey of the field by Pavlos Peppas. He gives
> a thorough survey with applications and 111 references:
> http://pavlos.bma.upatras.gr/paperFs/8.pdf
>
> See his web site for more recent papers about belief revision and
> applications: http://pavlos.bma.upatras.gr/
>
>
> John
> (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (05)
|