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
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 SystemeTransformationsbasierte 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…
ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformationDie 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ädikatenlogikSpezifikationProblemlö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ösungsverfahrenVerarbeitungAnalogieschlü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