• Title/Summary/Keyword: 논리 서술자

Search Result 20, Processing Time 0.027 seconds

Using Description Logic and Rule Language for Web Ontology Modeling (서술논리와 규칙언어를 이용한 웹 온톨로지 모델링)

  • Kim, Su-Gyeong
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 2007.05a
    • /
    • pp.277-285
    • /
    • 2007
  • 본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

  • PDF

Component Retrieval using Extended Software Component Descriptor (확장된 소프트웨어 컴포넌트 서술자에 기초한 컴포넌트 저장소의 검색)

  • Geum, Yeong-Uk;Park, Byeong-Seop
    • The KIPS Transactions:PartD
    • /
    • v.9D no.3
    • /
    • pp.417-426
    • /
    • 2002
  • Components are stored in a component repository for later reuse. Effective search and retrieval of desired components in a component repository is a very important issue. It usually takes a lot of time and efforts to gather information about a component, and its availability is essential to implement a repository. Software Component Descriptor proposed in CORBA 3 contains information about a component using an XML vocabulary. In this paper we extend Software Component Descriptor to be useful for the search of a component repository. We use a facet scheme as a search method of a component repository. And our new retrieval method supports queries connected with logical operators such as AND, OR, NOT, which were not supported with existing facet retrieval methods. Also we reduce the search complexity considerably.

Analysis of Relationships of Scientific Communication Skills, Science Process Skills, Logical Thinking Skills, and Academic Achievement Level of Elementary School Students (초등학생의 과학적 의사소통능력과 과학 탐구능력, 논리적 사고력, 학업 성취도 수준과의 관계 분석)

  • Jeon, Seongsoo;Park, Jong-Ho
    • Journal of The Korean Association For Science Education
    • /
    • v.34 no.7
    • /
    • pp.647-655
    • /
    • 2014
  • The purpose of this study is to acquire teaching insights for improving scientific literacy by analyzing the effects of scientific communication skills, science process skills, and logical thinking skills of elementary school students on academic achievement level. The participants are 64, sixth grade elementary school students. Survey materials include the results of Scientific Communication Skill Test (SCST), Test of Science Process Skills (TSPS), Group Assessment of Logical Thinking (GALT), multiple choice test & short answer test, descriptive answer test on science, and academic achievement level test on all subjects. Based on these data, the study analyzed the relationships of science process skills, logical thinking skills, and scientific communication skills, and each category's effect on academic achievement level. Furthermore, under the assumption that scientific communication skills are affected by science process skills and logical thinking skills and directly influence the academic level, the research discovered three types of correlations as a structural model. The results show that there are considerable correlations in scientific communication skills, science process skills, and logical thinking skills. Also, these three abilities have meaningful correlations with learner's writing and descriptive question level on science curriculum and overall academic achievement level; the level of correlation differ a bit by subcategory factors. In conclusion, setting the model, science process skills and logical thinking skills influence scientific communication skill, and the skill directly influences the learner's academic level. Further analysis of the results show that scientific communication skill influences the academic achievement level of all subjects the most.

Using Prior Domain Knowledge for Efficient Relational Reinforcement Learning (효율적인 관계형 강화학습을 위한 사전 영역 지식의 활용)

  • Kang, Minkyo;Kim, Incheol
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2021.05a
    • /
    • pp.483-486
    • /
    • 2021
  • 기존의 심층 강화학습은 상태, 행동, 정책 등을 모두 벡터 형태로 표현하는 강화학습으로서, 학습된 정책의 일반성과 해석 가능성에 제한이 있고 영역 지식을 학습에 효과적으로 활용하기도 어렵다는 한계성이 있다. 이러한 문제점들을 해결하기 위해 제안된 새로운 관계형 강화학습 프레임워크인 dNL-RRL은 상태, 행동, 그리고 학습된 정책을 모두 논리 서술자와 규칙들로 표현할 수 있다. 본 논문에서는 dNL-RRL을 기초로 공장 내 운송용 모바일 로봇의 제어를 위한 행동 정책 학습을 수행하였으며, 학습의 효율성 향상을 위해 인간 전문가의 사전 영역 지식을 활용하는 방안들을 제안한다. 다양한 실험들을 통해, 본 논문에서 제안하는 영역 지식을 활용한 관계형 강화학습 방법의 학습 성능 개선 효과를 입증한다.

