Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 3 weeks ago

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
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 3 weeks ago

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