Projektbeschreibung
Nähere Bestimmung einer unscharfen Wissensdarstellung
Eine Logik besteht aus einer formalen oder informellen Sprache zusammen mit einem deduktiven System, das gültige Argumente für die gegebene Sprache beschreibt, sowie einer Semantik, welche die Bedeutung der Komponenten der Sprache definiert. Logiken gibt es für alle Arten von Sprachen, auch für gesprochene Sprachen und Programmiersprachen. Wie auch bei der menschlichen Sprache kann die mathematische Logik der Darstellung „unscharfer“ Informationen dienen. Unscharfe Schlussfolgerungen und Wissensdarstellung sind Bereiche mit wichtigen praktischen Anwendungen. Die Fuzzy-Logik beispielsweise nähert sich Aussagen mit Wahrheitswerten und nicht mit den klassischen Begriffen wahr (1) und falsch (0) an. Das Projekt ClaVa untersucht mit Unterstützung der Marie-Skłodowska-Curie-Maßnahmen Klauselformen in nichtklassischen Logiken in Hinsicht auf ihren Einsatz bei der Verarbeitung unscharfer Informationen.
Ziel
This is a resubmission of proposal number 898845 submitted to MSCA-IF-2019 and not funded.
The main objective of this project is to study clausal-form systems for real and rational-valued events, facing the questions of their general definition, usage and solvable problems (SAT and optimality) from the point of view of their complexity, algorithmic design and applicability. It is focused on studying in full generality the definition of clausal form in non-classical logics for their use in vague knowledge representation. At the most general level, it is planned to reach a the definition based on n-ary- level subsets of literals and using symmetric term-definable operations of arbitrary arity to combine each level, over Mathematical Fuzzy Logics and over some other Substructural Logics. In the first family of logics, vague concepts with inverse (tall-short, hot-cold, etc), truth stressers and comparaisons (more, much more, etc) can be modeled naturally. On the other hand, substructural logics allow to model non-linearly ordered notions (eg. situations that cannot be considered better or worse between them), and non-integral algebras for combination of knowledge (i.e. with an operation * such that x*y > x for some y). We plan to 1) introduce definitions of general clausal forms over the above logical systems, study their possible equivalences and their logical properties (axiomatization of fragments, admissible rules, etc); 2) study real-world vague notions to be modeled using some of the previous forms and of the above logics; 3) design and test efficient solving procedures for three natural questions: SAT (evaluation sending the clause to 1), Max-SAT (evaluation maximizing the number of satisfied clauses) and optimality with respect to an objective (evaluation maximizing/minimizing the clause) 4) do a complexity classification of the clausal forms, and study their normality (i.e. if any formula is equivalent to one in the desired form for the problems above).
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Informatik und Informationswissenschaften Datenwissenschaften Datenverarbeitung
- Naturwissenschaften Mathematik reine Mathematik diskrete Mathematik
- Naturwissenschaften Informatik und Informationswissenschaften künstliche Intelligenz Computational Intelligence
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Wir bitten um Entschuldigung ... während der Ausführung ist ein unerwarteter Fehler aufgetreten.
Sie müssen sich authentifizieren. Ihre Sitzung ist möglicherweise abgelaufen.
Vielen Dank für Ihr Feedback. Sie erhalten in Kürze eine E-Mail zur Übermittlungsbestätigung. Wenn Sie sich für eine Benachrichtigung über den Berichtsstatus entschieden haben, werden Sie auch im Falle einer Änderung des Berichtsstatus benachrichtigt.
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) H2020-MSCA-IF-2020
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenKoordinator
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
28006 MADRID
Spanien
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.