Literatur im Fachgebiet Informatik Küns­t­liche Intelligen­z

Eine schlagwort­basierte Auswahl unserer Fachbücher

Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen (Forschungsarbeit)

Mehrdimensionale Wissenspräsentationen technischer Systeme und ihre Anwendung in intelligenten Tutoriellen Systemen

Forschungsergebnisse zur Informatik

Intelligente Tutorielle Systeme (ITS) bieten vielfältige Vorteile gegenüber konventionellen Systemen für Computer Based Training (CBT), insbesondere Adaptivität an den Schüler und die Flexibilität ihres Einsatzes für unterschiedliche Ausbildungszwecke. Rascher Wandel und Fortschritt im industriellen Bereich…

Learning Search Heuristics for Automated Deduction (Forschungsarbeit)

Learning Search Heuristics for Automated Deduction

Forschungsergebnisse zur Informatik

Viele Probleme in der Informatik, speziell im Teilgebiet der Künstlichen Intelligenz (KI), werden mit Verfahren bearbeitet, die auf Suche basieren. Zu diesen Suchproblemen zählt auch die automatische Deduktion. Probleme aus diesem Bereich gehören zu den schwierigsten Suchproblemen. Gerade hier ist es…

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien (Forschungsarbeit)

Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien

Forschungsergebnisse zur Informatik

Shirin Bakthari setzt sich zum Ziel, eine Symbiose herzustellen zwischen zwei Forschungsrichtungen: der parakonsistenten Logik einerseits und der Künstlichen Intelligenz andererseits, indem bei der Entwicklung von Problemlösungsverfahren, die einen methodischen Umgang mit Inkonsistenz aufweisen,…

Literatur: Küns­t­liche Intelligen­z / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač