Jessynoo

Argumentation technologies. A whole sub-branch extending Fol and modal logics. See Java's Tweety or Argument Interchange Format. Again my early tests suggest LLMs are very good at building belief sets, running reasoners and interpreting their results in layman's terms.

• Symbolic learning (Kbil etc.) has kind of faded away, and the whole chapter was nuked from AIMA. Waiting for its comeback.
• Game theory has made a lot of progresses both on the algorithmic and the societal sides (Regret minimisation, bayesian and differential games, topology of elementary games, mechanism design, social choice theory etc). Hopefully it will get democratized at some point, because it is needed.
• Probabilistic programming does not seem to get as much traction recently, but it seems the corresponding approaches extend ML and provide a bridge with Symbolic approaches.
• Arg-tech and more generally semantic-web still seem niche, whereas LLMs are the perfect tools to finally get it done. It can also do some good to our current societal issues.