메뉴 건너뛰기




Volumn 30, Issue 7, 2004, Pages 448-457

Shortening matching time in OPS5 production systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATABASE SYSTEMS; EXPERT SYSTEMS; GRAPH THEORY; HEURISTIC PROGRAMMING; OPTIMIZATION; PROGRAM COMPILERS; REAL TIME SYSTEMS; STATE SPACE METHODS;

EID: 3242699836     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2004.32     Document Type: Article
Times cited : (17)

References (35)
  • 7
    • 1342345063 scopus 로고    scopus 로고
    • A graph-Based approach for timing analysis and refinement of OPS5 knowledge-based systems
    • A.M.K. Cheng and H.-Y. Tsai, "A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems," IEEE Trans. Knowledge and Data Eng., vol. 16, no. 2, pp. 271-288, Feb. 2004.
    • (2004) IEEE Trans. Knowledge and Data Eng. , vol.16 , Issue.2 , pp. 271-288
    • Cheng, A.M.K.1    Tsai, H.-Y.2
  • 11
    • 0003932959 scopus 로고
    • Technical Report CMU-CS-81-135, Carnegie Mellon Univ., Pittsburgh
    • C.L. Forgy, "OPS5 Users Manual," Technical Report CMU-CS-81-135, Carnegie Mellon Univ., Pittsburgh, 1981.
    • (1981) OPS5 Users Manual
    • Forgy, C.L.1
  • 12
    • 0020177941 scopus 로고
    • RETE: A fast algorithm for the many pattern: Many object pattern match problem
    • C.L. Forgy, "RETE: A Fast Algorithm for the Many Pattern: Many Object Pattern Match Problem," Artificial Intelligence, vol. 19, 1982.
    • (1982) Artificial Intelligence , vol.19
    • Forgy, C.L.1
  • 13
    • 0006564779 scopus 로고
    • PhD thesis, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh
    • A. Gupta, "Parallelism in Production Systems," PhD thesis, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, 1986.
    • (1986) Parallelism in Production Systems
    • Gupta, A.1
  • 14
    • 0030082598 scopus 로고    scopus 로고
    • The design and implementation of the Ariel active database rule system
    • E. Hanson, "The Design and Implementation of the Ariel Active Database Rule System," IEEE Trans. Knowledge and Data Eng., vol. 8, 1996.
    • (1996) IEEE Trans. Knowledge and Data Eng. , vol.8
    • Hanson, E.1
  • 16
    • 0028484332 scopus 로고
    • An Optimization Algorithm for Production Systems
    • T. Ishida, "An Optimization Algorithm for Production Systems," IEEE Trans. Knowledge and Data Eng., vol. 6, 1994.
    • (1994) IEEE Trans. Knowledge and Data Eng. , vol.6
    • Ishida, T.1
  • 21
    • 1842530972 scopus 로고    scopus 로고
    • Optimizing reeal-time equational rule-ased systems
    • Y.-H. Lee and A.M.K. Cheng, "Optimizing Real-Time Equational Rule-Based Systems," IEEE Trans. Software Eng., vol. 30, no. 2, Feb. 2004.
    • (2004) IEEE Trans. Software Eng. , vol.30 , Issue.2
    • Lee, Y.-H.1    Cheng, A.M.K.2
  • 22
    • 0026850421 scopus 로고
    • Match algorithms for generalized rete networks
    • H.S. Lee and M.I. Schor, "Match Algorithms for Generalized Rete Networks," Artificial Intelligence, vol. 54, no. 3, 1992.
    • (1992) Artificial Intelligence , vol.54 , Issue.3
    • Lee, H.S.1    Schor, M.I.2
  • 27
    • 0026200247 scopus 로고
    • Reducing problem-solving variance to improve predictability
    • C.J. Paul, A. Acharya, B. Black, and J.K. Strosnider, "Reducing Problem-Solving Variance to Improve Predictability," Comm. ACM, vol. 34, 1991.
    • (1991) Comm. ACM , vol.34
    • Paul, C.J.1    Acharya, A.2    Black, B.3    Strosnider, J.K.4
  • 28
    • 0003281138 scopus 로고
    • Incremental binding-space match: The linearized matchBox algorithm
    • M. Perlin, "Incremental Binding-Space Match: The Linearized MatchBox Algorithm," Proc. IEEE Int'l Conf. Tools for AI, 1991.
    • (1991) Proc. IEEE Int'l Conf. Tools for AI
    • Perlin, M.1
  • 32
    • 3242677767 scopus 로고
    • Increasing production system parallelism via synchronization minimization and check-ahead conflict resolution
    • C.K. Wang, A.K. Mok, and A.M.K. Cheng, "Increasing Production System Parallelism via Synchronization Minimization and Check-Ahead Conflict Resolution," Proc. Int'l Conf. Parallel Processing, vol. 3, 1990.
    • (1990) Proc. Int'l Conf. Parallel Processing , vol.3
    • Wang, C.K.1    Mok, A.K.2    Cheng, A.M.K.3
  • 33
    • 0026618451 scopus 로고
    • A performance comparison of the rete and treat algorithms for testing database rule conditions
    • Y. Wang and E. Hanson, "A Performance Comparison of the Rete and Treat Algorithms for Testing Database Rule Conditions," Proc. Eighth Int'l Conf. Data Eng., 1992.
    • (1992) Proc. Eighth Int'l Conf. Data Eng.
    • Wang, Y.1    Hanson, E.2
  • 34
    • 3242677767 scopus 로고
    • Increasing production system parallelism via synchronization minimization and check-ahead conflict resolution
    • C. Wang and A.M.K. Cheng, "Increasing Production System Parallelism via Synchronization Minimization and Check-Ahead Conflict Resolution," Proc. 24th Int'l Conf. Parallel Processing, 1994.
    • (1994) Proc. 24th Int'l Conf. Parallel Processing
    • Wang, C.1    Cheng, A.M.K.2
  • 35


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.