Zum Inhalt

Zukunft made in Austria

KI Verifizierung und KI Testing für Industrie entwickelt von DatenVorsprung

Vorsprung durch Know-How

Expertise

Maßgeschneiderte KI

Durch eine "falsche" Nutzung von Machine Learning Technologien werden oftmals keine optimalen Ergebnisse erzielt und Aufgabenstellungen unzureichend gelöst. DatenVorsprung passt modernste KI Systeme an Ihre individuellen Probleme und Bedürfnisse an, sodass Sie ein optimales Werkzeug zur Datenverarbeitung erhalten.

Verifizierungs-Algorithmen & Safety

Selbst-lernende Systeme werden in den meisten Fällen als "Blackbox-Modelle" verwendet. Dies bedeutet, dass es keinerlei Sicherheit für einen "richtigen" Output z.B. eines Regelsystem mit KI gibt. In den meisten Anwendungen gibt es jedoch Bereiche, die ein Sytem nicht erreichen soll oder darf. Die Technologie von DatenVorsprung schafft einen verhersagbaren definierten Lösungsraum, in dem der Output eines KI System in gewisser Weise garantiert liegen wird.

Robustheitsanalysen

Die Robustheit bestimmt, wie gut ein KI-System im realen Anwendungsbereich arbeitet und seinen tatsächlichen Zweck einhält. Vorallem bei Störungen und unvorsehbarer Datenlage können so Fehlfunktionen und Risiken vermieden und optimales Verhalten eingehalten werden. KI-gesteuerte Systeme bieten ein erhebliches Potenzial für die Prozessoptimierung mit dem Ziel, Effizienz zu maximieren und unerwünschte Verluste zu minimieren. Die bei DatenVorsprung entwickelte Methode führt eine kontinuierliche Überwachung eines gegebenen Systems ein, die ein robustes Verhalten des Reglers auch bei kleinsten Veränderungen innerhalb des Systems gewährleistet.

Erklärbarkeit & Vertrauenswürdigkeit

Der Aufbau neuronaler Netze weist in der Regel einen hohen Komplexitätsgrad auf. Aufgrund dieser Tatsache kann man in konventionellen Systemen nicht abschätzen bzw. berechnen, wie sich ein Netzwerk verhält. Durch eigens entwickelte KI Architekturen schafft DatenVorsprung die Möglichkeit, künstliche Intelligenz erklärbar zu machen. Durch erklärbare Prozesse innnerhalb einer KI widerum wird Vertrauen auf Systemebene hergestellt - ein einzigartiger Vorteil in der Anwendung von KI.

Etwa 60-80% der KI-Projekte scheitern oder werden verworfen, bevor sie marktreif sind, weil sie in der realen Anwendung nicht leistungsfähig, robust oder sicher sind.

DatenVorspung GmbH ist ein High Tech Start-up im Bereich künstliche Intelligenz. Als österreichweit einzigartiger IT-Dienstleister bietet DatenVorsprung verifizierbare und erklärbare KI Systeme für Industrieprozesse, Marketing, Finanzwesen, Kultur uvm an. Das hochspezialisierte Team bestehend aus DatentechnikerInnen, MathematikerInnen und DatenwissenschaftlerInnen hat es sich zum Ziel gemacht, unerklärbare Vorgänge innerhalb einer lernenden KI (Blackbox) formal zu verifizieren, sodass sowohl ethische als auch sicherheitskritische Bedenken bei der Verwendung von künstlicher Intelligenz beseitigt werden können und ein sicherer, vertrauenswürdiger bzw, nicht- diskriminierender Einsatz möglich wird.

Leistungen

DatenVorsprung ist Ihr spezialisierter Partner für künstlicher Intelligenz. Wir entwickeln Lösungen zur formalen Verifizierung von KI Algorithmen für Forschung und Industrie. Darüber hinaus liegt unsere Kompetenz in der Lösung von Optimierungsaufgaben, in der Erstellung von Controllern, Prognosen oder Empfehlungen sowie in der visuellen Darstellung Ihrer Daten und Ergebnisse.

Research

KI Algorithmen finden stetig Einzug in naturwissenschaftliche Forschung. Hierbei geht es um neue unbekannte Zusammenhänge, Zustände und Mechanismen. Die Reachtubes von DatenVorsprung bilden die Basis, neue und unbekannte Zustände in KI Systemen effizient zu detektieren.

Wir bieten:

Industry

Für Autonomes Fahren, Energiemanagement, Controller, Ethik usw. muss sichergestellt werden, dass ausschließlich bekannte, sichere und gewünschte Zustände (Resultate) von maschinengesteuerten Systemen eingehalten werden.

Wir bieten:

Unsere Spezialität

Robustness Analysis


Robustheit von KI bezieht sich auf das Ausmaß, in dem sich der Output eines Modells bei der Verwendung neuer Daten im Vergleich zu den Trainingsdaten ändert. Im Idealfall sollte der Output nicht wesentlich abweichen und die Perfomance des Systems im gewünschten Bereich bleiben. Die Robustheit ist aus mehreren Gründen wichtig. Erstens hängt das Vertrauen in jedes Tool von einem zuverlässigen Output ab. Das Vertrauen kann schwinden, wenn ein ML-System auf unvorhersehbare und schwer verständliche Weise arbeitet. Zweitens kann eine Abweichung vom erwarteten Ouput auf wichtige Probleme hinweisen, die Aufmerksamkeit erfordern.


Neuronale
Netze


Künstliche neuronale Netze gehören zur Kategorie “Machine Learning”. Um möglichst komplexes Lernen zu ermöglichen, verwenden wir verschiedenste Arten an neuronalen Netzen, die in der Forschung momentan eingesetzt werden. Ein künstliches neuronales Netzwerk ist dem neuronalen Netzwerk im Gehirn des Menschen nachempfunden und soll durch seinen Aufbau möglichst komplexe Aufgaben lernen können. Durch den Einsatz unserer eigenen, verifizierbaren Netze kann – nachdem ein neuronales Netz maschinell bereits gelernt hat – garantiert werden, in welchem Entscheidungs- oder Lösungsbereich der Output sein wird. Diese Garantie bewahrt vor unvorhergesehenen Ereignissen und Outputs.

Kunden-Projekte

BECKHOFF Automation GmbH

Automatisierungssysteme: Hardware und Software

Programmierung und Implementierung von Echtzeit-KI-Controllern auf professioneller Automatisierungshardware für den industriellen Einsatz

TrustifAI

KI-Zertifizierer

Bereitstellung von Testergebnissen für den Zertifizierer, damit dieser ein Zertifikat für KI in industriellen Anwendungen ausstellen kann

hostmyplace

Wohnungsvermittlung

Erstellung einer Zielgruppenanalyse auf Basis von Tourismusdaten, Social Media Beiträgen und eigenen Buchungsdaten. Real-Time Preisbewertung anhand sozialer Trends

Absolut Ticket

Ticketsystem

Prognosen und Empfehlungen im Bereich Marketing. Integration einer Visualisierung in bestehende Software des Unternehmens

Gefördert von

Kontaktieren Sie uns für weitere Informationen​

+43 1 513 11 11 85

team@datenvorsprung.at