@MIT's new AI can teach itself to control robots by watching the world through their eyes — it only needs a single camera. Via @live_science #AI #ArtificialIntelligence 💻 🧠 #Robotics 🤖
MIT's new AI can teach itself ...
@MIT's new AI can teach itself to control robots by watching the world through their eyes — it only needs a single camera. Via @live_science #AI #ArtificialIntelligence 💻 🧠 #Robotics 🤖
MIT's new AI can teach itself ...
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
ESBMC - An Efficient SMT-based Bounded Model Checker
https://ssvlab.github.io/esbmc/
"ESBMC is an open-source, [...], context-bounded model checker based on satisfiability modulo theories for verifying single- and multi-threaded C/C++ programs. It does not require the user to annotate the programs with pre- or postconditions, but allows the user to state additional properties using assert-statements, that are then checked as well."
1/3
https://dl.acm.org/doi/10.1145/3691620.3695512
"We investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the control flow graph (CFG). A portion of the CFG representing a loop is replaced by a node asserting invariants of the loop[...]."
(continues next toot...)
2/3
📨 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/
📨 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 ...
Minister tells UK's Turing AI institute to focus on defence. Via @bbc #AI #ArtificialIntelligence 💻 🤖 🧠
Minister tells UK's Turing AI ...
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
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
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
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)
Try to design an objective function for a self-driving car...
1/3
A space for Bonfire maintainers and contributors to communicate
