- From: Michael Denny <regattago@gmail.com>
- Date: Sat, 27 Jun 2020 19:32:01 -0400
- To: <ontolog-forum@googlegroups.com>
- Cc: "'W3C AIKR CG'" <public-aikr@w3.org>
- Message-ID: <001b01d64cdb$28e51960$7aaf4c20$@com>
When you diagram a sentence you get a tree so I suppose as long as an equation can be expressed in a sentence it also resides as a tree. From: ontolog-forum@googlegroups.com [mailto:ontolog-forum@googlegroups.com] On Behalf Of Paola Di Maio Sent: Saturday, June 27, 2020 7:25 PM To: ontolog-forum Cc: W3C AIKR CG Subject: Re: [ontolog-forum] symbolic equation? Thank you Alex as per my reply to John- it looks like the paper you point to also uses symbolic as in alphanumeric algebra (the question originated from a symbolic KR point of view which is something else entirely, I now start thinking the use of the term symbolic should be better disambiguated) symbolic AI/KR is not related to algebraic notation, afaik anyway, I love the representation of equations as trees. I need to try that out, maybe write an exercise book to transform equations into trees, and vice versa, But from my guess. not every equation can be translated to a tree, what do you think? It will take also an awful lot of space. I still like trees much more than I like equations PDM On Sun, Jun 28, 2020 at 12:32 AM Alex Shkotin <alex.shkotin@gmail.com> wrote: I got it https://groups.google.com/d/msg/ontolog-forum/MuVb2mRSACc/E2oX4krcAAAJ сб, 27 июн. 2020 г. в 15:23, Paola Di Maio <paola.dimaio@gmail.com>: Yes I think I am seeing that Please share exciting examples On Sat, Jun 27, 2020 at 8:16 PM Alex Shkotin <alex.shkotin@gmail.com> wrote: Paola, I absolutely agree with your intention and my way would be to get from the authors definitions for both:-) But I am in the position that most important and even terrific is that they begin to train ANN with symbolic input and/or output, getting exciting results. сб, 27 июн. 2020 г. в 14:50, Paola Di Maio <paola.dimaio@gmail.com>: James good read, thanks for sharing well, I am familiar with equations in algebra, but did not know the other meanings, so I definitely learn something :-) Alex: I am only concerned with ambiguity/misuse/undefined/misleading terminology In KR, afaik, symbolic representation does not include algebra, but some scholars include in symbolic representation some types of logical notation or techniques such as baesyan inference which uses algebraic notation. Would his symbolic equation mean this is symbolic representation (in which case I would disagree/not be sure/have to look further into it) would this symbolic equation mean something else, in a mathematical sense (this is why I asked) if so why does it not exist in the encyclopedia of mathematics which is what I look up from time to time as a reference If its just used as a colloqualism to mean symbolic expression then note that even that does not exist as a term itself,(many forms of expression in algebra but symbolic expression is not a formal definition according to the encyclopedia) I am being pedantic only because I d like to understand what people are talking about with these equations https://encyclopediaofmath.org/index.php?search=%22+expression%22 <https://encyclopediaofmath.org/index.php?search=%22+expression%22&title=Special%3ASearch&profile=default&fulltext=1> &title=Special%3ASearch&profile=default&fulltext=1 On Sat, Jun 27, 2020 at 6:51 PM 'James Davenport' via ontolog-forum <ontolog-forum@googlegroups.com> wrote: There is also significant ambiguity over the meaning of the word ‘equation’: see Marcus,S. & Watt,S.M., What is an Equation?. Proc. SYNASC 2012, IEEE Press, 2012, pp. 23-29, http://www.csd.uwo.ca/~watt/pub/reprints/2012-synasc-equations.pdf From: ontolog-forum@googlegroups.com <ontolog-forum@googlegroups.com> On Behalf Of Alex Shkotin Sent: 27 June 2020 11:09 To: ontolog-forum <ontolog-forum@googlegroups.com> Cc: W3C AIKR CG <public-aikr@w3.org> Subject: Re: [ontolog-forum] symbolic equation? CAUTION: This email came from outside of the University. To keep your account safe, only click on links and open attachments if you know the person who sent the email, or you expected to receive this communication. By the way in the paper itself there is no term "symbolic equation" the most used is "symbolic expression". сб, 27 июн. 2020 г. в 12:05, Paola Di Maio <paola.dimaio@gmail.com>: yes, I could not find any reference in the history of maths to symbolic equations as constructs On Sat, Jun 27, 2020 at 4:53 PM Alex Shkotin <alex.shkotin@gmail.com> wrote: Paola, Are you asking specifically about this particular symbolic equation? image.png Alex сб, 27 июн. 2020 г. в 02:41, Paola Di Maio <paola.dimaio@gmail.com>: I am not sure I understand the construct symbolic equation in this slide anyone could like to comment/explain? https://twitter.com/ykilcher/status/1276158135258972161/photo/1 <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.com%2Fykilcher%2Fstatus%2F1276158135258972161%2Fphoto%2F1&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706802497&sdata=lq4zpwhXhcEZt016tjicTQ2XGJNkywJ7SwJ6ezsUZ%2B8%3D&reserved=0> -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706802497&sdata=JZT7Hq59uRcDWpV8kd%2FtVy0rk7KOpE7Eew7J%2F96Co60%3D&reserved=0> --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSqMracV5Do-xUu2PLOboVzx7gkobgjUjnXKzCZ7aRNnzQ%40mail.gmail.com <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSqMracV5Do-xUu2PLOboVzx7gkobgjUjnXKzCZ7aRNnzQ%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706812493&sdata=BVD3v5VBlUQczWl86wZFo1M9NjNCqPYSB8m030QrJEk%3D&reserved=0> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706812493&sdata=2FWqZfv623cNMJyzo%2B4MVihpDSmernTiCGzT%2BRaj6QA%3D&reserved=0> --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQf84aMUtwptz1OQX_2G8Mrr4eOKgocJwZMxT3CCmLOaQ%40mail.gmail.com <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAFxxROQf84aMUtwptz1OQX_2G8Mrr4eOKgocJwZMxT3CCmLOaQ%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706822487&sdata=EsZyJIXu6M%2FlKE2%2BWiesU3SHGu1JUZs2dC8INQ2R1Aw%3D&reserved=0> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706822487&sdata=u545CS69L5HrHsGmyTNOja2A1mALv5wT8FIsim%2BK88A%3D&reserved=0> --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSojOc6ewxFZ3A_hwcYfP74K-PvTqLTxZyA20eNYB6wZ4Q%40mail.gmail.com <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAMXe%253DSojOc6ewxFZ3A_hwcYfP74K-PvTqLTxZyA20eNYB6wZ4Q%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706832483&sdata=xVEz4iWdt%2BT0VZ%2FHxbvM3dvHBOiWYgZcPngMaPrqCTM%3D&reserved=0> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fontologforum.org%2Finfo%2F&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706832483&sdata=y2hM9jqS4y%2FhSK0gQSyraBsZDLg5%2BwBgINmI7ADPSXU%3D&reserved=0> --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS0TT__bBHTGMLLzPfbtcp5HTL-mur9CLzkAMJ-MPJmbw%40mail.gmail.com <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Fontolog-forum%2FCAFxxROS0TT__bBHTGMLLzPfbtcp5HTL-mur9CLzkAMJ-MPJmbw%2540mail.gmail.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=02%7C01%7Cmasjhd%40bath.ac.uk%7C045ad03c5bc04854c5f108d81a822e0c%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637288493706832483&sdata=wbDCxNsMm8xRcZeIZVyRjTpb0YmkexLLUASqfXZMcMA%3D&reserved=0> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341F0CD0F400C669A50553DE0900%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM <https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341F0CD0F400C669A50553DE0900%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSp8-y1RCaHk%2BcyTTd3iOf1e1bsK%2Boxfh_4MmvSpn8oeng%40mail.gmail.com <https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSp8-y1RCaHk%2BcyTTd3iOf1e1bsK%2Boxfh_4MmvSpn8oeng%40mail.gmail.com?utm_medium=email&utm_source=footer> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQ6XxbdkoRM6c_wzbSpB3ZpnrX1818c9rNjMtq1C_PFCA%40mail.gmail.com <https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQ6XxbdkoRM6c_wzbSpB3ZpnrX1818c9rNjMtq1C_PFCA%40mail.gmail.com?utm_medium=email&utm_source=footer> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrdSfcBWSROSm76HnS-bDADh49w6p1o-9UeT3dCCmX7gQ%40mail.gmail.com <https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrdSfcBWSROSm76HnS-bDADh49w6p1o-9UeT3dCCmX7gQ%40mail.gmail.com?utm_medium=email&utm_source=footer> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS3fH5hrPoR_fVD06imRU4DLdjEH3QZtebWnBa2vjC4gg%40mail.gmail.com <https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS3fH5hrPoR_fVD06imRU4DLdjEH3QZtebWnBa2vjC4gg%40mail.gmail.com?utm_medium=email&utm_source=footer> . -- All contributions to this forum are covered by an open-source license. For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/ --- You received this message because you are subscribed to the Google Groups "ontolog-forum" group. To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpgsXDcqSoE8Jz%2B5EGDf6tQptyU%2BquX4VYNRgMFdBWABw%40mail.gmail.com <https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpgsXDcqSoE8Jz%2B5EGDf6tQptyU%2BquX4VYNRgMFdBWABw%40mail.gmail.com?utm_medium=email&utm_source=footer> .
Attachments
- image/png attachment: image001.png
Received on Monday, 29 June 2020 15:13:09 UTC