Grant: Discovery Grants Program - Individual
Brock University
$15,000.00
Algebraic and logical methods for data analysis
EF 2009-10
Résumé
Most methods of knowledge-discovery and data mining assume parameters outside the observed data such as prior probabilities, belief functions or statistical distributions, the origin of which is not always clear or justifiable. On the other hand, there is a high demand for "non-invasive" methods of data analysis (such as rough sets, concept lattices, or knowledge structures) that take into account only the given data without stringent additional model assumptions. Using fewer model assumptions results in more generality, wider applicability, less decontextualization, and reduced costs and time. A powerful tool of non-invasive data analysis is relational reasoning, based on ideas developed by Alfred Tarski in the 1940s and which incorporate both relational and algebraic aspects of reasoning procedures.
The main aim of my research is to study the algebraic and logical foundations of relational reasoning and to supplement it by statistical and information theoretic methods that enable it to function as a reliable tool of non-invasive data analysis. The main application areas are qualitative temporal and spatial reasoning, theories of visual perception with a particular emphasis on JJ Gibson's work, and the development of structural tools for diagnostic assessment.
Programme
Discovery Grants Program - Individual
Bénéficiaire
Emplacement
Ontario, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
250153-2009
Name nom
Duntsch, Ivo
Department département
Computer Science
Organization id
22
Institution établissement
Brock University
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2009
Competition year année de concours
2009
Award amount
15000
Program id
RGPIN
Program nane en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
331
Committee name en
Computing and Information Sciences - B
Committee name fr
Informatique - B
Area of application code
802
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Information systems and technology
Area of application fr
Systèmes d'information et technologie de l'information
Research subject code
2803
Research subject group en
Artificial intelligence
Research subject group fr
Intelligence artificielle
Research subject en
Knowledge representation
Research subject fr
Répresentation des connaissances
Partie
1
Nb partie
1
Application title
Algebraic and logical methods for data analysis
Keyword
NA
Application summary
Most methods of knowledge-discovery and data mining assume parameters outside the observed data such as prior probabilities, belief functions or statistical distributions, the origin of which is not always clear or justifiable. On the other hand, there is a high demand for "non-invasive" methods of data analysis (such as rough sets, concept lattices, or knowledge structures) that take into account only the given data without stringent additional model assumptions. Using fewer model assumptions results in more generality, wider applicability, less decontextualization, and reduced costs and time. A powerful tool of non-invasive data analysis is relational reasoning, based on ideas developed by Alfred Tarski in the 1940s and which incorporate both relational and algebraic aspects of reasoning procedures.
The main aim of my research is to study the algebraic and logical foundations of relational reasoning and to supplement it by statistical and information theoretic methods that enable it to function as a reliable tool of non-invasive data analysis. The main application areas are qualitative temporal and spatial reasoning, theories of visual perception with a particular emphasis on JJ Gibson's work, and the development of structural tools for diagnostic assessment.