Re: [ontolog-forum] symbolic equation?

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