freenode/#lisp - IRC Chatlog
Search
13:25:04
adlai
jmercouris: there's a joke here somewhere, about how only Japanese Lisp programmers have faith
13:26:16
adlai
ACTION is not sufficiently versed in Japanese culture to describe the concept precisely, but essentially, the word "face" has a meaning there, beyond the literal one.
13:27:30
adlai
it is probably closer to the idiomatic usage of 'spine', in English, than to nebulous concepts such as prestige and reputation.
21:08:49
no-defun-allowed
Probably pretend I didn't hear the question. Or say, "most things you would do in everyday life, and then some more".
21:10:23
lotuseater
I told him beside other stuff CL is more general purpose as C/C++ and not just domain specific like those :D
21:25:38
lotuseater
no-defun-allowed: now he said "I have also done code generation in other languages. I don't really see why it is necessary to use a self-modifying language." *sigh*
21:27:05
Xach
it generally hasn't fouled up too bad in the past, and it's a 20-year-old python program doing the HTML bit.
21:32:56
lotuseater
haven't been on this site so much yet, but seems to contain a big bunch of infos
21:46:57
mfiano
"days ago" seems correct anyway. Somehow it is adding a day to hour calculation or something
0:06:58
White_Flame
I got really annoyed with powerloom, because it's like cyc in that they invented their own version of lisp tied to C++/Java semantics, and export a version to CL which is overall pretty janky
0:09:05
lotuseater
hm okay. but the talks of Douglas Lenat are nice. i first read about him in Goedel Escher Bach
0:09:06
White_Flame
all of your logic statements are semantically peers, but the indexer treats them differently
0:09:20
White_Flame
then once you have basic logic running, you define tools in logic to help you expand
0:09:57
White_Flame
and then you start stirring the implementation pot more to get it to run your logic faster
0:12:22
White_Flame
and then once you know that stuff, you can consider caching, forward chaining, and open world implications
0:12:50
White_Flame
then, you have to figure out how to use that substrate well, which is the second 90% of the problem
0:13:39
White_Flame
eg, multiple firings if some inference result happens to be true from multiple paths
0:14:49
White_Flame
(a 3) can become true multiple times, and your do-something will fire multiple times
0:15:08
White_Flame
also, if you have the same shape both logically and non-logically asserted, the non-logical retraction will destroy the fact even though it still has logical support
0:16:25
White_Flame
cyc is also one of the only systems I've seen that can transparently spill large fact bases to disk, which is a nice-to-have
0:18:36
lotuseater
I think over and over again I'm anyway not intelligent enough to understand that all, let alone doing anything myself.
0:19:40
lotuseater
no-defun-allowed: from what i've seen it can do much topics, also something like inference the path what you have for a dicease from symptoms
0:58:22
jeosol
White_Flame: while on cyc, are you aware of powerlooms (?) I think it's called out of the group in USC
0:59:05
jeosol
Everytime I had discussion regarding Cyc, even a few weeks ago, someone said Doug Lenat's approach wasn't correct.
0:59:44
jeosol
I actually installed it and tried to evaluate it to test a small reasoning I wanted to build.
1:00:15
jeosol
aah ok. I am not expert, as you aware, I am in the other logicmoo channel and got info from aindilis and dmiles - he told me about looms
1:02:11
jeosol
my interest was understanding how uncertainty in inputs gets propagated into outputs. I did look into mycin