DOI QR코드

DOI QR Code

A study on integrating and discovery of semantic based knowledge model

의미 기반의 지식모델 통합과 탐색에 관한 연구

  • Chun, Seung-Su (Division of Knowledge & Information Korea Institute of S&T Evaluation and Planning)
  • Received : 2014.10.16
  • Accepted : 2014.10.31
  • Published : 2014.12.31

Abstract

Generation and analysis methods have been proposed in recent years, such as using a natural language and formal language processing, artificial intelligence algorithms based knowledge model is effective meaning. its semantic based knowledge model has been used effective decision making tree and problem solving about specific context. and it was based on static generation and regression analysis, trend analysis with behavioral model, simulation support for macroeconomic forecasting mode on especially in a variety of complex systems and social network analysis. In this study, in this sense, integrating knowledge-based models, This paper propose a text mining derived from the inter-Topic model Integrated formal methods and Algorithms. First, a method for converting automatically knowledge map is derived from text mining keyword map and integrate it into the semantic knowledge model for this purpose. This paper propose an algorithm to derive a method of projecting a significant topic map from the map and the keyword semantically equivalent model. Integrated semantic-based knowledge model is available.

최근 자연어 및 정형언어 처리, 인공지능 알고리즘 등을 활용한 효율적인 의미 기반 지식모델의 생성과 분석 방법이 제시되고 있다. 이러한 의미 기반 지식모델은 효율적 의사결정트리(Decision Making Tree)와 특정 상황에 대한 체계적인 문제해결(Problem Solving) 경로 분석에 활용된다. 특히 다양한 복잡계 및 사회 연계망 분석에 있어 정적 지표 생성과 회귀 분석, 행위적 모델을 통한 추이분석, 거시예측을 지원하는 모의실험 모형의 기반이 된다. 하지만 대부분의 지식 모델은 특정 지표나 정제된 데이터를 수동적으로 모델링하여 분석에 활용한다. 본 논문에서는 텍스트 마이닝 기술을 통해 방대한 비정형 정보로부터 지식 모델을 구성하는 토픽인자와 관계 노드를 생성하고 이를 통합하는 방법과 정형적 알고리즘을 제시한다. 이를 위해 먼저, 텍스트 마이닝을 통해 도출되는 키워드 맵을 동치적 지식맵으로 변환하고 이를 의미적 지식모델로 통합하는 방법을 설명한다. 또한 키워드 맵으로부터 유의미한 토픽 맵을 투영하는 방법과 의미적 동치 모델을 유도하는 알고리즘을 제안한다.

Keywords

References

  1. M.D.Ernst,(ed.), "Dynamically Discovering Likely Program Topics to Support Program Evolution", ICSE, 2000.
  2. M.B. Dwyer, "Property specification patterns for finite Place verification", Proceedings of the Workshop on Formal Methods in Software Practice, 1998.
  3. V. Devedzic, "Knowledge Modeling - State of the art", ACM integrated computer aided engineering, 2001.
  4. Scholer, A., Rickel, "Learning domain knowledge for teaching procedural task", AAAI, 2000.
  5. William Chan, "Temporal Logic Queries, Proceedings of CAV", LNCS 1855, Springer, 2000.
  6. R. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computer, 1986.
  7. W.Y. Liu, "Using IDEF0/Petri net for Ontology based task knowledge analysis: the case of emergency response for debris flow", System Sciences, HICSS Volume 4, 2006.
  8. S.Edelkamp, S.Jabbar, "Action Planning for Directed Model Checking of Petri Nets" Electronic Notes in Theoretical Computer Science, 2006.
  9. J. B. Rosser, "On the Complexities of Complex Economic Dynamics", Journal of Economic Perspectives, 1990.
  10. D. Ruan, F. Hardeman, "Intelligent Decision and Policy Making Support Systems", Springer, 2008.
  11. Robert J. Thierauf, "Optimal Knowledge Management, IDEA Group Publishing, 2006,
  12. V. Devedzic, "Knowledge Modeling - State of the art, ACM integrated computer aided engineering, 2001.
  13. Edmund M. Clarke, "Model Checking, foundations of software technology and theoretical computer science", LNCS, 1997.
  14. A. Neuser, "A GUI for Real-time Visualization of On-line Model Checking with UPPAAL", Institute for Software Systems, Hamburg University of Technology (TUHH), 2014.
  15. Savas Konur, "Towards Light-Weight Probabilistic Model Checking", Hindawi publishing corporation, Journal of Applied Mathematics, 2014.
  16. Dou, Wei, "A Model-Driven Approach to Trace Checking of Temporal Properties with OCL", Open Repository and Bibliography, S&T Centre, University of Luxembourg, 2014.
  17. Campos, J. Creissac, Machado, "A specification patterns system for discrete event systems analysis", InTech, 2013.
  18. DR Kulkarni, "Improved model generation and property specification for analog/mixed-signal circuits", async.ece.utah.edu, 2013.

Cited by

  1. Development of Supervised Machine Learning based Catalog Entry Classification and Recommendation System vol.20, pp.1, 2014, https://doi.org/10.7472/jksii.2019.20.1.57