Not being competent to judge the value of your intriguing categorical approach, I'd like to see how it relates to:
* abductive logic programming * Quine's obviating the need for names in predicate calculus <https://jimbowery.blogspot.com/2009/01/quines-simplification-of-structural.html> * Tom Etter's (See #12 <https://en.wikipedia.org/wiki/Dartmouth_workshop#Participants>) "Relation Arithmetic Revived <https://web.archive.org/web/20130511001230/http://www.boundaryinstitute.org/bi/articles/Relation-arithmetic_Revived_v3.pdf> " * Phenomenological bracketing of "facts". * Quine identities <https://proofassistants.stackexchange.com/questions/3875/proving-quines-notion-that-identity-belongs-to-logic-within-type-constrained-pr> . The latter two items, phenomenological bracketing and Quine identities -- especially *identities latent in the data*, are essential for unbiasing data. Sorry to burden you with this. On Mon, Aug 12, 2024 at 6:29 PM YKY (Yan King Yin, 甄景贤) < generic.intellige...@gmail.com> wrote: > Hi all, sorry about the delay, I've been very busy with political matters > and planning to immigrate to Canada via a "life-boat" offer due to the > situation in Hong Kong. > > I had planned to attend the conference in person but was too late to apply > for a US visa. I found that it is much easier to make new friends when > meeting physically than online. But I hope someone will find this > interesting, and feel free to message me for more chat 😄 > > Attached is my presentation PPT with some new materials not in the > submitted paper. > > -- > YKY > *"The ultimate goal of mathematics is to eliminate any need for > intelligent thought"* -- Alfred North Whitehead > > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + > delivery options <https://agi.topicbox.com/groups/agi/subscription> > Permalink > <https://agi.topicbox.com/groups/agi/T04cca5b54df55d05-M953f7c54469c5617b5350177> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T04cca5b54df55d05-Mfd48863bd179cfdb2ecf4b9a Delivery options: https://agi.topicbox.com/groups/agi/subscription
