Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A method for constructing complex symptoms of analog temporal logic of an expert system

An expert system and temporal logic technology, applied in the direction of knowledge expression, to achieve the effect of simple identification and enhanced expression ability

Active Publication Date: 2018-12-21
BEIJING AEROSPACE AUTOMATIC CONTROL RES INST +1
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0010] The problem to be solved by the present invention is to use the semantics of temporal logic connectors in temporal logic for reference to the linear temporal logic (LTL) used in model checking technology (model checking), to abstract the dynamic attributes of the system into Implemented Complex Symptom Model

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A method for constructing complex symptoms of analog temporal logic of an expert system
  • A method for constructing complex symptoms of analog temporal logic of an expert system
  • A method for constructing complex symptoms of analog temporal logic of an expert system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] Linear temporal logic LTL is usually used to describe the time-related state attributes (dynamic attributes) of software and hardware systems in the functional correctness verification of software and hardware, and can describe the characteristics of state changes within a specified time interval. In order to add dynamic attributes to the knowledge base of the expert system, the present invention draws on the ability of LTL to describe time-related attributes in the system, utilizes the abstract temporal model that can be realized by software, and transforms the temporal satisfaction relationship in LTL into the rules of the expert system . The software module responsible for recognizing the abstract temporal model has been configured in the aerospace model software.

[0037] Temporal connectors in temporal logic involved include:

[0038]

[0039] figure 2 The semantics of the above LTL temporal connectors are explained in detail. where s 1 ->s 2 Indicates tha...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to a method for constructing complex symptoms of analog temporal logic of an expert system, which is applied to express dynamic characteristics of a system in a rule-based expertsystem knowledge base. According to the data symptom table, the basic symptom of the system state data is obtained by matching, each symptom represents a kind of state of the data; if the start timeis satisfied and the end time is not satisfied, whether the judgment condition of the complex symptom is satisfied is judged, and if so, the complex symptom is outputted to the expert system inferenceengine. Aiming at the problem that the traditional expert system knowledge base is insufficient to express the dynamic characteristics of the system, the invention adds a dynamic knowledge mode to the expert system knowledge base, expands the dimension of the knowledge base, and enhances the expression ability of the expert system knowledge base to the human expert knowledge. Complex symptoms aredesigned to describe the characteristics of time-dependent system state data. The state change of system state data in a certain time interval is identified by integer, and the identification is simple.

Description

technical field [0001] The invention relates to a method for constructing complex symptoms of simulated temporal logic of an expert system, which belongs to the field of fault diagnosis expert systems. Background technique [0002] The core of the expert system is the knowledge base, which determines what kind of "intelligence" the expert system has and what kind of problems it can solve instead of humans. In the rule-based expert system, the more commonly used mode is the relational mode, that is, each mode consists of a relation name (relation name), followed by any number of slots (slots) and their related constraints. Rules are composed using patterns and logical operators. Patterns are defined according to the needs of different domains, and each pattern consists of one or more constraints. The expert system inference engine judges whether to trigger the rule according to the match between the pattern of the rule and the input facts. [0003] The knowledge base of th...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06N5/02
CPCG06N5/025
Inventor 丁万兵崔小磊崔宇李娜王冲邱枫仲宇张磊何波李辉高飞曹芳芳董西国吕京伟李兰兰刘鹏
Owner BEIJING AEROSPACE AUTOMATIC CONTROL RES INST
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com