A study about the petition to the king of Doam(陶菴) Leejae(李縡) (도암(陶菴) 이재(李縡)의 상소문(上疏文) 연구)

  • Kwon, Jinok
    • (The)Study of the Eastern Classic
    • /
    • no.68
    • /
    • pp.35-67
    • /
    • 2017
  • This paper examines the petition to the king of Doam(陶菴) Leejae(李縡), one of the key figures of 18th century. He wrote a total of 49 he petition to the king, mostly resignation petition to the king. He emphasized the genuine feelings and emphasized the accurate persuasion logic when he was writing a petition to the king. It is not contradictory to these elements, looking at his actual situation he wrote. He wrote the resignation petition to the king three times to resign Daejehak (大提學), he changed his persuasion logic in each of the resignation petition to the king. We can look at the aspect of transforming persuasion logic on the same topic. His resignation petition to the king, for the first time, was particularly well structured in terms of composition, and used a proper accent method. His resignation petition to the king has the beautiful literary art of gomun(古文), such as the expression of the so-called munjongjasoon(文從字順) and the composition of paragraph organically corresponding. The best work of his resignation petition to the king is Maneonso(萬言疏). The contents criticized Yeongjo(英祖)'s tangpyeongchaek(蕩平策) while evaluating Sinimoksa(辛壬獄事). It consists of a total of 5,300 letters. This work repeatedly used the irony, the method of seolui(設疑), and the incremental method to criticize the tangpyeongchaek(蕩平策), and put Yeongjo(英祖)'s position to the corner. This work is an example of other the resignation petition to the king.

Effective Utilization of Domain Knowledge for Relational Reinforcement Learning (관계형 강화 학습을 위한 도메인 지식의 효과적인 활용)

  • Kang, MinKyo;Kim, InCheol
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.11 no.3
    • /
    • pp.141-148
    • /
    • 2022
  • Recently, reinforcement learning combined with deep neural network technology has achieved remarkable success in various fields such as board games such as Go and chess, computer games such as Atari and StartCraft, and robot object manipulation tasks. However, such deep reinforcement learning describes states, actions, and policies in vector representation. Therefore, the existing deep reinforcement learning has some limitations in generality and interpretability of the learned policy, and it is difficult to effectively incorporate domain knowledge into policy learning. On the other hand, dNL-RRL, a new relational reinforcement learning framework proposed to solve these problems, uses a kind of vector representation for sensor input data and lower-level motion control as in the existing deep reinforcement learning. However, for states, actions, and learned policies, It uses a relational representation with logic predicates and rules. In this paper, we present dNL-RRL-based policy learning for transportation mobile robots in a manufacturing environment. In particular, this study proposes a effective method to utilize the prior domain knowledge of human experts to improve the efficiency of relational reinforcement learning. Through various experiments, we demonstrate the performance improvement of the relational reinforcement learning by using domain knowledge as proposed in this paper.

해쉬 함수 SHA-3 개발 동향

  • Lee, Yu-Seop;Lee, Je-Sang;Kang, Jin-Keon;Hong, Seok-Hie;Sung, Jae-Chul
    • Review of KIISC
    • /
    • v.19 no.4
    • /
    • pp.44-52
    • /
    • 2009
  • 2005년 중국의 Wang 교수 연구팀에 의해 SHA-1에 대한 충돌쌍 공격이 발표됨에 따라, SHA-1 대신 SHA-2를 사용하도록 하였다. 아직까지 SHA-2에는 SHA-1과 같은 문제점이 발생하지 않고 있지만, SHA-1과 설계 논리가 유사한 SHA-2에 문제점이 생겼을 경우 대체 알고리즘이 부재한 현 상황에 따라 SHA-3 알고리즘 개발의 필요성이 제기되었다. 이에 미국 국립기술 표준원 (NIST, National Institute of Standards and Technologies)는 신규 표준 해쉬 알고리즘을 개발을 위하여 2007년부터 2012년까지 6년간의 "SHA-3 프로젝트"를 시작하였다. 2008년 11월 1일 64개의 알고리즘이 제출되었으며, 12월 11일 51개의 알고리즘이 1 후보 알고리즘으로 선정되었다. 2009년 7월 현재, 10개의 알고리즘이 제안자에 의해 철회되어 41개의 알고리즘이 1 라운드에서 심사되고 있다. 본 논문에서는 SHA-3 개발의 요구 사항과 현재까지 SHA-3 개발 동얄을 서술한다.

