Re: [RIF-APS] Rules Sign

I suggest using these two-character symbols for implication: -> <- => <=
then replace all -> with :: (or any other sequence of characters would be better).

-Chris

Adrian Paschke wrote:
> Hello,
> 
>  
> 
> With respect to the abridged presentation syntax there is still an open
> issue about the sign to distinguish the head and the body of a rule.
> 
>  
> 
> Currently, we use ":-" in the examples e.g. in UCR and PRD, which is
> well-known in the logic community but not so much in others including
> production rules.
> 
>  
> 
> I shortly discussed this issue with the BLD/FLD editors Michael and Harold
> and we came up with this unambiguous proposal to distinguish classical
> implication and rules head and body.
> 
>  
> 
> <== for PRD and BLD
> 
> <-- for classical
> 
>  
> 
> <== and <-- might be also reverted ==> -->
> 
>  
> 
> -Adrian
> 
>  
> 
>  
> 
>  
> 
> 

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty

Received on Tuesday, 2 September 2008 12:33:04 UTC