Title :
An Ordered Binary Decision Diagram Model for Production Knowledge Representation and its Reasoning
Author :
Hou Jie ; Li Fengying ; Wang Huijiao
Author_Institution :
Sch. of Comput. & Control, Guilin Univ. of Electron. Technol., Guilin, China
Abstract :
In order to represent the production knowledge more integrally and to receive more efficient knowledge reasoning, an OBDD based production knowledge representation model is presented. Then, OBDD based knowledge reasoning rule and its associated algorithms are implemented. Finally, an example is taken to illustrate feasibility and efficiency of the OBDD based model and reasoning rules.
Keywords :
binary decision diagrams; inference mechanisms; knowledge representation; OBDD based knowledge reasoning rule; ordered binary decision diagram model; production knowledge representation; Artificial intelligence; Boolean algebra; Boolean functions; Data structures; Electronic mail; Expert systems; Explosions; Genetics; Knowledge representation; Production; Ordered Binary Decision Diagram; knowledge reasoning; production rule;
Conference_Titel :
Genetic and Evolutionary Computing, 2009. WGEC '09. 3rd International Conference on
Conference_Location :
Guilin
Print_ISBN :
978-0-7695-3899-0
DOI :
10.1109/WGEC.2009.103
