Automated planning and scheduling

https://en.wikipedia.org/wiki/Automated_planning_and_scheduling

Satplan

https://en.wikipedia.org/wiki/Satplan

"Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing satisfiability such as the DPLL algorithm or WalkSAT"

Fascinating! 🤓

2/3

#SAT #AI #ArtificialIntelligence#NoLLM

📨 Today, EDRi and 51 civil society organisations, academics, and experts have written to the European Commission to oppose any attempts to suspend or delay the #ArtificialIntelligence #AI Act.

These attempts, especially in light of the growing trend of #deregulation of #FundamentalRrights and environmental protection, could undermine accountability and hard-won rights for people, the planet, justice and democracy 🚨

Read the open letter ➡️ https://edri.org/our-work/open-letter-european-commission-must-champion-the-ai-act-amidst-simplification-pressure/

Minister tells UK's Turing AI institute to focus on defence. Via @bbc #AI #ArtificialIntelligence 💻 🤖 🧠

Minister tells UK's Turing AI ...

AIXI

https://en.wikipedia.org/wiki/AIXI

"AIXI /ˈaɪksi/ is a theoretical mathematical formalism for artificial general intelligence. It combines Solomonoff induction with sequential decision theory. AIXI was first proposed by Marcus Hutter in 2000[...]."

"[...]AIXI is incomputable."

3/3

#AI #ArtificialIntelligence#Gödel#AGI#ArtificialGeneralIntelligence

Oops, I think I've gone a bit too deep into the #AI rabbit hole today 😳 (a thread 🧵):

Did you know why AI systems like #AlphaGo or #AlphaZero performed so well?
It was because of their objective function:
-1 for loosing, +1 for winning ¯_(ツ)_/¯

Why Artificial Intelligence Like AlphaZero Has Trouble With the Real World (February 2018)

https://www.quantamagazine.org/why-artificial-intelligence-like-alphazero-has-trouble-with-the-real-world-20180221/

Try to design an objective function for a self-driving car...

1/3

#ArtificialIntelligence#RabbitHole