On Fri, Dec 14, 2018 at 5:56 AM Ben Goertzel <[email protected]> wrote: > > I think this was ye olde original paper on parsing as deduction, > > http://aclweb.org/anthology/P89-1033
Huff. So I started reading that, got distracted, and went down a rabbit hole, here: http://math.andrej.com/2016/01/04/a-brown-palsberg-self-interpreter-for-godels-system-t/ with background reading provided here: https://cstheory.stackexchange.com/questions/24986/a-total-language-that-only-a-turing-complete-language-can-interpret > > There's a whole literature on theorem-proving for categorial grammars of > course > > https://arxiv.org/abs/cmp-lg/9508009 > > So there's a lot of ways to show that parsing is a kind of deductive inference > > The other way around, that "deductive inference is a kind of parsing", > seems to require a bit of a stretch of the concept of "parsing" ... As you well-know, my favorite metaphor is "assembling jigsaw puzzle pieces", and natural deduction looks like jigsaw-puzzle-piece assembly, to me. Not every problem can be reduced to this, but where, exactly, the boundary lies is quite unclear to me. > On Fri, Dec 14, 2018 at 1:48 PM Zar Goertzel <[email protected]> wrote: > > > > We had happened to be talking about it at lunch when you brought that up. > > It seems likely they're in a similar state to you: it seems obvious and > > they can wave their hands around, but haven't bothered formally writing it > > up. > > > > Would it be hard to write up formally? My personality is such that I'd have to do a lot of background reading first, and that takes time, which seems in short-supply. There's bit of a balance point: the best time to write (for me; for everyone?) is just when I first understand it, before it becomes so trivial that I'm bored listening to my own voice. There's a shelf-life for ideas. The rabbit hole, above, is very interesting just right now. > > The logic of term rewriting is paramodulation? That's not a modal logic > > though . . . Beats me. I will have to look, now. --linas -- cassette tapes - analog TV - film cameras - you -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHrUA35M1WG85XBxgqgAe%3DWBkyjN%2BtGy%2BT5_2%2BGgWJ8bOHvFMw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
