Reference number : GC-2017-Q1-02586, amendment number : , agreement type : G, recipient legal name : Dick, Scott (University of Alberta), recipient country : CA, recipient province : nan, recipient city : Alberta, recipient postal code : nan, program name english : Discovery Grants Program - Individual, program name french : Programme de subventions à la découverte - individuelles, program purpose english : This proposal requests funding for an ongoing program of research investigating the theoretical foundations, operationalization, and application of Complex Fuzzy Logic (CFL). This area of study has been a primary focus of my research group for over ten years. In the past five years, my students and I have 1) defined and characterized a new set of logical connectives for CFL, incorporating both negation and antonym; 2) developed and characterized a CFL-based machine-learning architecture (ANCFIS) for time series forecasting; and 3) refined the ANCFIS design for faster training and applications in data stream mining. Building on these successes, we now inquire which if any CFL instances, and their operationalizations, lead to better-performing, and more compact and interpretable models for large-scale learning; and what classes of problems are most effectively solved by these new models versus existing ones. 
 
Our proposal will support two Ph.D. students and five USRA students who will investigate CFL-based negation and antonym. We will explore the propositional and predicate CFLs that capture both, determining whether they are sound &amp; complete. We will design deep fuzzy systems, which we expect will yield more interpretable models than existing deep networks. Deep complex fuzzy systems will be an extension that employs negation and antonym to also create more compact networks (just as negative rules are known to lead to more compact rulebases). We will apply these architectures to several high-value problems we have explored in previous research. Two other Ph.D. students, supported by a CRD grant, will examine shallow complex fuzzy systems and their applications to recommender systems and Internet advertising. 
 
We model antonym as a sign reversal of, and negation as orthogonal to, a concept; these are supported by a body of evidence in cognitive psychology and functional MRI studies. Deep networks, however, do not incorporate these mechanisms. There is also virtually no work on deep neural-fuzzy hybrids, nor on explanation mechanisms for deep networks. We are not aware of any work on antonym connectives in classical logics; in fuzzy logic, they are algorithms, not connectives. The proposed research thus explores ground-breaking directions in mathematical logic and deep learning. 
 
We will investigate high-value applications of the above developments, guided by our industrial partners. Our CRD grant with HybridForge, Inc. (along with J. Miller, U of A ECE) is focused on recommender engines and click-through-rate predictors. We are preparing funding applications with two more Alberta SMEs: XSENSOR Technologies and Addos Systems (the latter with J. Salmon, U of A ECE) on deep fuzzy systems in inferential sensing and condition monitoring (an M.Sc. and a PDF to be supported, respectively). All of these are commercially valuable products, through which 4 more HQP will be trained - 11 total., program purpose french : This proposal requests funding for an ongoing program of research investigating the theoretical foundations, operationalization, and application of Complex Fuzzy Logic (CFL). This area of study has been a primary focus of my research group for over ten years. In the past five years, my students and I have 1) defined and characterized a new set of logical connectives for CFL, incorporating both negation and antonym; 2) developed and characterized a CFL-based machine-learning architecture (ANCFIS) for time series forecasting; and 3) refined the ANCFIS design for faster training and applications in data stream mining. Building on these successes, we now inquire which if any CFL instances, and their operationalizations, lead to better-performing, and more compact and interpretable models for large-scale learning; and what classes of problems are most effectively solved by these new models versus existing ones. 
 
Our proposal will support two Ph.D. students and five USRA students who will investigate CFL-based negation and antonym. We will explore the propositional and predicate CFLs that capture both, determining whether they are sound &amp; complete. We will design deep fuzzy systems, which we expect will yield more interpretable models than existing deep networks. Deep complex fuzzy systems will be an extension that employs negation and antonym to also create more compact networks (just as negative rules are known to lead to more compact rulebases). We will apply these architectures to several high-value problems we have explored in previous research. Two other Ph.D. students, supported by a CRD grant, will examine shallow complex fuzzy systems and their applications to recommender systems and Internet advertising. 
 
We model antonym as a sign reversal of, and negation as orthogonal to, a concept; these are supported by a body of evidence in cognitive psychology and functional MRI studies. Deep networks, however, do not incorporate these mechanisms. There is also virtually no work on deep neural-fuzzy hybrids, nor on explanation mechanisms for deep networks. We are not aware of any work on antonym connectives in classical logics; in fuzzy logic, they are algorithms, not connectives. The proposed research thus explores ground-breaking directions in mathematical logic and deep learning. 
 
We will investigate high-value applications of the above developments, guided by our industrial partners. Our CRD grant with HybridForge, Inc. (along with J. Miller, U of A ECE) is focused on recommender engines and click-through-rate predictors. We are preparing funding applications with two more Alberta SMEs: XSENSOR Technologies and Addos Systems (the latter with J. Salmon, U of A ECE) on deep fuzzy systems in inferential sensing and condition monitoring (an M.Sc. and a PDF to be supported, respectively). All of these are commercially valuable products, through which 4 more HQP will be trained - 11 total., agreement title english : Investigating the theory, operationalization, and practical applications of complex fuzzy logic, agreement title french : Investigating the theory, operationalization, and practical applications of complex fuzzy logic, agreement number : RGPIN, agreement value : 115000.0, agreement start date : 2017-05-10, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year. (2017-2018 to 2022-2023), additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier. (2017-2018 à 2022-2023), owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada