Retraction - PyKE | Google Groups

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
PyKE
Message from discussion Retraction
Received-SPF: pass (google.com: domain of dangy...@gmail.com designates 209.85.210.181 as permitted sender) client-ip=209.85.210.181;
MIME-Version: 1.0
In-Reply-To: <58f9fe37-676a-4a5e-aa51-1dfcddcf4d7b@z17g2000vbe.googlegroups.com>
References: <f47b3d7e-0978-4fe1-af82-fdcbd6acb172@m7g2000vbc.googlegroups.com>
	<CAEs=1RhWy-xvnCGNE4C1bbBLwGw6vj8yRsgLLQ5uzuBaFZS...@mail.gmail.com>
	<58f9fe37-676a-4a5e-aa51-1dfcddcf4...@z17g2000vbe.googlegroups.com>
Date: Sat, 17 Dec 2011 19:02:01 -0500
Message-ID: <CAEs=1RjV-xX_8CADiLfLZnLfQFzn8U4Vfsmcdh9v7e1MvfX...@mail.gmail.com>
Subject: Re: Retraction
From: Bruce Frederiksen <dangy...@gmail.com>
To: pyke@googlegroups.com
Content-Type: multipart/alternative; boundary=e89a8f3bafa727db6104b4528b81

--e89a8f3bafa727db6104b4528b81
Content-Type: text/plain; charset=ISO-8859-1

There are three aspects:

   1. Should retracting fact A also retract any other facts asserted by
   forward chaining based on fact A?  I think that the answer to this is no.
   2. Should retracting fact A cause forward chaining rules with a "notany
   A" to fire immediately.  I'm less certain on this one, but would lean
   towards yes.
   3. The remaining aspect is to keep the fact_list caches up to date.
   Look at the add_args method in the fact_list class in pyke/fact_base.py to
   see how facts are added to the cache (self.hashes is the cache and is kept
   in the fact_list object).

This work should be done in the "pyke" hg repository.

You will need a sourceforge ID to be able to commit to the repository.  If
you give me your sourceforge username, I would be happy to add you to the
project!

Welcome aboard!

-Bruce
On Thu, Dec 15, 2011 at 8:00 PM, Stacy <stacymarse...@gmail.com> wrote:

> I am willing to take a look at doing it when i have some time but
> don't want to approach it blindly.
>  Do you have  suggestions as to how to approach it?
>
>
> On Dec 15, 8:35 am, Bruce Frederiksen <dangy...@gmail.com> wrote:
> > Not I.  It has been asked for a lot, so I'd like to encourage somebody to
> > take a shot at this!  If so, I am always available for questions.
> >
> > -Bruce
> >
> >
> >
> >
> >
> >
> >
> > On Wed, Dec 14, 2011 at 9:49 PM, Stacy <stacymarse...@gmail.com> wrote:
> > > I have seen discussions in the past about the possibility of allowing
> > > retractions of asserted facts. Has anyone tried to implement that?
> >
> > > --
> > > You received this message because you are subscribed to the Google
> Groups
> > > "PyKE" group.
> > > To post to this group, send email to pyke@googlegroups.com.
> > > To unsubscribe from this group, send email to
> > > pyke+unsubscribe@googlegroups.com.
> > > For more options, visit this group at
> > >http://groups.google.com/group/pyke?hl=en.
>
> --
> You received this message because you are subscribed to the Google Groups
> "PyKE" group.
> To post to this group, send email to pyke@googlegroups.com.
> To unsubscribe from this group, send email to
> pyke+unsubscribe@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/pyke?hl=en.
>
>

--e89a8f3bafa727db6104b4528b81
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

There are three aspects:<br><ol><li>Should retracting fact A also retract a=
ny other facts asserted by forward chaining based on fact A?=A0 I think tha=
t the answer to this is no.</li><li>Should retracting fact A cause forward =
chaining rules with a &quot;notany A&quot; to fire immediately.=A0 I&#39;m =
less certain on this one, but would lean towards yes.</li>
<li>The remaining aspect is to keep the fact_list caches up to date.=A0 Loo=
k at the add_args method in the fact_list class in pyke/fact_base.py to see=
 how facts are added to the cache (self.hashes is the cache and is kept in =
the fact_list object).</li>
</ol><p>This work should be done in the &quot;pyke&quot; hg repository.</p>=
<p>You will need a sourceforge ID to be able to commit to the repository.=
=A0 If you give me your sourceforge username, I would be happy to add you t=
o the project!</p>
<p>Welcome aboard!<br></p><p>-Bruce<br></p><div class=3D"gmail_quote">On Th=
u, Dec 15, 2011 at 8:00 PM, Stacy <span dir=3D"ltr">&lt;<a href=3D"mailto:s=
tacymarse...@gmail.com">stacymarse...@gmail.com</a>&gt;</span> wrote:<br><b=
lockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px =
#ccc solid;padding-left:1ex">
I am willing to take a look at doing it when i have some time but<br>
don&#39;t want to approach it blindly.<br>
=A0Do you have =A0suggestions as to how to approach it?<br>
<div class=3D"im HOEnZb"><br>
<br>
On Dec 15, 8:35=A0am, Bruce Frederiksen &lt;<a href=3D"mailto:dangy...@gmai=
l.com">dangy...@gmail.com</a>&gt; wrote:<br>
&gt; Not I. =A0It has been asked for a lot, so I&#39;d like to encourage so=
mebody to<br>
&gt; take a shot at this! =A0If so, I am always available for questions.<br=
>
&gt;<br>
&gt; -Bruce<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
</div><div class=3D"HOEnZb"><div class=3D"h5">&gt; On Wed, Dec 14, 2011 at =
9:49 PM, Stacy &lt;<a href=3D"mailto:stacymarse...@gmail.com">stacymarse...=
@gmail.com</a>&gt; wrote:<br>
&gt; &gt; I have seen discussions in the past about the possibility of allo=
wing<br>
&gt; &gt; retractions of asserted facts. Has anyone tried to implement that=
?<br>
&gt;<br>
&gt; &gt; --<br>
&gt; &gt; You received this message because you are subscribed to the Googl=
e Groups<br>
&gt; &gt; &quot;PyKE&quot; group.<br>
&gt; &gt; To post to this group, send email to <a href=3D"mailto:pyke@googl=
egroups.com">pyke@googlegroups.com</a>.<br>
&gt; &gt; To unsubscribe from this group, send email to<br>
&gt; &gt; <a href=3D"mailto:pyke%2Bunsubscribe@googlegroups.com">pyke+unsub=
scribe@googlegroups.com</a>.<br>
&gt; &gt; For more options, visit this group at<br>
&gt; &gt;<a href=3D"http://groups.google.com/group/pyke?hl=3Den" target=3D"=
_blank">http://groups.google.com/group/pyke?hl=3Den</a>.<br>
<br>
--<br>
You received this message because you are subscribed to the Google Groups &=
quot;PyKE&quot; group.<br>
To post to this group, send email to <a href=3D"mailto:p...@googlegroups.co=
m">pyke@googlegroups.com</a>.<br>
To unsubscribe from this group, send email to <a href=3D"mailto:pyke%2Bunsu=
bscribe@googlegroups.com">pyke+unsubscribe@googlegroups.com</a>.<br>
For more options, visit this group at <a href=3D"http://groups.google.com/g=
roup/pyke?hl=3Den" target=3D"_blank">http://groups.google.com/group/pyke?hl=
=3Den</a>.<br>
<br>
</div></div></blockquote></div><br>

--e89a8f3bafa727db6104b4528b81--
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
