Re: adding default rules to a theory in default logic
- From: Jan Burse <janburse@xxxxxxxxxxx>
- Date: Wed, 07 Jun 2006 00:24:28 +0200
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.
.
- Follow-Ups:
- Re: adding default rules to a theory in default logic
- From: Per Freem
- Re: adding default rules to a theory in default logic
- References:
- adding default rules to a theory in default logic
- From: Per Freem
- adding default rules to a theory in default logic
- Prev by Date: Re: Mathematical objects and Discernment
- Next by Date: Eleventh new law from the premises of syllogism
- Previous by thread: adding default rules to a theory in default logic
- Next by thread: Re: adding default rules to a theory in default logic
- Index(es):
Relevant Pages
|
