5 Bücher 

Wissenschaftliche LiteraturLogikInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Unscharfe Validierung strukturierter Daten (Doktorarbeit)

Unscharfe Validierung strukturierter Daten

Ein Modell auf der Basis unscharfer Logik

Kölner Beiträge zu einer geisteswissenschaftlichen Fachinformatik

Die unscharfe Logik ist eine Erweiterung der klassischen zweiwertigen Logik. Zusätzlich zu den Wahrheitswerten „wahr“ und „falsch“ werden in der unscharfen Logik Wahrheitsgrade eingeführt, die einen stufenlosen Übergang von „wahr“ zu „falsch“ ermöglichen. Bildhaft gesprochen unterscheidet die klassische Logik die…

EinführungFuzzy LogicInformatikLinguistische VariableMehrwertige LogikPhilosophieUnscharfe LogikUnscharfe MengenWissensbasierte Systeme
Transformationsbasierte temporallogische Programmierung (Forschungsarbeit)

Transformationsbasierte temporallogische Programmierung

Forschungsergebnisse der Programmentwicklung

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch…

ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformation
Die Integration formaler Methoden zur Spezifikation von Informationssystemen (Forschungsarbeit)

Die Integration formaler Methoden zur Spezifikation von Informationssystemen

Studien zur Datenbankforschung

Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster…

dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikation
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, nicht–klassische…

AIArtificial IntelligenceInformatikInkonsistente TheorienInkonsistenzKIKI-ParadigmaKünstliche IntelligenzNicht-klassische LogikParakonsistente LogikProblemlösungsverfahrenVerarbeitung
Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen…

ÄhnlichkeitsfunktionAlgorithmenAnalogieautomatisches BeweisenBewertungsfunktionInformatikKlassifikationKonnektions-MethodePrädikatenlogik