Cel
DRUMS aimed to study the integration of several forms of non-standard logics and models that could be applied to problems of defeasible reasoning and uncertainty management. The models studied are necessary for automated reasoning at the level of:
-knowledge representation where knowledge is pervaded with some form of ignorance, be it incompleteness, imprecision or uncertainty
-inference engines adapted to each form of ignorance.
The final aim of DRUMS was to attempt the integration of various logics and models into a general model able to cope with the various forms of ignorance, and its implementation in inference engines.
APPROACH AND METHODS
DRUMS was realised through an interdisciplinary and collaborative approach covering the following four research domains:
-Logic models for defeasible reasoning, covering default logics, the integration of concurrent representations, and proof procedures and algorithms.
-Probabilistic models of reasoning under uncertainty and vagueness, addressing the development of possibilistic and linguistic quantifier logics and knowledge elicitation.
-Models of belief for approximate reasoning, including the transferable belief model, approximations and algorithms, and propagating uncertainty in dependence graphs.
-Combined models of reasoning with uncertainty, covering an extended logic language and advanced prototyping.
PROGRESS AND RESULTS
Scientific papers have been published and presented at several congresses. They cover each of the aforementioned domains of research and several integration issues. Six workshops and an International Conference have been organised. Several pieces of software dealing with the management of uncertainty have been successfully developed.
POTENTIAL
The improvement of expert system shells on the aspect of uncertainty management is very important for the knowledge-engineering industry. So far, only ad hoc and poorly justified approaches have been available to users, leading to poor results and dissatisfaction. Indeed, for most expert systems developed, the need for uncertainty and incompleteness has not been paramount because of their size and simplicity. As systems become more complex, however, uncertainty and incompleteness become crucial in determining the choices to be made. Furthermore, a proper treatment of uncertainty would improve the behaviour of expert systems.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka oprogramowanie
- nauki przyrodnicze informatyka inżynieria wiedzy
- nauki przyrodnicze informatyka sztuczna inteligencja systemy eksperckie
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Brak dostępnych danych
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Brak dostępnych danych
Koordynator
1050 BRUXELLES
Belgia
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.