Rune Moeller Jensen is researching automatic planning at The IT University of Copenhagen. "Planning is based on selecting and organizing activities in relation to their expected outcome to achieve specific goals. We all know planning problems from everyday life. If we, for example, are building a house, there are many activities which need to be coordinated. Such as the house's foundation needs to be completed before the walls can be built", explains Rune Moeller Jensen, adding that the same applies within IT.
"Planning technology has progressed a very long way and the number of industrial applications is increasing rapidly", says Rune Moeller Jensen. Automatic planning is used for example in air traffic control and in the planning of military rescue operations.
Automatic planning is part of an area within computer science called artificial intelligence. The goal is to develop algorithms which use descriptions of planning problems, such as a rescue operation, to return a plan of how such complex situations can be solved. Automatic planning is very challenging. "If, for example, there are 25 different things you could bring with you in a rescue helicopter such as oxygen masks, resuscitation equipment and life jackets, then there are in general 225 or more than 33 million ways to load the helicopter", explains Rune Moeller Jensen.
New Efficient Combination Creates New Opportunities
Rune Moeller Jensen’s research can be seen as providing a way to combine route planning principles with principles for automatic fault finding. "My research has combined two different but complementary principles for handling complex planning problems, developed within the computer science disciplines of artificial intelligence and formal verification", explains Rune Moeller Jensen.
Several research groups have tried to combine the two principles. However, this has been shown to be difficult. Rune Moeller Jensen has, in co-operation with American colleagues from Carnegie Mellon University, developed a method called state-set-branching, in which the two principles can be combined. "We could show that these search algorithms were more efficient than previous algorithms", he says. He explains that the new technology has been used to plan search and rescue operations for the American air force.
Snake-inspired robot uses kirigami to move
22.02.2018 | Harvard John A. Paulson School of Engineering and Applied Sciences
Camera technology in vehicles: Low-latency image data compression
22.02.2018 | Fraunhofer-Institut für Nachrichtentechnik, Heinrich-Hertz-Institut, HHI
A newly developed laser technology has enabled physicists in the Laboratory for Attosecond Physics (jointly run by LMU Munich and the Max Planck Institute of Quantum Optics) to generate attosecond bursts of high-energy photons of unprecedented intensity. This has made it possible to observe the interaction of multiple photons in a single such pulse with electrons in the inner orbital shell of an atom.
In order to observe the ultrafast electron motion in the inner shells of atoms with short light pulses, the pulses must not only be ultrashort, but very...
A group of researchers led by Andrea Cavalleri at the Max Planck Institute for Structure and Dynamics of Matter (MPSD) in Hamburg has demonstrated a new method enabling precise measurements of the interatomic forces that hold crystalline solids together. The paper Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, published online in Nature, explains how a terahertz-frequency laser pulse can drive very large deformations of the crystal.
By measuring the highly unusual atomic trajectories under extreme electromagnetic transients, the MPSD group could reconstruct how rigid the atomic bonds are...
Quantum computers may one day solve algorithmic problems which even the biggest supercomputers today can’t manage. But how do you test a quantum computer to...
For the first time, a team of researchers at the Max-Planck Institute (MPI) for Polymer Research in Mainz, Germany, has succeeded in making an integrated circuit (IC) from just a monolayer of a semiconducting polymer via a bottom-up, self-assembly approach.
In the self-assembly process, the semiconducting polymer arranges itself into an ordered monolayer in a transistor. The transistors are binary switches used...
Breakthrough provides a new concept of the design of molecular motors, sensors and electricity generators at nanoscale
Researchers from the Institute of Organic Chemistry and Biochemistry of the CAS (IOCB Prague), Institute of Physics of the CAS (IP CAS) and Palacký University...
15.02.2018 | Event News
13.02.2018 | Event News
12.02.2018 | Event News
23.02.2018 | Physics and Astronomy
23.02.2018 | Health and Medicine
23.02.2018 | Physics and Astronomy