ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] The Lindenbaum lattice and a biography of Adolf Lind

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 7 Jan 2015 14:06:23 -0800
Message-id: <!&!AAAAAAAAAAAYAAAAAAAAAAb3x6NyrzVKo6ReWvn+7BjCgAAAEAAAAMCmLJ9sEIJFqnfoXq0Uks4BAAAAAA==@xxxxxxxxxxxxxxxxxxxxxx>
JB: I found them at:
> http://pavlos.bma.upatras.gr/papers/8.pdf
also, his home page is:
> http://pavlos.bma.upatras.gr/    (01)

I tried those same links clicking just now on them, and still didn't get a page 
back.      (02)

-Rich    (03)

Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2    (04)

-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx 
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John Bottoms
Sent: Wednesday, January 07, 2015 1:58 PM
To: [ontolog-forum] 
Subject: Re: [ontolog-forum] The Lindenbaum lattice and a biography of Adolf 
Lindenbaum    (05)

Rich,    (06)

I found them at:
> http://pavlos.bma.upatras.gr/papers/8.pdf
also, his home page is:
> http://pavlos.bma.upatras.gr/    (07)

-John Bottoms
  FirstStar Systems    (08)


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
>       (09)


_________________________________________________________________
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    (010)



_________________________________________________________________
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    (011)

<Prev in Thread] Current Thread [Next in Thread>