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

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