In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle...

Future technical systems will be companion systems, competent assistants that function in a completely individualized way, adapting to the user's capabilities, preferences, requirements, and emotional state. The chapters in this edited book present an enabling technology for such systems, divided into sections on planning and decision-making, interaction and dialogue, and situation and emotion. The book is suitable for researchers in artificial intelligence.