Creating Pervasive Intelligent Environments, Fachbücher von Atif Alvi

"Creating Pervasive Intelligent Environments" ist ein Fachbuch, das sich mit der Integration von intelligenten Technologien in verschiedenen Umgebungen befasst. In einer Welt, die zunehmend von eingebetteten Prozessoren geprägt ist, untersucht das Buch, wie unterschiedliche Hardware- und Softwarekomponenten nahtlos zusammenarbeiten können. Der Autor, Atif Alvi, präsentiert ein Prototyp-System namens AutoHAN, das darauf abzielt, Automatisierung in Bezug auf Anwendungen und Ressourcen zu ermöglichen. Das Buch verwendet das Zuhause als Referenzrahmen, um die Konzepte zu veranschaulichen, und legt besonderen Wert auf die formale Verifizierung des Verhaltens von Anwendungen, um Konflikte und Regelverletzungen zu vermeiden. Durch die Modellierung von Domänen und den zugehörigen Regeln in einer Ontologie, die in Prädikatenlogik ausgedrückt ist, wird eine zuverlässige Kontrolle der Umgebung gewährleistet. Dieses Werk richtet sich an Forscher, Entwickler und Anbieter im Bereich intelligenter Umgebungen und regelbasierter Steuerung und hat weitreichende Anwendungen in der Automatisierung.