• 제목/요약/키워드: formal reasoning

검색결과 77건 처리시간 0.023초

JESS 규칙 기반 시스템을 이용한 특성 구성 검증 (Feature Configuration Verification Using JESS Rule-based System)

  • 최승훈
    • 인터넷정보학회논문지
    • /
    • 제8권6호
    • /
    • pp.135-144
    • /
    • 2007
  • 특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통된 개념들과 서로 다른 개념들을 모델링하는데 널리 사용된다. 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과를 특성 구성(Feature Configuration)이라고 하며, 이것은 특정 제품에 대한 요구 사항을 나타낸다. 현재 소프트웨어 제품 라인 개발 시 특성 모델과 특성 구성을 어떻게 구축하고 이용하는지에 대한 연구는 많이 되어 있지만, 이들에 대한 정형적 시맨틱과 논리적 추론에 대한 연구는 부족하다. 본 논문에서는 소프트웨어 제품 라인 공학에서의 표준 문제로 제안된 Graph Product Line을 예제로 하여 규칙 기반 시스템인 JESS를 이용한 특성 구성 검증 기법을 제안한다. 본 논문의 기법은 특성 구성의 불일치성을 일으키는 원인을 명확히 제시하는 장점을 가지며, 자바 언어와의 결합성이 뛰어난 JESS 시스템에 기반을 두었기 때문에 다른 소프트웨어 제품 라인 개발 환경과 쉽게 통합될 수 있다.

  • PDF

Thinking Science 프로그램의 확률 활동이 초등학생의 확률적 사고 신장에 미치는 효과 (The Effects of Probability Activities in Thinking Science Program on the Development of Probabilistic Thinking of Elementary School Students)

  • 김은정;신애경;이상권;최미화;최병순
    • 한국과학교육학회지
    • /
    • 제25권7호
    • /
    • pp.787-793
    • /
    • 2005
  • 이 연구의 목적은 초등학생의 인지수준에 따른 확률적 사고의 형성 정도와 TS 프로그램의 확률 활동이 확률적 사고의 형성에 미치는 효과를 알아보는 것이었다. 이를 위하여 초등학교 6학년 152명을 실험집단과 통제집단으로 나누어, 실험집단에는 TS 프로그램의 확률 활동을 투입하였고, 통제집단에는 정규 교육과정을 운영하였다. 투입 전에 SRT II와 확률적 사고 검사를 실시하여 학생들의 인지수준에 따른 확률적 사고의 형성 정도를 조사하였고, 투입 후에 확률적사고 검사를 실시하여 처치의 효과를 알아보았다. 연구 결과에 의하면, 확률 문제 해결에서 구체적 조작기와 과도기 학생들은 주관적 전략과 양적 전략을 혼용하여 사용하였으며, 전기 형식적 조작기 학생들은 양적 전략을 많이 사용하여 인지수준이 높을수록 보다 높은 수준의 확률적 사고를 하고 있었다. TS 프로그램의 확률 활동은 학생들의 확률적 사고 형성에 효과적이었다. 확률적 사고의 형성을 인지수준에 따라 분석한 결과, 전기 구체적 조작기와 과도기 학생들에게 효과적이었음을 알 수 있었다.

상한론(傷寒論)온톨로지 구축 방법론 연구 (Study on a Methodology for Developing Shanghanlun Ontology)

  • 정태영;김희열;박종현
    • 동의생리병리학회지
    • /
    • 제25권5호
    • /
    • pp.765-772
    • /
    • 2011
  • Knowledge which is represented by formal logic are widely used in many domains such like artificial intelligence, information retrieval, e-commerce and so on. And for medical field, medical documentary records retrieval, information systems in hospitals, medical data sharing, remote treatment and expert systems need knowledge representation technology. To retrieve information intellectually and provide advanced information services, systematically controlled mechanism is needed to represent and share knowledge. Importantly, medical expert's knowledge should be represented in a form that is understandable to computers and also to humans to be applied to the medical information system supporting decision making. And it should have a suitable and efficient structure for its own purposes including reasoning, extendability of knowledge, management of data, accuracy of expressions, diversity, and so on. we call it ontology which can be processed with machines. We can use the ontology to represent traditional medicine knowledge in structured and systematic way with visualization, then also it can also be used education materials. Hence, the authors developed an Shanghanlun ontology by way of showing an example, so that we suggested a methodology for ontology development and also a model to structure the traditional medical knowledge. And this result can be used for student to learn Shanghanlun by graphical representation of it's knowledge. We analyzed the text of Shanghanlun to construct relational database including it's original text, symptoms and herb formulars. And then we classified the terms following some criterion, confirmed the structure of the ontology to describe semantic relations between the terms, especially we developed the ontology considering visual representation. The ontology developed in this study provides database showing fomulas, herbs, symptoms, the name of diseases and the text written in Shanghanlun. It's easy to retrieve contents by their semantic relations so that it is convenient to search knowledge of Shanghanlun and to learn it. It can display the related concepts by searching terms and provides expanded information with a simple click. It has some limitations such as standardization problems, short coverage of pattern(證), and error in chinese characters input. But we believe this research can be used for basic foundation to make traditional medicine more structural and systematic, to develop application softwares, and also to applied it in Shanghanlun educations.

