RE: any good hacks for these?

>5. Defeasible rules.  It would be great to say in CWM or some other
>reasoning engine that people have two biological parents _unless
>explicitly declared otherwise_, so I can handle cases like the Biblical
>Adam and future cloned children.  Note that given a good standard
>solution for the statement "The current context does not contain a
>statement {Gen:Adam par:hasNonstandardParentRelationship []}", I could
>fake this, although it would be even better to be able to not have to
>mention the exceptions in the rule.

One place you might be able to do implement this would be on top of Bijan
Parsia's Prolog RDF stuff.

Hmm - I suppose there's another long way around, something like :

to assert :
Adam nParents 1

	query:
	Person nParents x

	if conflict:
			retract Person nParents x
			create Person subclass PersonNotAdam
			assert PersonNotAdam nParents 2
			assert Adam nParents 1

(yuck!)



Cheers,
Danny.

Received on Friday, 2 August 2002 16:27:54 UTC