Wissenschaftliche LiteraturKünstliche IntelligenzInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Matthias Fuchs
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 unbestritten,…
AIArtificial IntelligenceAutomated DeductionAutomatische DeduktionHeuristische SucheInformatikKIKünstliche IntelligenzMaschinelles LernenMenschliches VerhaltenProblemlöseverhaltenSuchheuristikSuchmethodenThomas Diessel
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…
AIArtificial IntelligenceCBTComputer Based TrainingInformatikIntelligente Tutorielle SystemeITSKIKünstliche IntelligenzMehrdimensionalRechnerunterstütztes LernenWissensrepräsentationShirin Bakthari
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, nicht–klassische…
AIArtificial IntelligenceInformatikInkonsistente TheorienInkonsistenzKIKI-ParadigmaKünstliche IntelligenzNicht-klassische LogikParakonsistente LogikProblemlösungsverfahrenVerarbeitung