초등학교 수학 교과서에 제시된 패턴 지도방안에 대한 분석 (An Analysis on Teaching Methods of Patterns in Elementary Mathematics Textbooks)

  • 방정숙;선우진
    • 한국수학교육학회지시리즈C:초등수학교육
    • /
    • 제19권1호
    • /
    • pp.1-18
    • /
    • 2016
  • 패턴을 다루는 여러 가지 활동은 초등학생들의 대수적 사고를 신장하는데 매우 효과적이다. 이에 본 연구는 초기 대수(early algebra)적 관점에서 패턴을 지도하는 세 가지 주요 활동인 패턴의 구조를 분석하는 활동, 패턴에서 두 변수 사이의 관계를 탐색하는 활동, 패턴의 일반화된 규칙을 추론하고 표현하는 활동을 중심으로 현행 초등학교 수학 교과서에 제시된 패턴 지도방안을 분석하였다. 분석결과 패턴의 구조를 분석하는 활동은 교과서 상에서 명시적으로 고려되지 않았다. 반면 패턴에서 두 변수 사이의 관계를 탐색하는 활동은 주로 대응표를 활용하여 전 학년에서 다루어졌고, 패턴의 일반화된 규칙을 추론하고 표현하는 활동은 저학년에서는 패턴의 규칙을 비형식적으로 표현하는 활동을 통하여, 고학년에서는 패턴의 규칙을 수식이나 기호를 사용하여 형식적으로 표현하는 활동을 통하여 다루어졌다. 한편 다른 수학 내용과의 연계성 측면에서 패턴의 지도방안을 분석한 결과, 현행 초등학교 수학 교과서에서는 패턴 활동이 규칙성 영역에 해당하는 일부 단원에서만 한정적으로 다루어지고 있었다. 이와 같은 연구결과를 토대로 본 연구는 초등학생들의 대수적 사고를 신장하기 위한 패턴 지도방안과 관련하여 구체적인 시사점을 제공하고자 한다.

초.중.고등학교 확률과 통계 단원에 나타난 표본개념에 대한 분석 (Features of sample concepts in the probability and statistics chapters of Korean mathematics textbooks of grades 1-12)

  • 이영하;신수영
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제21권4호
    • /
    • pp.327-344
    • /
    • 2011
  • 본 연구는 고등학교 수학교과에서 배우는 모평균의 신뢰구간 구하기와 같은 통계적 추론 능력을 기르기 위한 방안의 첫 단계연구이다. 통계적 추론과정을 비판적으로 분석하여 신뢰할만한 추론방법으로 이를 인정할 수 있는 표본개념의 형성을 위해, 연구자들은 우연과 필연, 귀납과 연역, 가능성원리, 통계량의 변이성, 통계적 모형 등의 하위 개념들이 형성되어야 한다고 보았다. 그리고 초중등 통계단원의 전 과정에서 이들 개념의 체계적인 발달을 도모해야 한다는 전제 아래, 초 중 고등학교 통계단원을 분석해 본 결과는 아래와 같았다. 첫째, 문제해결 방법 선택의 지도와 관련하여, 통계적 방법을 선택할 문제 상황으로서, 우연적 상황을 필연적 상황과 구분하기위한 설명이 있는 교과서가 초등학교에는 없고, 중등 수준에서도 매우 드물었다. 둘째 표본의 모집단 관련 의미를 이해시키려는 단계적 준비가 미흡하다고 할 수 있다. 전체와 부분의 모집단과 표본 구분이 고등학교에서 비로소 공식화되고 있으며, 초 중학교에서 사용되는 표본자료는 그것으로부터 얻어지는 계산적 결과에만 초점이 맞추어짐으로서, 학년이 올라감에 따라 모집단을 향한 귀납적 추론의 신뢰성에 대한 비판적 사고의 깊이가 더해지는 모습을 찾아보기 어려웠다. 셋째, 무작위 추출이 갖는 대표성의 의미에 대한 설명보다는 무작위 활동 자체에 대한 설명이 중심이 됨으로서 무작위 추출의 확률적 의미, 즉 무작위 표본을 통해 구해질 통계량의 표집분포에서의 (상속된) 무작위성을 위한 담보로서의 목적에 대한 설명이 없다는 점이다. 넷째 통계적 추론을 수학(연역)적 추론과 구분해 주는 설명이 없을 뿐 아니라, 학습자의 논리성 발달 수준에 맞게 변화하는 가능성원리에 대한 설명, 적용 등을 전혀 찾기 어렵다는 점이다. 다섯째 통계량의 우연변이성과 그에 따른 표집분포의 존재에 대한 이해를 추구하는 설명을 찾기 어렵다는 점이다. 표집분포를 수학적으로 구하는 것은 매우 어려운 과정이지만, 그것의 존재를 인식하느냐 못하느냐는 통계적 추론 자체의 이해 가능성을 달리하는 중요한 문제이기 때문이다.

  • PDF

Using the METHONTOLOGY Approach to a Graduation Screen Ontology Development: An Experiential Investigation of the METHONTOLOGY Framework

  • Park, Jin-Soo;Sung, Ki-Moon;Moon, Se-Won
    • Asia pacific journal of information systems
    • /
    • 제20권2호
    • /
    • pp.125-155
    • /
    • 2010
  • Ontologies have been adopted in various business and scientific communities as a key component of the Semantic Web. Despite the increasing importance of ontologies, ontology developers still perceive construction tasks as a challenge. A clearly defined and well-structured methodology can reduce the time required to develop an ontology and increase the probability of success of a project. However, no reliable knowledge-engineering methodology for ontology development currently exists; every methodology has been tailored toward the development of a particular ontology. In this study, we developed a Graduation Screen Ontology (GSO). The graduation screen domain was chosen for the several reasons. First, the graduation screen process is a complicated task requiring a complex reasoning process. Second, GSO may be reused for other universities because the graduation screen process is similar for most universities. Finally, GSO can be built within a given period because the size of the selected domain is reasonable. No standard ontology development methodology exists; thus, one of the existing ontology development methodologies had to be chosen. The most important considerations for selecting the ontology development methodology of GSO included whether it can be applied to a new domain; whether it covers a broader set of development tasks; and whether it gives sufficient explanation of each development task. We evaluated various ontology development methodologies based on the evaluation framework proposed by G$\acute{o}$mez-P$\acute{e}$rez et al. We concluded that METHONTOLOGY was the most applicable to the building of GSO for this study. METHONTOLOGY was derived from the experience of developing Chemical Ontology at the Polytechnic University of Madrid by Fern$\acute{a}$ndez-L$\acute{o}$pez et al. and is regarded as the most mature ontology development methodology. METHONTOLOGY describes a very detailed approach for building an ontology under a centralized development environment at the conceptual level. This methodology consists of three broad processes, with each process containing specific sub-processes: management (scheduling, control, and quality assurance); development (specification, conceptualization, formalization, implementation, and maintenance); and support process (knowledge acquisition, evaluation, documentation, configuration management, and integration). An ontology development language and ontology development tool for GSO construction also had to be selected. We adopted OWL-DL as the ontology development language. OWL was selected because of its computational quality of consistency in checking and classification, which is crucial in developing coherent and useful ontological models for very complex domains. In addition, Protege-OWL was chosen for an ontology development tool because it is supported by METHONTOLOGY and is widely used because of its platform-independent characteristics. Based on the GSO development experience of the researchers, some issues relating to the METHONTOLOGY, OWL-DL, and Prot$\acute{e}$g$\acute{e}$-OWL were identified. We focused on presenting drawbacks of METHONTOLOGY and discussing how each weakness could be addressed. First, METHONTOLOGY insists that domain experts who do not have ontology construction experience can easily build ontologies. However, it is still difficult for these domain experts to develop a sophisticated ontology, especially if they have insufficient background knowledge related to the ontology. Second, METHONTOLOGY does not include a development stage called the "feasibility study." This pre-development stage helps developers ensure not only that a planned ontology is necessary and sufficiently valuable to begin an ontology building project, but also to determine whether the project will be successful. Third, METHONTOLOGY excludes an explanation on the use and integration of existing ontologies. If an additional stage for considering reuse is introduced, developers might share benefits of reuse. Fourth, METHONTOLOGY fails to address the importance of collaboration. This methodology needs to explain the allocation of specific tasks to different developer groups, and how to combine these tasks once specific given jobs are completed. Fifth, METHONTOLOGY fails to suggest the methods and techniques applied in the conceptualization stage sufficiently. Introducing methods of concept extraction from multiple informal sources or methods of identifying relations may enhance the quality of ontologies. Sixth, METHONTOLOGY does not provide an evaluation process to confirm whether WebODE perfectly transforms a conceptual ontology into a formal ontology. It also does not guarantee whether the outcomes of the conceptualization stage are completely reflected in the implementation stage. Seventh, METHONTOLOGY needs to add criteria for user evaluation of the actual use of the constructed ontology under user environments. Eighth, although METHONTOLOGY allows continual knowledge acquisition while working on the ontology development process, consistent updates can be difficult for developers. Ninth, METHONTOLOGY demands that developers complete various documents during the conceptualization stage; thus, it can be considered a heavy methodology. Adopting an agile methodology will result in reinforcing active communication among developers and reducing the burden of documentation completion. Finally, this study concludes with contributions and practical implications. No previous research has addressed issues related to METHONTOLOGY from empirical experiences; this study is an initial attempt. In addition, several lessons learned from the development experience are discussed. This study also affords some insights for ontology methodology researchers who want to design a more advanced ontology development methodology.

항공기 집행에 관한 법리 (The Legal Theory on the Civil Execution against Aircraft)

  • 권창영
    • 항공우주정책ㆍ법학회지
    • /
    • 제30권2호
    • /
    • pp.83-153
    • /
    • 2015
  • 우리나라의 경제가 더욱 성장하고, 항공기의 수가 점차 증가하면, 항공기 집행사건은 앞으로 늘어날 수 있다. 이 글은 다수의 사례가 축적되어 있는 선박집행에 관한 법리를 차용하여 항공기 집행에 관한 법리를 제시하기 위한 것이다. 항공기, 경량항공기에 대한 집행은 기본적으로 부동산 선박 집행을 준용하고, 초경량비행장치, 외국항공기에 대한 집행은 동산집행방법에 의한다. 항공기 집행에는 강제경매, 임의경매, 유치권에 기한 경매 등이 있다. 항공기에 대한 강제경매는 채권자가 금전의 지급을 목적으로 하는 청구권의 만족을 얻기 위하여 채무자 소유의 항공기에 대하여 행하는 강제집행을 말한다. 항공기에 대한 강제경매는 압류 당시에 그 항공기가 있는 곳을 관할하는 지방법원을 집행법원으로 하고, 이는 전속관할이다. 법원은 경매개시결정을 한때에는 집행관에게 항공기등록증명서 그 밖에 항공기운항에 필요한 문서를 받아 법원에 제출하도록 명하여야 한다. 강제경매개시결정이 있은 날부터 2월이 지나기까지 집행관이 항공기등록증명서등을 넘겨받지 못하고 항공기가 있는 곳이 분명하지 아니한 때에는 집행법원이 강제경매절차를 취소할 수 있다. 채권자 최고가매수신고인 차순위매수신고인 매수인의 동의가 있으면, 법원은 영업상의 필요 그 밖에 상당한 이유가 있다고 인정한 때에는 채무자의 신청에 따라 항공기의 운항을 허가할 수 있다. 법원은 채권자의 신청에 따라 항공기를 감수하거나 보존에 필요한 처분을 할 수 있다. 채무자가 민사집행법 49조 2호 4호의 서류를 제출하고 압류채권자 및 배당요구채권자의 채권과 집행비용에 해당하는 보증을 매수신고 전에 제공한 때에는 법원은 신청에 따라 배당절차 외의 절차를 취소하여야 한다. 항공기를 목적으로 하는 담보권 실행을 위한 경매(임의경매) 절차에는 선박 항공기 강제경매에 관한 규정과 담보권 실행을 위한 부동산 선박 경매에 관한 규정이 준용된다. 임의경매에서는 집행권원이 필요하지 않고, 신청에도 집행력 있는 정본은 요구하지 않는다. 또한, 집행법원이 담보권 및 피담보채권의 존부를 심사하여 담보권의 부존재 무효, 피담보채권의 불발생 소멸 등과 같은 실체상의 하자가 있으면 경매개시결정을 할 수 없다. 나아가 이러한 사유는 매각불허가 사유에 해당하고, 또 이를 간과하여 매각허가결정이 확정되고 매수인이 매각대금을 완납하여 소유권이전등록을 마쳤다 하더라도 매수인은 매각항공기의 소유권을 취득하지 못한다. 집행법원은 여러 대의 항공기 상호간의 이용관계에서 견련성이 있는 경우에 한하여 여러 대의 항공기에 대한 일괄경매를 할 수 있다(대법원 2001. 8. 22.자 2001마3688 결정). 항공기에 대한 유치권자도 경매를 신청할 수 있다. 형식적 경매의 절차는 담보권 실행을 위한 경매의 예에 따라 실시한다. 그러나 공항시설 사용료와 항공기 사이의 견련관계를 인정할 수 없으므로, 공항공사의 항공기에 대한 유치권은 성립하지 않는다(대법원 2014. 4. 10. 선고 2011다29291 판결). 유치권에 의한 경매도 항공기 위의 부담을 소멸시키는 것을 법정매각조건으로 하여 실시되고, 우선채권자뿐만 아니라 일반채권자의 배당요구도 허용되며, 유치권자는 일반채권자와 동일한 순위로 배당을 받을 수 있다.