- From: R.V.Guha <guha@guha.com>
- Date: Tue, 28 May 2002 13:06:10 -0700
- To: patrick hayes <phayes@ai.uwf.edu>
- CC: www-rdf-logic@w3.org
Pat, As far as I understand, contexts/microtheories and argumentation are two examples of CycL features that add something to the semantics and are not just efficiency hacks. guha patrick hayes wrote: >> pat hayes wrote: >> >>> What does that mean? CYCL is a notational variety of FOL, right? In >>> what way is that 'extensible' ? It doesn't enable one to extend the >>> model theory. >>> >>> Pat >> >> >> Come on Pat. You know better! CycL is way more than that ... Its the >> kitchen sink of a large scale cafeteria plus >> many other things thrown into it, discussion of which is probably >> neither apropos for this mailing list or for polite company ;-) > > > As far as I know, it is not *way* more than that. It has many pieces > of specialized inference machinery, but most of them perform > first-order valid inferences, I believe, albeit perhaps by nonstandard > (and very fast) methods. I realize it has some technically > non-first-order things built into it involving fixpoint semantics, but > I bet they could all be transcribed into KIF using row quantifiers. > And none of it is 'extensible' in any useful sense, as far as I know. > Please enlighten me if I am wrong. > > Pat
Received on Tuesday, 28 May 2002 16:06:31 UTC