Re: adding default rules to a theory in default logic

But TMS works for forward-chaining rules. couldn't there be cases
where you try to add a default that is potentially inconsistent with
previous ones, so that some retraction/change will be needed? does
this never happen?

thanks, -p
Jan Burse wrote:
Hi

Per Freem wrote:
can retract and add new default rules?
thanks. -per

Just do it.

Look for TMS (Truth Maintenance Systems).

Bye

P.S.: I like the chapter on diagnosis in
J.W.Lloyds Prolog book.

[Llyod 87] J.W.Lloyd, Foundations of Logic
Programming, 2nd Edition, Springer Verlag,
1987.

.

Loading