IRC log of dig on 2008-01-21
Timestamps are in UTC.
- 10:44:54 [lkagal]
- lkagal has quit (Read error: 110 (Connection timed out))
- 12:27:37 [sbp]
- sbp has quit (brown.freenode.net irc.freenode.net)
- 12:27:37 [dan-uk]
- dan-uk has quit (brown.freenode.net irc.freenode.net)
- 12:27:37 [ericP]
- ericP has quit (brown.freenode.net irc.freenode.net)
- 12:27:37 [sandro]
- sandro has quit (brown.freenode.net irc.freenode.net)
- 12:55:35 [sandro]
- sandro (n=nnnsandr@homer.w3.org) has joined #dig
- 12:56:21 [sbp]
- sbp (i=sbp@66.9.179.67) has joined #dig
- 12:56:21 [dan-uk]
- dan-uk (n=daniel@vm.danielsmith.eu) has joined #dig
- 12:56:21 [ericP]
- ericP (n=ericP@homer.w3.org) has joined #dig
- 13:23:08 [sandro]
- sandro has quit (brown.freenode.net irc.freenode.net)
- 13:23:08 [sbp]
- sbp has quit (brown.freenode.net irc.freenode.net)
- 13:23:08 [dan-uk]
- dan-uk has quit (brown.freenode.net irc.freenode.net)
- 13:23:08 [ericP]
- ericP has quit (brown.freenode.net irc.freenode.net)
- 13:23:35 [sandro]
- sandro (n=nnnsandr@homer.w3.org) has joined #dig
- 13:24:35 [sandro]
- sandro has quit (brown.freenode.net irc.freenode.net)
- 13:24:37 [lkagal]
- lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 13:24:37 [sbp]
- sbp (i=sbp@66.9.179.67) has joined #dig
- 13:24:37 [dan-uk]
- dan-uk (n=daniel@vm.danielsmith.eu) has joined #dig
- 13:24:37 [ericP]
- ericP (n=ericP@homer.w3.org) has joined #dig
- 13:24:50 [sandro]
- sandro (n=nnnsandr@homer.w3.org) has joined #dig
- 13:31:14 [timbl]
- timbl (n=timbl@85-95-98-99.adsl.izrsolutions.com) has joined #dig
- 13:32:33 [yosi_s]
- yosi_s (n=chatzill@static-71-243-122-114.bos.east.verizon.net) has joined #dig
- 13:47:17 [timbl]
- timbl has quit ("KUTGW")
- 13:47:34 [timbl]
- timbl (n=timbl@85-95-98-99.adsl.izrsolutions.com) has joined #dig
- 14:01:06 [Oshani]
- Oshani (n=chatzill@SYDNEYPACIFIC-THREE-THIRTY-SIX.MIT.EDU) has joined #dig
- 14:30:49 [timbl]
- timbl has quit ()
- 15:17:03 [timbl]
- timbl (n=timbl@85-95-98-99.adsl.izrsolutions.com) has joined #dig
- 15:20:32 [phreak0ut]
- phreak0ut (n=sunil@59.96.206.119) has joined #dig
- 15:20:44 [phreak0ut]
- phreak0ut has left #dig
- 15:35:12 [yosi_s]
- Oshani, I tried installing a new version of the tami python reasoner on mr-burns
- 15:35:19 [yosi_s]
- can you confirm it works again?
- 15:41:10 [Oshani]
- yosi_s: give me a minute to check.. need to switch to Ubuntu
- 15:41:23 [Oshani]
- Oshani has quit ("ChatZilla 0.9.79 [Firefox 2.0.0.11/2007112718]")
- 15:42:17 [yosi_s]
- note that its output is not the same as the scheme reasoner
- 15:43:03 [yosi_s]
- I need to talk to Chris to figure out what it should be
- 15:53:40 [oshani]
- oshani (n=oshani@SYDNEYPACIFIC-THREE-FIFTY-SIX.MIT.EDU) has joined #dig
- 15:55:26 [yosi_s]
- Oshani, note that the python output is not the same as the scheme reasoner
- 15:55:30 [yosi_s]
- I need to talk to Chris to figure out what it should be
- 15:55:38 [oshani]
- yosi_s: yes, I noticed
- 15:55:49 [yosi_s]
- so it does work>
- 15:55:51 [yosi_s]
- ?
- 15:57:20 [oshani]
- well, it gives an output, but my justification UI algorithm does not handle things from "air:closed-world-assumption" onwards
- 15:57:44 [oshani]
- should I change my code, or will you work on getting the output same as the scheme reasoner's?
- 15:59:02 [oshani]
- from the UI viewpoint, it is basically unnecessary, or am I wrong on that?
- 15:59:14 [oshani]
- should it be interpreted any differently?
- 16:00:40 [yosi_s]
- what is the scheme reasoner now generating?
- 16:00:54 [yosi_s]
- it is also making an air:closed-world-assumption
- 16:01:20 [yosi_s]
- I'm just including a different (and I think more complete) list of what is in the world
- 16:04:18 [oshani]
- yosi_s: I am going to check with the scheme code right now (Chris has not updated swiss.csail.mit.edu), but I am assuming it would be http://dig.csail.mit.edu/TAMI/2007/s0/scheme-output.n3
- 16:04:38 [oshani]
- anyway, I'll confirm you
- 16:04:50 [yosi_s]
- although, I think that the UI should say, if you ask hard enough, exactly what was in the closed world
- 16:05:50 [yosi_s]
- http://dig.csail.mit.edu/TAMI/2007/s0/scheme-output.n3 has been updated recently --- I based my output on it, I think
- 16:06:07 [yosi_s]
- ok, I see how out outputs are different
- 16:06:16 [yosi_s]
- Chris lists the files he parse
- 16:06:25 [yosi_s]
- I list the results of the files I parsed
- 16:07:14 [yosi_s]
- in the python reasoner, pulling rules and facts out of a file are so different, I'm not sure I could make output like scheme-output.n3
- 16:07:58 [yosi_s]
- or I could (easily enough), I'm just not sure what it means
- 16:08:34 [timbl]
- That's interesting, I wonder whether there is a common essential semasntics which could be extracted from either.
- 16:08:36 [oshani]
- well, how is this closed world assumption generated in the output? I do not see that for s9 : http://mr-burns.w3.org/cgi-bin/server_cgi.py?logFile=http://dig.csail.mit.edu/TAMI/2007/s9/variation1/log.n3&rulesFile=http://dig.csail.mit.edu/TAMI/2007/s9/variation1/policy.n3
- 16:08:44 [timbl]
- timbl is now known as timbl_not_here
- 16:10:31 [yosi_s]
- s9 variation 1 never uses an alt firing of a rule
- 16:10:47 [yosi_s]
- so it never needs to base anything on any closed world assumptions
- 16:10:55 [yosi_s]
- the reasoning can all be done in the open world
- 16:16:44 [oshani]
- yosi_s: Chris's scheme code output is the same as the one in the link I gave before
- 16:16:58 [yosi_s]
- I expected that
- 16:17:45 [oshani]
- so, what are there any other tweaks to expect like air:alt, which will change the 'format' of the proof tree?
- 16:18:26 [timbl_not_here]
- timbl_not_here has quit ()
- 16:18:38 [yosi_s]
- I don't know
- 16:18:49 [yosi_s]
- I haven't talked to Chris
- 16:19:01 [yosi_s]
- our talking might change it
- 16:19:38 [yosi_s]
- we haven't been able to predict previous changes
- 16:19:48 [yosi_s]
- I don't know what the next change will be
- 16:19:54 [oshani]
- okay :)
- 16:20:12 [oshani]
- I would like to come too, if you are meeting Chris to discuss about this
- 16:20:55 [oshani]
- it would help me, if I know how the proof tree looks like, and any variations it may have
- 16:22:08 [yosi_s]
- ok
- 16:22:54 [oshani]
- well, we'll try to meet him this week
- 17:26:06 [DanC]
- DanC (n=connolly@pdpc/supporter/active/DanC) has joined #dig
- 17:58:46 [oshani]
- oshani has quit (Read error: 110 (Connection timed out))
- 18:43:31 [lkagal]
- lkagal has quit ()
- 18:45:03 [timbl]
- timbl (n=timbl@85-95-98-99.adsl.izrsolutions.com) has joined #dig
- 18:49:25 [lkagal]
- lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 18:52:00 [timbl]
- timbl has quit ()
- 19:38:29 [timbl]
- timbl (n=timbl@85-95-98-99.adsl.izrsolutions.com) has joined #dig
- 19:39:11 [presbrey]
- presbrey (n=presbrey@SCRIPTS.MIT.EDU) has joined #dig
- 19:39:33 [presbrey]
- hi, dig meeting?
- 19:39:37 [DanC]
- yeah... dig meeting?
- 19:39:51 [DanC]
- I don't see an agenda, and it's an MIT holiday
- 19:40:18 [presbrey]
- ok
- 19:40:26 [DanC]
- we don't get many blog comments lately; I wonder if we set the bar too high...
- 19:40:33 [DanC]
- ... or if our system has fallen over
- 19:41:57 [timbl]
- timbl has quit (Client Quit)
- 19:41:58 [DanC]
- ooh... drupalcon msg from sandro... connections to the drupal dev community could come in handy.
- 19:42:06 [DanC]
- I was just in #drupal getting support this week
- 20:06:23 [lkagal]
- lkagal has quit ()
- 20:59:18 [lkagal]
- lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 22:01:35 [lkagal]
- lkagal has quit ()
- 22:12:56 [lkagal]
- lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig