help from readers of the book "NonMonotonic Reasoning"by G. Antoniou
- From: joss reasoner <josswnnr@xxxxxxxxx>
- Date: Tue, 26 Jun 2007 09:20:23 -0700
I ask any readers of the book "NonMonotonic Reasoning" by Grigoris
Antoniou for help in figuring out the example on
page 32 of the text:
He gives a default theory T= (W,D) with W = {a} and D containing the
following defaults:
delta1 = a: ~b / ~b, delta2 = b : c / c.
For process II = (delta1) .....
For II = (delta2,delta1) we have In(II) = Th(a,c,~b) and Out(II) =
{~c,b}
My quesion is how can II(delta2,delta1) be a Process of T when the
Prerequisite of delta 2 ie "b" NEVER occurs
in W even after the application of delta 1? I think the only way the
text is consistent is if delta2's prerequisite is "~b"
and not "b" as printed in the text. That way, application of delta1
puts the "~b" consequent into the database. However, the author goes
on to say II` = (delta1,delta2) is NOT a process of T thereby
contradicting my conjecture.
Thanks in advance.
.
- Prev by Date: Re: Set theory: what is meant by "unbounded"?
- Next by Date: Re: Set theory: what is meant by "unbounded"?
- Previous by thread: 30 June, Birthday of 'Special Theory of Relativity' paper
- Next by thread: Poll: would you rather...
- Index(es):