On Identity Between Truth Bearer and Fact (진리담지자와 사실 사이의 동일성에 대하여)

  • Kim, Donghyun
    • Korean Journal of Logic
    • /
    • v.21 no.2
    • /
    • pp.207-231
    • /
    • 2018
  • The identity theory of truth insists that a truth bearer is identical with a fact. First, I will consider how we can make the thesis intelligible. For this, I classify the identity relation which the identity theory discusses into two kind; trivial and non-trivial relation. And I show that the trivial one is not adequate to be qualified to be applied to the identity theory. The non-trivial relation can be adopted in robust or modest way. I argue that the robust kind of identity theory is incoherent itself. Then, I explain why we should compare the modest identity theory with the deflationism. From this comparing, I will draw the consequence that two choices are left to the modest theory. If they choose one way, there is no reason for us to prefer the identity theory to deflationism. On the other hand, in case that they choose the other way, I argue what kinds of interesting problem is left to be solved by the modest theorists. Finally, I will evaluate the limit and prospect of the result of the problem in case that the identity theorists achieve their goal.

The status of 「Logic and Writing in Home Economics Education」 course and the students' perception about the course (「가정과 논리 및 논술」 교과목의 운영 실태 및 가정교육과 학생의 인식)

  • Choi, Min-Ji;Chae, Jung-Hyun;Jun, Mi-Kyung
    • Journal of Korean Home Economics Education Association
    • /
    • v.27 no.1
    • /
    • pp.51-65
    • /
    • 2015
  • The purpose of the study was to describe the operating status of "Logic and Writing in Home Economics Education(HEE)" course and the students' perception about the course. For this study, the syllabuses of "Logic and Writing" course in HE education department were reviewed. The survey method was used in this descriptive study. Respondents in this study were 116 students taking the "Logic and Writing in Home Economics Education" course. Questionnaires from the students were collected through on-line and off-line mail. The results of the study were as the follows: First, goals of the "Logic and Writing in HE Education" course were as the follows in order: to enhance writing skill about various subjects related to Home Economics; to foster HE teachers' professionalism through persuasive power logically; to foster writing skill logically; to prepare HE teacher recruitment exam; and to foster teaching skills to enhance students' writing. The student evaluation methods in the course were mainly attendance, examination, tasks, discussion and presentation, and class participation. Second, degree of satisfaction of students taking the course was higher than average. The student respondents perceived that the course was helpful to improve their logical thinking and critical analytical skill, writing skill related to HE education and education, ability to express one's opinion clearly and exactly, understanding of the fundamental concept of logic and the structure and method of the essay, comprehensive understanding of HE education, and ability to solve the problems specifically. However, they responded that it was difficult to practice writing, to discuss and debate frequently, to follow uncertain assessment criteria, and to present frequently. They wanted the instructor to give the feedback more frequently.

  • PDF

A Study on the Development Web Services Component Based Service Oriented Architecture (SOA 기반의 웹 서비스 컴포넌트 개발에 관한 연구)

  • Park Dong-Sik;Shin Ho-Jun;Kim Haeng-Kon
    • Journal of Korea Multimedia Society
    • /
    • v.7 no.10
    • /
    • pp.1496-1504
    • /
    • 2004
  • Web service should be to connect business between enterprise through the Internet, promotion of construction speed and decrease of development expense of service construction are possible. Also, unification with other domain is possible easily, and update or correction is easy by offering reusability and replaceability through component based development. In this paper, We suggest development process to build architecture and this to integrate consisted component efficiently to develop web service that is embodied in supplier side on service oriented architecture(SOA). The suggest architecture to integrate component that is consisted for this efficiently, and describes development process. So that component develops web service to base structure of web service because do command stratification logically function in each hierarchy define, and presents architecture based on logical hierarchy. The web services consist of Facade and Backside component; The Facade component have web service functions. We describe process that develop to Facade component and present mailing web services as case study. It can be decrease production cost and development time. The web service based on component will improve reliability for reuseability and replaceability.

  • PDF