Re: [ontolog-forum] symbolic equation?

Thank you Michael
will make my life so much simpler, but I ll need a lot more space

On Sun, Jun 28, 2020 at 7:32 AM Michael Denny <regattago@gmail.com> wrote:

> 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&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: 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>
> .
>
> --
> 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/001b01d64cdb%2428e51960%247aaf4c20%24%40com
> <https://groups.google.com/d/msgid/ontolog-forum/001b01d64cdb%2428e51960%247aaf4c20%24%40com?utm_medium=email&utm_source=footer>
> .
>