W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2010

Re: ACTION-1007 - Review new FLD appendix on herbrand structures

From: Michael Kifer <kifer@cs.stonybrook.edu>
Date: Mon, 10 May 2010 12:02:56 -0400
To: Adrian Paschke <adrian.paschke@gmx.de>
CC: 'Public-Rif-Wg' <public-rif-wg@w3.org>
Message-ID: <20100510120256.50118ce4@kiferserv>
Thanks Adrian,

This is just a definition for use by dialects. The other definitions do not
rely on this assumption.
So, I moved it to the end to avoid the impression that there is a connection
and added a statement that some dialects might require consistency while others
not.

michael


On Mon, 10 May 2010 11:41:41 +0200
Adrian Paschke <adrian.paschke@gmx.de> wrote:

> Hi,
> 
>  
> 
> I have looked at the FLD appendix defining Herbrand Semantic Structures and
> have not found any inconsistency.
> 
>  
> 
> I was just wondering if we should add a note to the Definition (Consistent
> Semantic Structure)  mentioning logics such as defeasible logic which can
> handle inconsistencies where in the monotonic case TValI(φ) and TValI(Neg φ)
> are both t.
> 
>  
> 
> -Adrian
> 
Received on Monday, 10 May 2010 16:03:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 10 May 2010 16:03:35 GMT