Metadata
Author: cordis
Data
German[de]
Zusätzlich hat das Projekt die Anwendung von n-Matrizen in der Beweistheorie, der automatischen Ableitung und der Fuzzylogik untersucht, letztere dient zu Modellierung von Unsicherheiten.
English[en]
In addition, the project has explored the application of Nmatrices in proof theory, automated deduction and fuzzy logic, which is reasoning under uncertainty.
Spanish[es]
Además, el proyecto ha estudiado la aplicación de las matrices no deterministas a la teoría de la prueba, la deducción automática y la lógica difusa, que consiste en razonar en condiciones de incertidumbre.
French[fr]
Le projet a de plus exploré l'application des Nmatrices en théorie de la preuve, en déduction automatique et en logique floue, qui est un raisonnement dans l'incertitude.
Italian[it]
Inoltre il progetto ha studiato l'applicazione delle Nmatrici nella teoria della dimostrazione, nella deduzione automatica e nella logica fuzzy, che è un ragionamento in condizioni di incertezza.
Polish[pl]
Ponadto w ramach projektu badano zastosowania N-macierzy do teorii dowodu, zautomatyzowanej dedukcji i logiki rozmytej, czyli wnioskowania na podstawie niepewnych danych.