Again it's probably my limited scope on the topic that brings me to such conclusions.
I gave a check to the ARC project and it seems like a great challenge (from the standpoint of proactiveness).
What i might not understand is how could a challenge defined like so "AGI is a system that can efficiently acquire new skills outside of its training data." be possible. My mind goes to deep learning, to RNNs, to something that does online training but then again i think that after a while, learning on it's own, wouldn't it introduce noise into it's system? in my mind (again, ignorance speaking here) online training requires some sort of back propagation, some sort of learning on it's own from it's own. The acquisition of new skills must come from either itself or an agent's surrounding environment... i just can't see how this whole system could be stable
I should think about it soon enough... exam season is closer than ever... shit i do wish to go on top of a mountain and never come back doe... Kaczynski style (with less bombs)
I started doing some side activities (gym, theater, creative writing) etc but haven't taken time of in... years? (i use my PTO from work to study for uni exams)...
That is my point, i think that prolog isn't just a simple tool to solve stuff, i think that it's potential can still be explored (even if, to be fair, Rust can run on a functional paradigm setting)
i've been aware of that for a while, it seems to be the state of the art at least in my university (to the point that to this day the researchers are trying to convert old prolog projects to this implementation)
Any answer here is a good one since the question is soooo unspecific :D.
My professor is a staunch advocate for RDF/OWL, inference engines and stuff like that (hence why i also mentioned ontologies :D).
The thing is that i think that the language itself has so much untapped potential and the world that i dived into with my studies is so vast, so full of stuff that it left me kind of dazed to be fair!
I got some papers in regards to knowledge representation (that to be fair i still have to read... exams and work got in the midst of all :/) but still it seems so... odd:
when we were studying OOP in my bachelor we went over the usual examples that made you understand "this is not an imperative paradigm but there are object abstractions" while, in my studies, prolog and logic programming in general was seen as a tool of sorts for reaching an objective like "hey we have a MAS system, let's sprinkle some prolog in it for fun :D" (maybe i am exaggerating but it feels like this lol).
I feel it can do much much more
Looks fun :D, i think that if i ask my manager to build something out of Prolog i would probably get stab... i mean fired since most of us work in OOP.
I would love to be that insane one asking for that :D.