|
|
 | | From: | Dimitri | | Subject: | Default Logic question | | Date: | Mon, 17 Jan 2005 02:19:30 GMT |
|
|
 | Hello,
I've got a question concerning default logic. I'm using the tutorial by
Grigoris Antoniou (http://portal.acm.org/citation.cfm?id=344588.344602)
so it is probably the most basic version.
Suppose:
D = { A(x) : B(x) / C(x) } the default d1
W = { A(j), not(C(x)) } the facts
Given this (W,D) would PI(d1) be a process? In the tutorial I could not
find a reason why p1 cannot be executed since A(j) is an element of W
and not(B(x)) is not, but that would mean both C(x) and not(C(x)) can be
concluded and I find that quite unintuitive.
Would this process (if it really is a process) also be an extension ?
Given that d1 is the only default, it is automatically closed and only
the succesfulness of the process is in question.
Hope you can help me,
Dimitri
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to , and ]
[ ask your news administrator to fix the problems with your system. ]
|
|
|
