KIF: Definitions in KIF

[pat hayes]

>Chris and Pat,
>
>I would be happy to treat a definitional syntax as a "semantically
>empty" wrapper in FOL.  That is the only way it can be handled
>in FOL because there is no way of distinguishing different kinds
>of statements in FOL.
>
>But at the metalevel, that wrapper is extremely important.
>If you are doing belief revision, for example, the notion of
>"entrenchment" is very significant in deciding which statements
>to keep and which to modify or throw out.  Definitions, for
>example, are likely to be more "entrenched" than other statements.

Right, this is exactly the kind of reason why we need to allow such 
things into the syntax.

Pat

---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes at ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes