• Title/Summary/Keyword: 논리적 추론 방법

Search Result 127, Processing Time 0.021 seconds

Frame Structure Modeling of OWL (OWL의 프레임 구조 모델링)

  • 시대근;오지훈;장영진;전양승;한성국
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10a
    • /
    • pp.97-99
    • /
    • 2004
  • 현재의 웹 환경에서의 정보는 점점 대량화되고 있으며, 정보에 대한 의미처리가 지원되지 않는 까닭에 많은 양의 정보가 무분별하게 검색되고 필요한 정보를 찾는데 많은 노력이 필요하다. 이를 해결하고자 XML의 의미태그를 중심으로 한 메타데이터 정보 모델링 등이 출현하였고, 이를 개념 수준의 의미처리로 추상화한 온톨로지(ontology) 기술이 개발되게 되었다. 온톨로지는 컴퓨터가 처리할 수 있는 명시적인 개념 표현을 상호 공유할 수 있도록 하여 줌으로써, 컴퓨터가 의미를 이해하고 추론할 수 있는 기반을 제공한다. 최근에는 여러 온톨로지 언어는 기술 논리(Description Logic)의 의미 모델에 기반을 두고 있는 OWL언어로 표준화되고 있다. 그러나, 온톨로지 언어를 사용한 직접적인 온톨로지 구축은 거의 불가능하다. 본 논문에서는 지식 표현의 기초가 되고 OWL의 이론적 기반이 되고 있는 프레임 구조로 개념 모델링 하는 방법을 통해 OWL기반의 온톨로지 구축을 보다 편리하고 효과적으로 수행할 수 있는 방법을 제공하며, 효율적인 OWL 문서의 생성과 편집 방안을 도출한다.

  • PDF

Ontology Knowledge Base Scheme for User Query Semantic Interpretation (사용자 질의 의미 해석을 위한 온톨로지 지식베이스 스키마 구축)

  • Doh, Hana;Lee, Moo-Hun;Jeong, Hoon;Choi, Eui-In
    • Journal of Digital Convergence
    • /
    • v.11 no.3
    • /
    • pp.285-292
    • /
    • 2013
  • The method of recent information retrieval passes into an semantic search to provide more accurate results than keyword-based search. But in common user case, they are still accustomed to using existing keyword-based search. Hence they are hard to create a typed structured query language. In this paper, we propose to ontology knowledge-base scheme for query interpretation of these user. The proposed scheme was designed based on the OWL-DL for description logic reasoning, it can provide a richer representation of the relationship between the object by using SWRL(Semantic Web Rule Language). Finally, we are describe the experimental results of the similarity measurement for verification of a user query semantic interpretation.

Index Ontology Repository for Video Contents (비디오 콘텐츠를 위한 색인 온톨로지 저장소)

  • Hwang, Woo-Yeon;Yang, Jung-Jin
    • Journal of Korea Multimedia Society
    • /
    • v.12 no.10
    • /
    • pp.1499-1507
    • /
    • 2009
  • With the abundance of digital contents, the necessity of precise indexing technology is consistently required. To meet these requirements, the intelligent software entity needs to be the subject of information retrieval and the interoperability among intelligent entities including human must be supported. In this paper, we analyze the unifying framework for multi-modality indexing that Snoek and Worring proposed. Our work investigates the method of improving the authenticity of indexing information in contents-based automated indexing techniques. It supports the creation and control of abstracted high-level indexing information through ontological concepts of Semantic Web skills. Moreover, it attempts to present the fundamental model that allows interoperability between human and machine and between machine and machine. The memory-residence model of processing ontology is inappropriate in order to take-in an enormous amount of indexing information. The use of ontology repository and inference engine is required for consistent retrieval and reasoning of logically expressed knowledge. Our work presents an experiment for storing and retrieving the designed knowledge by using the Minerva ontology repository, which demonstrates satisfied techniques and efficient requirements. At last, the efficient indexing possibility with related research is also considered.

  • PDF

Informatics Network Representation Using Probabilistic Graphical Models of Network Genetics (유전자 네트워크에서 확률적 그래프 모델을 이용한 정보 네트워크 추론)

  • Ra Sang-Dong;Park Dong-Suk;Youn Young-Ji
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.10 no.8
    • /
    • pp.1386-1392
    • /
    • 2006
  • This study is a numerical representative modelling analysis for applying the process that unravels networks between cells in genetics to WWW of informatics. Using the probabilistic graphical model, the insight from the data describing biological networks is used for making a probabilistic function. Rather than a complex network of cells, we reconstruct a simple lower-stage model and show a genetic representation level from the genetic based network logic. We made probabilistic graphical models from genetic data and extends them to genetic representation data in the method of network modelling in informatics.

Informatics Network Representation Between Cells Using Probabilistic Graphical Models (확률적 그래프 모델을 이용한 세포 간 정보 네트워크 추론)

  • Ra, Sang-Dong;Shin, Hyun-Jae;Cha, Wol-Suk
    • KSBB Journal
    • /
    • v.21 no.4
    • /
    • pp.231-235
    • /
    • 2006
  • This study is a numerical representative modeling analysis for the application of the process that unravels networks between cells in genetics to web of informatics. Using the probabilistic graphical model, the insight from the data describing biological networks is used for making a probabilistic function. Rather than a complex network of cells, we reconstruct a simple lower-stage model and show a genetic representation level from the genetic based network logic. We made probabilistic graphical models from genetic data and extends them to genetic representation data in the method of network modeling in informatics

Comparison of the Features of Science Language between Texts of Earth Science Articles and Earth Science Textbooks (지구과학 논문과 지구과학 교과서 텍스트의 과학 언어적 특성 비교)

  • Lee, Jeong-A;Kim, Chan-Jong;Maeng, Seung-Ho
    • Journal of The Korean Association For Science Education
    • /
    • v.27 no.5
    • /
    • pp.367-378
    • /
    • 2007
  • The purpose of this study is to investigate the features of science language in Earth science textbooks and Earth science research articles. We examined two Earth science textbooks and two Earth science articles using the taxonomy of scientific words, the text structure analysis of explanations, the analysis of conjunctive relations and reasoning, and the function of conjunction. The results showed that school science language revealed in Earth science textbooks had high proportion of naming words and the text structures in which definition/exemplification structure and description structure were dominant. Also, internal relations that showed additional arrangement rather than logical inference, were predominant in Earth science textbooks. However, scientists' science language revealed in the Earth science articles had more proportion of process words and concept words than the Earth science textbooks and the schematic structure of explanation texts, such as orientation - implication sequence - conclusion. In addition, the text structures in each sentences of implication -sequence showed cause/effect or problem-solving after description structures. Also each sentences expressed causal or abductive reasoning through the internal relations using verbs or adverbial inflection. It is necessary that we bridge the gap between the two languages for students' authentic use of science language. For the bridging, we propose "interlanguage", which mediates between school science language and scientists' language.

Fault Prediction and Diagnosis Using Fuzzy Expert System (퍼지 전문가 시스템을 이용한 고장 예측 및 진단)

  • 최성운;이영석
    • Proceedings of the Safety Management and Science Conference
    • /
    • 1999.11a
    • /
    • pp.109-121
    • /
    • 1999
  • 플랜트 및 설비가 대규모, 정교화, 복잡화 될수록 이로 인한 고장 및 오류에 의한 피해가 막대하기 때문에, 시스템의 신뢰성, 보전성 및 안전성 향상과 제품 품질 향상을 추구 및 안전성 유지에 대한 관심이 고조되고 있다. 고장진단은 잠재적으로 노이즈를 가지고 있다고 생각되는 데이터의 해석에 근거하여 시스템의 고장을 찾는 일련의 체계적이고 통합된 방법이다. 그러나 대부분의 방법들이 이진 논리에 기초를 둔 추론으로 불확실성을 제대로 결과에 반영하지 못하고 있다. 본 논문에서는 예방정비의 관점에서 시스템에 내재된 다양한 불확실성을 효율적으로 처리하기 위해 전문가의 직관과 경험등을 기초로 하여 언어학적 변량을 취하고, 이를 퍼지 기법을 이용하여 정량화 함으로써 불확실성을 고려한 판단이 가능하게 하는 퍼지 전문가 시스템을 제안한다.

  • PDF

