--
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-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpuk%2BJAfFwERT6DTYSP5QrX4dLUQgpafmzr%3D8Ri7EDPnw%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAAN3-5coOuT9TAp2u%3Da15x%2BhFnpKSSAmz0A%3DTz4chTOFPBQEQg%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpfF_if-1sHgxM84-ZF%2BnBnEAq_%2BoR34mdKUG9vPWhPBQ%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROSA5kRU704BW7U_%2BHz6tUseSCsLE8xfzG2a5UCMxQccJg%40mail.gmail.com.
Ravi
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpfF_if-1sHgxM84-ZF%2BnBnEAq_%2BoR34mdKUG9vPWhPBQ%40mail.gmail.com.
I am not sure I understand the construct symbolic equation in this slideanyone could like to comment/explain?
--
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-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSqMracV5Do-xUu2PLOboVzx7gkobgjUjnXKzCZ7aRNnzQ%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQf84aMUtwptz1OQX_2G8Mrr4eOKgocJwZMxT3CCmLOaQ%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSojOc6ewxFZ3A_hwcYfP74K-PvTqLTxZyA20eNYB6wZ4Q%40mail.gmail.com.
yes, I could not find any reference in the history of maths to symbolic equationsas constructs
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSojOc6ewxFZ3A_hwcYfP74K-PvTqLTxZyA20eNYB6wZ4Q%40mail.gmail.com.
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: ontolo...@googlegroups.com <ontolo...@googlegroups.com>
On Behalf Of Alex Shkotin
Sent: 27 June 2020 11:09
To: ontolog-forum <ontolo...@googlegroups.com>
Cc: W3C AIKR CG <publi...@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. |
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS0TT__bBHTGMLLzPfbtcp5HTL-mur9CLzkAMJ-MPJmbw%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341F0CD0F400C669A50553DE0900%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.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.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQ6XxbdkoRM6c_wzbSpB3ZpnrX1818c9rNjMtq1C_PFCA%40mail.gmail.com.
Alex, Paola, Ravi, James, List
I'll just make a few comments on
some of the issues.
Re notation: Mathematicians don't think in words. They think in two ways that are far more fundamental than words: (1) images about the subject matter (geometry, for example); and (2) mathematical notations, which are more universal than the words used to describe them in any language around the word.
For a simple example, when you're doing arithmetic, with a calculator or with pencil and paper, do you think of or even remember how you were taught? Does anybody think about the words 'minuend' and 'subtrahend' when doing subtraction?
Mathematicians never think about the way any teacher defined the word 'equation'. They just write the symbol '=' and use it in their theorems, proofs, and computations. The words are totally irrelevant because they're totally forgotten.
Re Wolfram: His company developed Mathematica, a collection of excellent tools for helping professional scientists, engineers, and mathematicians do complex symbolic computations. There are also free tools, such as Mathlab, which are also widely used. People around the world use these tools without thinking about the words their teachers used in some long-forgotten classroom.
Re what is fundamental: For professionals in any field, the level that is fundamental is the level they use in talking with their colleagues, students, teachers, customers, managers, funding agencies, etc. This point is true for any profession from farming and cooking to astronomy and brain surgery. The word 'fundamental' is relative to the subject matter.
Re neuroscience: In ancient times (1990s, for example) people like Paul and Patricia Churchland used the term 'folk psychology' to deprecate the way people talk about their thinking, feeling, and emotions. They claimed that someday in the future, people would learn to use more precise neural terminology instead of talking about their feelings.
But today, the neuroscientists have far more respect for the way people talk about their feelings than they have for the Churchlands. In experiments with fMRI scanners, for example, the words that people use to describe their thoughts and feelings are the raw data, which the scientists correlate with what they brain scans show. The words that ordinary people use to describe their feelings are essential data. The scientists don't call it "folk psychology".
For examples, see the slides in Section 6 of http://jfsowa.com/talks/eswc.pdf .For even more examples, see the slides for "The virtual reality of the mind": http://jfsowa.com/talks/vrmind.pdf . (I extracted some of these slides for Section 6 of eswc.pdf.)
John
I agree with John inasmuch as he is describing thinking. But surely ontologies are for storing and communicating, and here it does matter (as that paper points out). I recall a Masters-level lecture of mine in France falling flat because they do grade-school division differently.
James
From: ontolo...@googlegroups.com <ontolo...@googlegroups.com>
On Behalf Of John F. Sowa
Sent: 27 June 2020 15:15
To: ontolo...@googlegroups.com
Subject: Re: [ontolog-forum] Re: 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. |
Alex, Paola, Ravi, James, List
--
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-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/7f2a59497abe637c43c8b0f93b5dd717.squirrel%40webmail2.bestweb.net.
James,
Yes. That is a concern:
JD> I agree with John inasmuch as he is describing thinking. But surely ontologies are for storing and communicating, and here it does matter (as that paper points out). I recall a Masters-level lecture of mine in France falling flat because they do grade-school division differently.
Solution: Make the formal definitions *normative*. Then translate those definitions to a version of English that is described as *informative*. If there is any doubt about the English version, state that the formal version takes priority.
If you want a source of definitions for mathematical terms, see Mathematica or Mathlab. Since Mathematica is proprietary, Mathlab is probably a better source for the definitions. But it would be a good idea to check any definitions with Mathematica to make sure that there aren't any discrepancies.
John
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. |
James,
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrdSfcBWSROSm76HnS-bDADh49w6p1o-9UeT3dCCmX7gQ%40mail.gmail.com.
Yes I think I am seeing thatPlease share exciting examples
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrdSfcBWSROSm76HnS-bDADh49w6p1o-9UeT3dCCmX7gQ%40mail.gmail.com.
Paola,
Every ANN that has ever been designed and used maps symbols to symbols. For examples, please look at slide 36 of http://jfsowa.com/talks/eswc.pdf .
The table at the top of the slide is by Andrew Ng, who is an expert in designing and developing ANNs. The comments about that table are summaries of what Ng said in the video, which I cited at the bottom of that slide.
PDM> 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.
For pattern recognition, the input for a typical ANN is a matrix of symbols (triads of numbers for Red, Green, and Blue) that represent the colors of pixels in a photograph. The output is a symbol (or structure of symbols) that describes the image represented by those pixels.
In the Alpha Go system, which beat the world champion at Go, the ANN for the evaluation function mapped symbols that represented stones on a Go board to symbols (numbers) that estimated the strength of a particular Go position for one player or the other.
Although the Alpha Go designers gave most of the credit to the ANN, the system was actually a hybrid. It used many symbolic steps to play the game and search different options. There was only one step that used an ANN: evaluate a board position to estimate which player had a better position.
Research issue: Instead of using one or more ANNs to do all the steps of cognition, find some way of subdividing the task into a variety of different kinds of tasks that must be performed. Then determine which of those tasks could be handled better by an ANN or by some symbolic method.
John
PDM>ALEX 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.
--
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-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/e97196ea75a2848cde3d196a3691959a.squirrel%40webmail2.bestweb.net.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROS3fH5hrPoR_fVD06imRU4DLdjEH3QZtebWnBa2vjC4gg%40mail.gmail.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.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpgsXDcqSoE8Jz%2B5EGDf6tQptyU%2BquX4VYNRgMFdBWABw%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/001b01d64cdb%2428e51960%247aaf4c20%24%40com.
What are you referring to? It seems the expression used "symbolic equation" should be mathematical equation.And for the record there is no complete encyclopedia of modern mathematics.The image in the tweet is a pipe dream. To get from the graph network to the mathematical equation is utter simplification. Science requires that a hypothesis must be falsifiable. Running the same data with multiple AI systems will still require humans to validate the hypothesis. Testing the hypothesis requires a level of reasoning that can produce e.g. though experiments or comparison with similar theories in other fields. And also requires an interplay of formal and non-formal thinking and switching between natural language and mathematical expression that is beyond the current grasp of AI.Milton Ponson
GSM: +297 747 8280
PO Box 1154, Oranjestad
Aruba, Dutch Caribbean
Project Paradigm: Bringing the ICT tools for sustainable development to all stakeholders worldwide through collaborative research on applied mathematics, advanced modeling, software and standards development
--
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-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/7f2a59497abe637c43c8b0f93b5dd717.squirrel%40webmail2.bestweb.net.
OpenMath represents all mathematical expressions as trees (there is scope for DAGs, but this is really just space optimisation at one level), including equations. Note that many people would represent a=b as
=
/ \
a b
OpenMath represents it as
OMA (OpenMath application)
/ | \
= a b
= is a node of type OMS (OpenMath symbol) with defined semantics
a and b are nodes of type OMV (OpenMath variable).
This way the unbounded variety of mathematical notation can be represented in a fixed number of node types.
James
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSpgsXDcqSoE8Jz%2B5EGDf6tQptyU%2BquX4VYNRgMFdBWABw%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/LO2P265MB1341B8D6E414A3DB68D01055E0910%40LO2P265MB1341.GBRP265.PROD.OUTLOOK.COM.
Good question. But OpenMath is purely an ontology, not a system.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrYNc8xHyqNzGEntv1YVbbbgxb6aWh1%2Boynptu0aHm-zQ%40mail.gmail.com.