Research  Academic Activities  Publications  Teaching  Grad Students   Recent Books  ICIC   HOME 

RESEARCH 

 

Current Research Interest

   

My current research interests are in cognitive informatics, cognitive computing, software science, theoretical software engineering, abstract intelligence, denotational mathematics, formal methods, computational intelligence, soft computing, fuzzy inferences, cognitive computers, cognitive agent systems, autonomous machine learning, and web-based distributed and real-time systems.

 

[Selected PDF copies of recent papers can be found below or at Google Scholar]

 

Specific Research Areas and Initiatives

   

The following research fields and topic areas are initiated by my lab with ICIC international collaborations in recent years:

 

· Cognitive Informatics (CI) [IJCINI] [IEEE TSMC(B)] [IEEE TSMC(C)] [JB&M] [FI]

    - Natural intelligence [IEEE TSMC(B)] [IEEE TSMC(C)]

    - Neuroinformatics [IEEE ICCI'09]

    - The layered reference model of the brain (LRMB) [IEEE TSMC(C)]

    - The object-attribute-relation (OAR) mode of internal knowledge representation [IJCINI]   

    - The mathematical model of consciousness

    - Autonomous machine learning based on concept algebra [ACM TAAS]

    - Simulations of cognitive processes of the brain [to appear]

    - Memory capacity of human brains [JB&M]

    - Contemporary cybernetics [IEEE TSMC(B)]    

    - CI foundations of visual information processing [IJCINI]

    - CI foundations of creativity [IJCINI]

 

· Cognitive Computing (CC) [[IEEE ICCI'02] [ICCI'07] [IEEE TSMC(B)] [IJSSCI] [ACM TAAS] [TCS]

    - Cognitive computing [IJSSCI] [IJCINI]

    - Cognitive computers that think and feel [IEEE TSMC(B)] 

          - Level 1: Imperative computing

          - Level 2: Autonomic computing

          - Level 3: Cognitive (autonomous) computing     

    - Denotational mathematical means for cognitive computing [TCS]  

    - A unified reference model of autonomous agent systems (AAS's) [IJCINI]

    - Semantic computing [IJSC] [FI]

    - Cognitive process of decision making [IJCINI]

    - Cognitive process of problem solving [JCogSys] 

    - Cognitive process of memorization [TCS] 

    - Cognitive process of creations [IJCINI]

 

· Denotational Mathematics (DM)  [TCS]

    - Concept algebra [IJCINI]

    - System algebra [IJCINI]

    - Real-time process algebra (RTPA) [IJCINI]

    - Visual semantic algebra (VSA) [IJSSCI]

    - Granular algebra [IEEE TSMC(A)]

    - System algebra for GrC [IJCINI]

    - Fuzzy qualification and quantification [to appear]

    - Fuzzy causality analyses [to appear]

 

· Abstract Intelligence (aI) [IJSSCI]

    - Mathematical model of aI [IJSSCI]

    - The generic abstract intelligent model (GAIM) [IEEE TSMC(B)] 

          - Level 1: Imperative intelligence

          - Level 2: Autonomic intelligence

          - Level 3: Cognitive (autonomous) intelligence     

    - Studies on paradigms of aI (e.g. natural, artificial, machinable, computational intelligence)

    - Machinable thought [IEEE ICCI'09]

    - A unified reference model of autonomous agent systems (AAS's) [IJCINI]

    - Hybrid intelligence [IJSSCI]

    - Machine perceptions (emotions/motivations/attitudes/actions) in computational intelligence [IJCINI]

    - Abstract knowledge system [TCS]

 

· Software Science (SS) [SEF]

    - Theoretical software engineering [SEF]

          - Mathematical laws of software engineering [TCS]

    - The generic mathematical model of programs [IJSSCI]

          - The unified data model (UDM or CLM) for modeling system architectures [IJSSCI]

          - The unified process model (UPM) of system behaviors (RTPA) [IJCINI]

    - Formal semantics of software [DS]

          - Deductive semantics  [IJCINI]  

          - The big-R notation [IJCINI] 

          - Operational semantics [IJSSCI]

          - Denotational semantics [IJSSCI]

          - Deductive grammar for NLP [FI 90(4)]

    - Formal principles of software engineering [TCS]

          - The coordinative work organization theory for software project organization [IJCINI]

          - The formal economic model of software engineering costs (FEMSEC) [IJSSCI]

          - The formal framework of software engineering measurement system (SEMS) [IJSSCI]

    - Cognitive foundations of software engineering [IJSSCI]

          - Cognitive complexity of software [IJSSCI]  

    - Autonomic software code generation (Auto-CG) [IJSSCI]

    - Built-in tests (BITs) [ACM CS]

    - Formal design models/frameworks of software (real-time/embedded) systems [SEF]

          - The Telephone Switching System (TSS) [IJSSCI] 

          - The Lift Dispatching System (LDS) [IJSSCI] 

          - The Automatic Teller Machine (ATM) [IJSSCI] 

          - The Real-Time Operating System (RTOS+) [IJSSCI] 

          - The Air Traffic Control System (ATCS)  [to appear]

          - The Railway Dispatching System (RDS) [to appear]

          - The Intelligent Traffic Lights Control System (ITLCS) [to appear]

    - The software engineering process reference model (SEPRM) [CRC]     

 

· System Science

     - Abstract system theories [SEF]

     - System algebra [IJCINI]

     - System algebra for GrC [IJCINI]

 

· Knowledge Science and Autonomous Learning Systems

     - The formal knowledge system [TCS]

     - Autonomous machine learning based on concept algebra [ACM TAAS]

     - The AutoLearner [ ]

     - The Cognitive Learning Engine (CLE) [ ]

   

· Other Topics

     - The long-life span system theory for global warming [ ]

     - Basic laws of management science [IJCINI]

     - The formal model of abstract games [ ]