Keywords: IRIS, Agents, Agentic AI, Smart Apps
Motive?
Transformer based LLMs appear to be a pretty good "universal logical–symbolic abstractor". They started to bridge up the previous abyss among human languages and machine languages, which in essence are all logic symbols that could be mapped into the same vector space.
Objective?
Wondering for 3 years we might be able to just use English (etc human natural languages) to do IRIS implementations as well, one day.


