<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
--></style><title>Re: [ACT-R-users] production
compilation</title></head><body>
<div>At 12:28 PM +0200 7/23/03, Wolfgang Schoppek wrote:</div>
<blockquote type="cite" cite>I've some questions concerning production
compilation.<br>
<br>
1. Is it true that "implicit retrievals" (i.e. retrievals
stated in<br>
the condition part of a production) prohibit production
compilation?<br>
An example:<br>
(p stop-waiting-retrieval-minus<br>
=goal><br>
isa aa-prob<br>
lt =lt<br>
op =op<br>
...<br>
=op><br>
isa operator<br>
sg minus<br>
nm =nm<br>
!eval! (null *retrieval*)<br>
==><br>
...<br>
=goal><br>
op minus<br>
nm =nm<br>
...)<br>
<br>
... will not be merged with the following production because of
the<br>
implicit retrieval of =op (?).</blockquote>
<div><br>
yes<br>
</div>
<blockquote type="cite" cite><br>
<br>
2. How can I unpack the content of chunks that are in the goal
without<br>
such implicit retrievals? In the above example, I can't simply
write:<br>
</blockquote>
<blockquote type="cite" cite>(p stop-waiting-retrieval-minus<br>
=goal><br>
isa aa-prob<br>
lt =lt</blockquote>
<blockquote type="cite" cite> op =op<br>
...<br>
==><br>
+retrieval><br>
isa operator<br>
sg minus<br>
nm =nm<br>
...)<br>
<br>
... because I dont't want to retrieve some operator, but exactly
the</blockquote>
<blockquote type="cite" cite>one that is bound in the goal (=op).<br>
</blockquote>
<div><br></div>
<div>Consider the following and run it:</div>
<div><br></div>
<div><tt><font color="#000000">(clearall)<br>
<br>
(sgp :esc t :epl t)<br>
<br>
(chunk-type thing slot step)<br>
<br>
(add-dm (chunk1 isa thing slot chunk2 step start)<br>
(chunk2 isa thing))<br>
<br>
(goal-focus chunk1)<br>
<br>
(p request<br>
=goal><br>
isa thing<br>
slot =chunk<br>
step start<br>
==><br>
=goal><br>
step retrieving<br>
+retrieval> =chunk)<br>
<br>
(p harvest<br>
=goal><br>
isa thing<br>
step retrieving<br>
=retrieval><br>
isa thing<br>
==><br>
=goal><br>
step done)</font></tt></div>
<div><br></div>
<div>Regards,</div>
<div>John</div>
<x-sigsep><pre>--
</pre></x-sigsep>
<div><font color="#000000"><br></font></div>
<div><font
color="#000000"
>==========================================================</font></div
>
<div><font color="#000000"><br></font></div>
<div><font color="#000000">John R. Anderson<br>
Carnegie Mellon University<br>
Pittsburgh, PA 15213<br>
<br>
Phone: 412-268-2788<br>
Fax: 412-268-2844<br>
email: ja@cmu.edu<br>
URL: http://act.psy.cmu.edu/</font></div>
</body>
</html>