Blackbox planning system
Encyclopedia
In artificial intelligence
and automated planning and scheduling
, the Blackbox planning system is a planning system which unites SAT-based and Graph-based planning. It was developed by Henry Kautz and Bart Selman
.
Artificial intelligence
Artificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
and automated planning and scheduling
Automated planning and scheduling
Automated planning and scheduling is a branch of artificial intelligence that concerns the realization of strategies or action sequences, typically for execution by intelligent agents, autonomous robots and unmanned vehicles. Unlike classical control and classification problems, the solutions are...
, the Blackbox planning system is a planning system which unites SAT-based and Graph-based planning. It was developed by Henry Kautz and Bart Selman
Bart Selman
Bart Selman is a professor of computer science at Cornell University. He previously was at AT&T Bell Laboratories. He has authored over 90 publications, which have appeared in venues spanning Nature, Science, Proceedings of the National Academy of Sciences and a variety of conferences and journals...
.