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>
> .
>