MULTIPLE DIFFERING , BUT COOPERATING , KNOWLEDGE DOMAINS , AND THUS RESEARCH ON INTERWORKING KRS AND INFERENCE MODELS WILL BE ESSENTIAL .
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 :
- NATURAL DEDUCTION TECHNIQUE NOT REQUIRING SPECIAL IMPLICATIVE FORM ;
- NON-CLASSICAL LOGIC SUCH AS TEMPORAL AND FUZZY LOGIC , WHICH ARE CLOSER TO REAL-WORLD TIME RELATED AND QUALITATIVE BEHAVIOUR , BUT WHICH LACK PRACTICAL PROOF ALGORITHMS ;
- KNOWLEDGE-BASED CONTROL OF THE INFERENCE PROCESS ITSELF ;
- CONSTRAINT PROPAGATION AND TRUTH MAINTENANCE ;
- EXPLOITATION OF CONTEXTUAL KNOWLEDGE ;
- COST/QUALITY DIRECTED PARADIGMS ;
- CLASSIFICATION OF INFERENCE TOOLS AND METHODS AGAINST DOMAINS , KRS AND PARADIGMS ;
- RECOGNITION OF THE NEED FOR REAL TIME TRANSITION OF SYSTEM STATE ( AND THUS IMPLICATED KNOWLEDGE ) AS A RESULT OF REAL-WORLD CHANGE .
PROGRAMME AND INTERMEDIATE OBJECTIVES :
KNOWLEDGE REPRESENTATIONS :
YEARS 1 AND 2 :
- COMPILE ALL EXISTING KRS PROPOSALS ;
- CROSS-CHECK AND FERTILIZE SO AS TO DIFFERENTIATE AND CLASSIFY KRS ;
- DETERMINE WHAT IS SPECIFICALLY AND GENERALLY NEEDED ;
- IMPACT OF PSYCHOLOGY ON KRS .
YEARS 2 AND 3 :
- EXTEND AND CONSOLIDATE - REFERRING TO MODELS SUCH AS DATA DICTIONARIES , DATABASES AND PROGRAMMING LANGUAGES .
YEARS 3 TO 5 :
- PROPOSE NEW KRS TOOL KITS AND METHODS , AND INTRODUCE THESE INTO PROJECT 3.1.1 FOR " ROLLING " EXPLOITATION .
YEARS 4 TO 6 :
- PUBLISH EUROPEAN GUIDELINES FOR COMPONENTS OF KRS TOOL KITS ;
- REFERENCE " PRODUCTION " IMPLEMENTATION OF NEW KRS .
INFERENCE TECHNIQUES :
YEARS 1 AND 2 :
- DETERMINE STATE-OF-ART IN TOOLS AND METHODS , AND CLASSIFY AGAINST DOMAINS , KRS AND PARADIGMS ;
- SET UP SUBPROJECTS FOR RESEARCH .
YEARS 3 AND 4 :
- UNDERTAKE BASIC RESEARCH ON NATURAL DEDUCTION , TEMPORAL LOGIC , FUZZY LOGIC , INFERENCE PRIMITIVES , AND KNOWLEDGE BASED META-LEVEL CONTROL OF INFERENCE .
YEARS 5 AND 6 :
- CONSTRUCT INFERENCE MODELS FOR OUTPUT TO THE DEMONSTRATOR AND METRICS PROGRAMMES ;
- CONTINUE RESEARCH ON APPROXIMATE REASONING AND META-LEVEL CONTROL .
3.1.4 . PREPARATORY WORK TOWARDS ADVANCED KBS
ALTHOUGH THIS IS CATEGORIZED AS AN A-PROJECT , WORK IN THE FIRST FEW YEARS WILL BE AT A COMPARATIVELY LOW LEVEL AND THEN BUILD UP AS ADVANCED GENERATION KBS BECOME FEASIBLE . THE PREPARATORY WORK WILL INCLUDE :
. IMPLEMENTATION LANGUAGES AND ENVIRONMENTS ;
. COMPILERS AND INTERPRETERS ;
. KNOWLEDGE ACQUISITION AND MANIPULATION ;
. ADVANCED GENERATION KBS APPLICATIONS ;
. LEARNING TECHNIQUES ,
THOUGH IT IS POSSIBLE THAT OTHER TOPICS IN THIS AREA WILL BECOME IDENTIFIED AS