Re: [ontolog-forum] New Postulate formulation on AI KR

Thank you Alex

variations/elaborations  welcome (Vx)

There is a problem with math KR tho - which has been discussed forever
I ll summarise it briefly hoping to put things to rest:

Interdisciplinarity is fundamental to problem solving in most domains, and
applied science and engineering are concerned primarily with problem
solving, rather than purely theoretical formulations

Interdisciplinarity means not everyone uses maths (  apparently even
mathematicians sometimes use different types of maths) Most domain experts
are not mathematicians

Therefore, maths, like ml should also be translatable/mappable to to plain
natural language, even better to some diagrammatic notation  or logical
language that reproduces the logical schema ideally, problems and solutions
should be represented in a multiplicity of ways

This particular postulate - luckily I dont wake up early morning to
postulate very often - has been prompted but the need to fill a gap between
symbolic an subsymbolic KR as per the posts, and having a citable reference
I am sure it can be refined further
PDM



On Mon, Aug 26, 2019 at 4:29 PM Alex Shkotin <alex.shkotin@gmail.com> wrote:

> Paola,
>
> I keep in mind a variation of your postulate:
> Any algorithm (including MLA) has math representation.
>
> This is all that we have been talking about since Leibniz: math knowledge
> representation:-)
> The problem is that computer programs and DBs are not mathematical structures
> but they work:-)
>
> Alex
>
> пн, 26 авг. 2019 г. в 05:27, Paola Di Maio <paola.dimaio@gmail.com>:
>
>> Since posting  discussions about bridging the gap between symbolic and
>> subsymbolic, (see related posts) I have formulated a simple postulate, and
>> assigned a DOI so that anone following up on these discussions can cite the
>> contribution accordingly. I ll be happy to review the postulate with
>> comments and suggestions if any
>>
>> To support AI explainability, learnability,verifiability and
>> reproducibility, it is postulated that
>> for each MLA *machine learning algorithm,
>> there should correspond a natural language expression or other type of
>> symbolic knowledge representation
>>
>> https://doi.org/10.6084/m9.figshare.9730268.v2
>>
>> https://figshare.com/articles/A_New_Postulate_for_Knowledge_Representation_in_AI/9730268
>>
>>
>> --
>> 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%3DSrRtE0_8O3jtKKA%3D%2BOR%2BWUbFjCQi4Fxy_EzenO1CiYNjA%40mail.gmail.com
>> <https://groups.google.com/d/msgid/ontolog-forum/CAMXe%3DSrRtE0_8O3jtKKA%3D%2BOR%2BWUbFjCQi4Fxy_EzenO1CiYNjA%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/CAFxxROSc2ks%2BMsg-52eHktHVkQVRrKZCc8sXBSExXq5kv62ocQ%40mail.gmail.com
> <https://groups.google.com/d/msgid/ontolog-forum/CAFxxROSc2ks%2BMsg-52eHktHVkQVRrKZCc8sXBSExXq5kv62ocQ%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>