Re: [ontolog-forum] symbolic equation?

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