Re: [Sigmakee-develop] Problems pre-processing suo-kif sentences

[Adam P. <ada...@ea...>]

Hi Cameron,
   Which is line 758 in the code segment below?

   All clauses get an added "holds" predicate.  In that way, the query

(?REL A B)

will unify with

(rel A B)

because they are preprocessed to
(holds ?REL A B)
(holds rel A B)

If (rel A B) weren't preprocessed, you'd have

(holds ?REL A B)
(rel A B)

and they wouldn't unify.

Adam

Cameron Ross wrote:
> Hi Adam,
> 
> I'm analyzing Sigma's Formula.preProcess() method as I build a SUO-KIF 
> translator for the PowerLoom system.   I have the following questions:
> 
> 1) The SUO-KIF BNF indicates that (?a b c) is a valid sentence.  
> However, the following code generates a NullPointerException at line 758 
> of Formula.preProcess():
> /        Formula formula = new Formula();
>         formula.read("(?a b c)");
>         List<Formula> lst = formula.preProcess();
> /      
>         Either "(?a b c)" is not a valid suo-kif sentence (i.e. I'm 
> misinterpreting the grammar), or there is a bug in 
> Formula.preProcess().  Any ideas?
> 
> 2)  If I pre-process the sentence "(a b c)" I expect "(a b c)" but get 
> "(holds a b c)".  Isn't the 'holds' predicate to be introduced when 
> there is a variable in the predicate position?  That is, "(?a b c)" 
> pre-processes to "(holds ?a b c)".  Perhaps I'm missing something 
> fundamental with how Vampire expects input.
> 
> Cheers,
> Cameron.
> 
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to share your
> opinions on IT & business topics through brief surveys - and earn cash
> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Sigmakee-develop mailing list
> Sig...@li...
> https://lists.sourceforge.net/lists/listinfo/sigmakee-develop