About: Logical Models of Reasoning with Vague Information

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Logical Models of Reasoning with Vague Information Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GEICC/08/E018
Description	Spektrum vědeckých oborů zabývajících se vágností je široké a zahrnuje humanitní, přírodní i technické disciplíny. Přesto neexistuje univerzální teorie, která by fenomén vágnosti úplným způsobem zachycovala a byla přitom akceptována různými vědeckými komunitami. Protože se však teorie vágnosti vyvíjely značně různými směry, nelze takovouto univerzální teorii ani očekávat.Hlavním cílem projektu LoMoReVI je jiná cesta k vytvoření jednotícího rámce – systematické zkoumání vztahů mezi různými reprezentacemi vágnosti a neurčitosti. Tím bude vytvořen společný formální rámec, který umožní komunikaci mezi jednotlivými komunitami a převoditelnost výsledků mezi různými formalizmy.Český tým se bude podílet na projektové části matematicko-logické (reprezentace vágnosti prostředky formální fuzzy logiky) a filosoficko-logické (relace mezi fuzzy, pravděpodobnostním a possibilistickým přístupem, herně-teoretické přístupy k vágnosti) a také na aplikacích v umělé inteligenci (dobývání z dat). Tým bude navazovat na existující dlouhodobou spolupráci s ostatními evropskými účastníky projektu. Vagueness is in the centre of attention of many disciplines ranging from humanities to sciences to technical applications. However, there is no uniform account which would exhaustively explicate this phenomenon and be accepted across different communities. As the competing approaches to vagueness are well-developed and going in different directions, it is not to be expected to have such a uniform theory. The main goal of the project LoMoReVI is an alternative route on the way to the common framework—to systematically explore the relations between the various accounts to vagueness and uncertainty. This will provide a common formal background allowing communication between different communities and translatability of results between various formalisms.The Czech project concentrates on the logico-mathematical part of the project (representation of vagueness by means of formal fuzzy logic) but covers also the logico-philosophical part (relation between fuzziness, probability and possibility; game theory as a tool of modelling vagueness) and applications of the whole framework in AI (data extraction). The work on the project will continue a long-term close collaboration of the European institutions involved. (en)
Title	Logical Models of Reasoning with Vague Information (en) Logické modely usuzovaní s vagními informacemi
skos:notation	GEICC/08/E018
http://linked.open...avai/cep/aktivita	Eurocores
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GEICC%2F08%2FE018/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GEICC%2F08%2FE018/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-03-20 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	91967451
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	vagueness; logic; fuzzy logic; data mining (en)
http://linked.open...ep/partnetrHlavni	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	1 (xsd:int)
http://linked.open.../pocetVysledkuRIV	38 (xsd:int)
http://linked.open...enychVysledkuVRIV	38 (xsd:int)
http://linked.open...lneniVMinulemRoce	2011-04-16 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/ICC%2F08%2FE018
http://linked.open...iciPoslednihoRoku	2011
http://linked.open...atUdajeProjZameru	2012
http://linked.open.../vavai/cep/soutez	SGA02008GA3EU
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2011-06-30 (xsd:date)
http://linked.open.../cep/vedlejsiObor	AA - Filosofie a náboženství BA - Obecná matematika
http://linked.open...ep/zahajeniReseni	2008-07-01 (xsd:date)
http://linked.open...jektu+dodavatelem	The project gone according to plan both in terms of expertise and in terms of disbursement of funds. (en) Řešení projektu proběhlo podle plánu jak z hlediska odborného tak i z hlediska čerpání finančních prostředků. (cs)
http://linked.open...tniCyklusProjektu	ZBBKU
http://linked.open.../cep/klicoveSlovo	vagueness fuzzy logic logic
is http://linked.open...vavai/riv/projekt of	Analysis of DSm Belief Conditioning Rules and Extension of their Applicability. Chapter 10 An Abstract Approach to Fuzzy Logics: Implicational Semilinear Logics Belief Conditioning Rules for Classic Belief Functions Boosted Neural Networks in Evolutionary Computation Combinatorial Development of Solid Catalytic Materials. Design of High Throughput Experiments, Data Analysis, Data Mining Triangular Norm Based Predicate Fuzzy Logics On Fuzzy Modal Logics S5(C) Implicational (Semilinear) Logics I: A New Hierarchy On a Graded Notion of t-norm and Dominance On White’s Expansion of Lukasiewicz Logic Relevant Agents Evolutionary Optimization of Catalysts Assisted by Neural-Network Learning Conflicts within and between Belief Functions Arithmetical Complexity of First-Order Fuzzy Logics. Chapter 11 Introduction to Mathematical Fuzzy Logic. Chapter 1 Many-valued Logic and Fuzzy Logic Logic of Questions and Public Announcements On a Particular Class of Lattice-valued Possibilistic Distributions Statistical Estimations of Lattice-Valued Possibilistic Distributions Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives Comments on Interpretability and Decidability in Fuzzy Logic Computational Complexity of Propositional Fuzzy Logics. Chapter 10 Comments on Fuzzy Logic and Higher-Order Vagueness by Nicholas J. J. Smith Comments on Vagueness, Tolerance and Non-Transitive Entailment by Robert van Rooij Comments on Many-Valued Semantics for Vague Counterfactuals by Marco Cerami and Pere Pardo Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters A General Framework for Mathematical Fuzzy Logic. Chapter 2 Algebraic Semantics: Semilinear FL-Algebras. Chapter 4 A Conversation about Fuzzy Logic and Vagueness A Semantics for Counterfactuals Based on Fuzzy Logic Fuzzy Logic and Piecewise-Linear Regression Genetic Algorithms for the Optimization of Catalysts in Chemical Engineering On the Independence of Axioms in BL and MTL Witnessed Years: Essays in Honour of Petr Hajek Handbook of Mathematical Fuzzy Logic - Vol. 1 Handbook of Mathematical Fuzzy Logic - Vol. 2 Logic, Algebra and Truth Degrees 2010 Logic, Algebra and Truth Degrees 2010
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2012/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2012/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2008/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2008/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2009/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2009/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2010/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2010/ico%3A67985955 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2011/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GEICC%2F08%2FE018/2011/ico%3A67985955

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software