RESEARCH RESULTS CURRENT AT THE TIME OF INCEPTION , WHICH IT WILL THEN KEEP FROZEN FOR ITS 2-3 YEAR DURATION .
3.1.1 . KNOWLEDGE REPRESENTATION AND INFERENCE TECHNIQUES ( TYPE A )
DESCRIPTION
KNOWLEDGE REPRESENTATION IS A KEY FACTOR ANALOGOUS TO DATA MODELLING IN CONVENTIONAL PROCESSING . BECAUSE OF ITS COMPLEXITY , IT REQUIRES ENGINEERING , MODELLING AND TRANSFORMATION OF TOOLS OF HIGH SOPHISTICATION . IT IS NOT EXPECTED THAT ANY ONE LANGUAGE WILL EMERGE - RATHER THAT THERE WILL BE A WIDE RANGE OF STANDARDS AND TECHNIQUES , WHICH VARY ACCORDING TO DOMAIN CLASSIFICATION , PARADIGMS EMPLOYED , AND TO INFERENCE/PROCESSING MODELS USED . A COMPREHENSIVE EFFORT IS NEEDED TO DIFFERENTIATE , CLASSIFY , AND EXTEND KNOWLEDGE REPRESENTATIONS FOR THESE REQUIREMENTS . IT IS EXPECTED THAT MORE SOPHISTICATED APPLICATIONS WILL NEED TO WORK WITH MULTIPLE DIFFERING , BUT COOPERATING , KNOWLEDGE DOMAINS , AND THUS RESEARCH ON INTERWORKING KRS AND INFERENCE MODELS WILL BE ESSENTIAL . INFERENCE MECHANISMS PROVIDE OPERATIONAL SEMANTICS FOR KNOWLEDGE REPRESENTATION LANGUAGES .
EXISTING KBS APPLICATIONS USE TOOLS AND METHODS WHICH LARGELY INCORPORATE SIMPLE RULES OF INFERENCE - ESPECIALLY , LITTLE ( META ) KNOWLEDGE IS APPLIED TO THE USE OF KNOWLEDGE AND TO CONTROL OF INFERENCE . THIS LEAVES A LOT TO BE DESIRED IN EXPLOITING HIGH QUALITY KNOWLEDGE AND HEURISTICS , WHICH ARE OFTEN THE KEY TO KBS EFFECTIVENESS RATHER THAN BRUTE FORCE HARDWARE SPEED . BASIC RESEARCH SHOULD INCLUDE :
- DEVELOPMENT OF NEW KNOWLEDGE REPRESENTATION PARADIGMS
- COGNITIVE MODELLING
- NATURAL DEDUCTION TECHNIQUE NOT REQUIRING SPECIAL IMPLICATIVE FORM
- NON CLASSICAL LOGICS SUCH AS TEMPORAL AND FUZZY LOGIC
- KNOWLEDGE BASED CONTROL OF THE INFERENCE PROCESS ITSELF
- NON-MONOTONIC REASONING , INCLUDING CONSTRAINT PROPAGATION AND REASON MAINTENANCE , ESPECIALLY FOR REAL-TIME APPLICATIONS
- EXPLOITATION OF CONTEXTUAL KNOWLEDGE
- CLASSIFICATION OF INFERENCE TOOLS AND METHODS AGAINST DOMAINS , KRS AND PARADIGMS
- TIME-DEPENDENCY IN GENERAL
- QUALITATIVE REASONING ON TIME AND CAUSALITY IN PHYSICAL REALITY
- MACHINE AND DEVICE MODELS AS A BASIS OF REASONING ON PHYSICO-TECHNICAL SYSTEMS
- SCHEMES OF COOPERATION BETWEEN DISTRIBUTED KNOWLEDGE SOURCES .
IT IS ESSENTIAL THAT THE TOOLS DEVELOPED FOR KR ARE EXPLOITED FOR KNOWLEDGE ACQUISITION IN ORDER TO PROVIDE FEEDBACK AND TO KEEP THESE TWO BASIC ISSUES IN STEP . IT IS ALSO ESSENTIAL THAT ANY PROBLEM SOLVING PARADIGM SHOULD BE TESTED ON REAL PROBLEMS .
MILESTONES
YEAR 1986/87 :
- INTRODUCE NEW KRS TOOL KITS AND METHODS INTO PROJECT 3.1.7 FOR " ROLLING " EXPLOITATION .
YEAR 1987/88 :
- PUBLISH EUROPEAN GUIDELINES FOR COMPONENTS OF KRS TOOL KITS .
- REFERENCE " PRODUCTION " IMPLEMENTATION OF NEW KRS .
- DELIVER INFERENCE MODELS TO THE DEMONSTRATOR AND METRICS PROGRAMMES .
. " EXPERT SYSTEM BUILDER " ( REF . 96 : A/83 )
THE AIM OF THE PROJECT IS TO PROVIDE A SYSTEM ENABLING EXPERT SYSTEMS TO BE DEVELOPED AND TESTED BY PERSONNEL INEXPERIENCED IN ARTIFICIAL INTELLIGENCE . A RING STRUCTURED MODEL HAS BEEN IDENTIFIED FOR THE SYSTEM TO ALLOW PROGRESSIVE DEVELOPMENT AND EXTENSION