Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK
Issue:2 (66)
Download PDF0 Kbyte
A SET-THEORETIC APPROACH TO THE LOGICAL INFERENCE IN KNOWLEDGE BASES
Annotation
The paper concerns to the problem of combinatorial complexity of inference in artificial intelligence applications based on production rules. An approach to speeding up the knowledge acquisition is proposed that specifies indexing the facts and operations with sets of indices to prune unnecessary facts. In contrast to the most known algorithms that provide pre-collecting facts in nodes of the search tree, the indices exist apart from the rule sets, that allows disjointing bases of facts and bases of rules logically and physically and to simplify the knowledge base updating. An opportunity of alternation the matching оf rules to set-theoretic operation on tuples of variables is proven.
Keywords
Постоянный URL
Articles in current issue
- ON THE ISSUE OF WOOD SPECIES IDENTIFICATION WITH THE USE OF SPECTRUM ANALYSIS METHODS
- LASER CLEANING OF HISTORICAL MONUMENTS
- PROCESS OF LAYERING FORMATION RESEARCH AT ACID LEACHING OF ALKALI BOROSILICATE GLASS
- INTERACTION LAWS OF COUNTER-PROPAGATING LIGHT WAVES CONSISTING OF FEW OSCILLATIONS IN THE NONLINEAR DIELECTRIC MEDIA
- ALGEBRAIC CONDITIONS OF TOTAL SYNCHRONISM FOR MULTIVARIATE DYNAMIC PLANTS
- ALGORITHM OF ACCELERATED RESETTING SOLUTION OF LINEAR ALGEBRAIC EQUATION SYSTEMS AND ITS USE IN MATHEMATICAL MODELING OF ELECTRONIC DEVICES
- A SET-THEORETIC APPROACH TO THE LOGICAL INFERENCE IN KNOWLEDGE BASES
- COMPLEX SIGNAL PREDICTION BASED ON DYNAMIC SYSTEM ALLOCATION LIMITS
- NON-STATIONARY IMAGES СLASSIFICATION AND DEVELOPMENT OF SOURCE CODING ALGORITHMS ESTIMATION METHOD
- PERFORMANCE EVALUATION MODEL FOR DISTRIBUTED SYSTEMS AND TASKS WITH VARIABLE SIZE
- ACTOR EXTENSION OF JAVA LANGUAGE IN MPS ENVIRONMENT
- NANOWHISKER GROWTH UNDER ELECTRON BEAM IMPACT: MATHEMATICAL MODEL
- APPLICATION OF SUPERCOMPUTER TECHNOLOGIES FOR THE THERMAL ANALYSIS OF RADIO-ELECTRONIC DEVICES
- HARDWARE-SOFTWARE DESIGN OF COMPLEX FUNCTIONAL UNITS ON “SYSTEM ON CHIP”
- OPTIMIZATION OF GRAPH ISOMORPHISM IDENTIFICATION ALGORITHMS
- THREAT EVALUATION MODEL OF INFORMATION SAFETY ON THE BASIS OF HACKER CONFERENCE MATERIALS
- THE EFFICIENCY ESTIMATION OF THE INTRUDER ATTACKS IN THE PROCESS OF HIS MODEL CREATION
- STRATEGY OF FORMATION AND DEVELOPMENT OF THE INDUSTRIAL ENTERPRISE INNOVATIVE POTENTIAL
- INTELLIGENT TECHNOLOGIES OF USERS’ SUPPORT IN THE FIELD OF NUMERICAL QUANTUM-CHEMICAL COMPUTING OF NANOSTRUCTURE AND NANOMATERIALS MODELING
- STUDY OF MECHANISMS RESPONSIBLE FOR THE MOLECULAR LAYERS COMPOSITION FORMATION
- THE BIG CORE PHOTONIC CRYSTAL OPTICAL FIBER DEVELOPMENT
- STATISTICAL PROPERTIES OF HYPOTHESES CAUSED BY TWO-LAYER NEURAL NETWORK WITH BIDIRECTIONAL INTERCONNECTIONS, IMPLEMENTED BY FOURIER-HOLOGRAPHY TECHNIQUE
- ABOUT MULTIWAVE GENERATION OF Er:YLF LASER WITH DIODE PUMPING AND PASSIVE Fe:ZnSe Q-SWITCH