Product Form Alignment Method Based on the Analysis of Formative Parameter Disposition (조형변수 성향 분석에 의한 정합적 제품 형태 전개 방법)

  • 김현
    • Archives of design research
    • /
    • v.17 no.2
    • /
    • pp.279-288
    • /
    • 2004
  • Corporate design activities have expanded from being exclusive and passive responsibilities to active participation in planning, marketing, technology and corporate brand image differentiation for successful business. Thus the communications between designers and other functions come to include critical decision making, information sharing, and objective reasoning. Given that design activities now have to involve various functions in product development, the styling-related design process, which is still developed by designer's intuition and experience, poses as an obstacle not just between various functions involved, but even within the design function. To overcome this obstacle and to lead more effective design decision process, a means for product form development assessment and management is necessary. This research proposes a foundation for managing and assessing product form based on the hypothesis and demonstration of discovering a system of formative factor and order a product form expresses that can be shared as an objective and logical system. As a result of this demonstration, the form as a unique visual expression and the factors related to the form and its co-relationship are examined. The factors are called formative parameters and the system is named as the product form alignment method. Based on the logic derived from the system, the process for developing an image that aligns with the predefined goal is explained. The method defines a balance between a designer's intuitive creativity and the extracted logic, which can act as a basis for designers to share design language among themselves and for communication between design and other functions. Based on this system, designers are able to align design work with the set goal, and focus and limit the range of form development, which is anticipated to result in lead-time reduction and minimizing unnecessary obstacles and mistakes.

  • PDF

Comparing object images using fuzzy-logic induced Hausdorff Distance (퍼지 논리기반 HAUSDORFF 거리를 이용한 물체 인식)

  • 강환일
    • Journal of Intelligence and Information Systems
    • /
    • v.6 no.1
    • /
    • pp.65-72
    • /
    • 2000
  • In this paper we propose the new binary image matching algorithm called the Fuzzy logic induced Hausdorff Distance(FHD) for finding the maximally matched image with the query image. The membership histogram is obtained by normalizing the cardinality of the subset with the corresponding radius after obtaining the distribution of the minimum distance computed by the Hausdroff distance between two binary images. in the proposed algorithm, The fuzzy influence method Center of Gravity(COG) is applied to calculate the best matching candidate in the membership function described above. The proposed algorithm shows the excellent results for the face image recognition when the noise is added to the query image as well as for the character recognition.

  • PDF

The development of automatic system using multimodel in hazard analysis (위험성 분석에서의 다중모델을 이용한 자동화 시스템의 개발)

  • Kang Kyung Wook;Kang Byung Kwan;Suh Jung Chul;Yoon En Sup
    • Journal of the Korean Institute of Gas
    • /
    • v.1 no.1
    • /
    • pp.87-94
    • /
    • 1997
  • There are many kinds of complicated equipments in the chemical plants. So the chemical plants have high possibility of accidents. Hazard analysis is one of the basic tasks to ensure the safety of chemical plants. However, it has many shortcomings. To overcome the problems, there have been attempts to automate this work by utilizing computer technology, particularly knowledge-based technique. However, many of the past approaches are lacking in properties: safeguard consideration, accident diversity, cause and consequence diversity, pathway leading to accidents, and various hazard analysis reasoning. Therefore, in this study, three analysis algorithms were proposed using multimodel approach, and a hazard analysis system, AHA, was developed on G2. The case study was solved with AHA system successfully.

  • PDF