Tense generation formula system

A production, temporal technology, applied in the field of artificial intelligence, can solve the problem of not having effective time, limiting the application and promotion of knowledge reasoning, etc.

Inactive Publication Date: 2007-07-25
SUN YAT SEN UNIV
View PDF0 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] (2) Currently no conditions of any rule can be met
However, most production system reasoning at the present stage does not have a time attribute, and a small amount of

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
  • Tense generation formula system
  • Tense generation formula system
  • Tense generation formula system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044] The present invention will be further described below in conjunction with the accompanying drawings.

[0045] The invention includes a rule set, a general database, and a reasoner.

[0046] Rules include rule header information, rule antecedents, and rule postconditions;

[0047] According to the above expression, the BNF of the tense production of the present invention is defined as:

[0048] ∷={}

[0049] ∷=‘∷’‘IF’‘THEN’[rule explanation]

[0050] ∷=

[0051] ::=

[0052] ::=

[0053] ∷=

[0054] ∷=‘∨’||NULL

[0055] ::='∧'||NULL

[0056] ::= ‘∶’

[0057] ∷={}[]‘,’|

[0058] ∷=‘,’

[0059] ∷= |

[0060] ∷=‘∨’|

[0061] ∷=

[0062] ∷=‘[’|‘(’

[0063] ∷=‘]’|‘)’

[0064] ∷='? ’|‘∞’|‘NOW’|

[0065] ∷=‘’|‘’

[0066] ∷='year'|'month'|'day'|'hour'|'minute'|'second'

[0067] ::='=='|'='|''|'! ='

[0068] ::=

[0069] ∷=|

[0070] ::=||

[0071] ∷=

[0072] ::='['', '']'

[0073] ∷='year''month''day''hour''minute''second'

[0...

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

A production system of tense type is prepared for using databank to store data relating to problem to be solved, using rule set to present normal knowledge rule of problem field, using a reasoning machine to select and to use rules in said rule set as well as to operate databank according to reasoned result, containing tense attribute in both of fact and said rule.

Description

technical field [0001] The invention belongs to a knowledge representation method and a reasoning method in the field of artificial intelligence. technical background [0002] The production system was first proposed by the logician Post in 1943 as a production concept, and then it was perfected by Simon and Newell in 1965 and introduced into the knowledge-based system. At present, it is the most widely used knowledge representation method in the expert system, and this system is generally called a rule-based system. A production system includes: a database, a rule base, and a control module (sometimes also called a rule interpreter). The "database" is used to store data related to solving problems. The "rule base" stores rules, or productions, which represent general knowledge in the problem domain. The "control module" selects and uses the rules, resulting in the addition, deletion and modification of the database. In the traditional production system, the control modu...

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
IPC IPC(8): G06N5/02G06N5/04G06F17/30
Inventor 汤庸吴凌坤左亚尧汤娜毛承洁
Owner SUN YAT SEN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products