• Title/Summary/Keyword: formal reasoning

Search Result 77, Processing Time 0.023 seconds

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

  • Choi, Seung-Hoon
    • Journal of Internet Computing and Services
    • /
    • v.8 no.6
    • /
    • pp.135-144
    • /
    • 2007
  • Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

  • PDF

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

  • Kim, Eun-Jung;Shin, Ae-Kyung;Lee, Sang-Kwon;Choi, Mee-Hwa;Choi, Byung-Soon
    • Journal of The Korean Association For Science Education
    • /
    • v.25 no.7
    • /
    • pp.787-793
    • /
    • 2005
  • The purposes of this study were to investigate the development of probabilistic thinking in relation to the cognitive level of elementary school students and to analyze the effects of probability activities in Thinking Science(TS) program on the development of probabilistic thinking. 152 6th grade elementary school students compiled the sample group which was divided into an experimental group and a control group. Probability activities in TS program were used with the experimental group, while the normal curriculum was conducted with the control group. Both the experimental and control group were assessed with Science Reasoning Task II and a probabilistic thinking test before execution of this investigation and were post-tested with probabilistic thinking test after the project period was complete. Results of this study showed that the students in the concrete operational stage and transitional stage used subjective strategy together with quantitative strategy in probability problem-solving, and students in the early formal operational stage used quantitative strategy in probability problem-solving. It was also found that the higher the cognitive level of students, the higher the probabilistic thinking level. The probability activities of the TS program influenced the development of probabilistic thinking of elementary school students. Assessing the development of probabilistic thinking on the basis of the cognitive level found that the level of effectiveness was significantly higher for students in the early concrete operational stage and transitional stage than students in any other stage.

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

  • Jung, Tae-Young;Kim, Hee-Yeol;Park, Jong-Hyun
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.25 no.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 (초등학교 수학 교과서에 제시된 패턴 지도방안에 대한 분석)

  • Pang, JeongSuk;Sunwoo, Jin
    • Education of Primary School Mathematics
    • /
    • v.19 no.1
    • /
    • pp.1-18
    • /
    • 2016
  • Patterns are of great significance to develop algebraic thinking of elementary students. This study analyzed teaching methods of patterns in current elementary mathematics textbook series in terms of three main activities related to pattern generalization (i.e., analyzing the structure of patterns, investigating the relationship between two variables, and reasoning and representing the generalized rules). The results of this study showed that such activities to analyze the structure of patterns are not explicitly considered in the textbooks, whereas those to explore the relationship between two variables in a pattern are emphasized throughout all grade levels using function table. The activities to reason and represent the generalized rules of patterns are dealt in a way both for lower grade students to use informal representations and for upper grade students to employ formal representations with expressions or symbols. The results of this study also illustrated that patterns in the textbooks are treated rather as a separate strand than as something connected to other content strands. This paper closes with several implications to teach patterns in a way to foster early algebraic thinking of elementary school students.

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

  • Lee, Young-Ha;Shin, Sou-Yeong
    • Journal of Educational Research in Mathematics
    • /
    • v.21 no.4
    • /
    • pp.327-344
    • /
    • 2011
  • This study is the first step for us toward improving high school students' capability of statistical inferences, such as obtaining and interpreting the confidence interval on the population mean that is currently learned in high school. We suggest 5 underlying concepts of 'discretion of contingency and inevitability', 'discretion of induction and deduction', 'likelihood principle', 'variability of a statistic' and 'statistical model', those are necessary to appreciate statistical inferences as a reliable arguing tools in spite of its occasional erroneous conclusions. We assume those 5 concepts above are to be gradually developing in their school periods and Korean mathematics textbooks of grades 1-12 were analyzed. Followings were found. For the right choice of solving methodology of the given problem, no elementary textbook but a few high school textbooks describe its difference between the contingent circumstance and the inevitable one. Formal definitions of population and sample are not introduced until high school grades, so that the developments of critical thoughts on the reliability of inductive reasoning could not be observed. On the contrary of it, strong emphasis lies on the calculation stuff of the sample data without any inference on the population prospective based upon the sample. Instead of the representative properties of a random sample, more emphasis lies on how to get a random sample. As a result of it, the fact that 'the random variability of the value of a statistic which is calculated from the sample ought to be inherited from the randomness of the sample' could neither be noticed nor be explained as well. No comparative descriptions on the statistical inferences against the mathematical(deductive) reasoning were found. Few explanations on the likelihood principle and its probabilistic applications in accordance with students' cognitive developmental growth were found. It was hard to find the explanation of a random variability of statistics and on the existence of its sampling distribution. It is worthwhile to explain it because, nevertheless obtaining the sampling distribution of a particular statistic, like a sample mean, is a very difficult job, mere noticing its existence may cause a drastic change of understanding in a statistical inference.

  • 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
    • /
    • v.20 no.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 (항공기 집행에 관한 법리)

  • Kwon, Chang-Young
    • The Korean Journal of Air & Space Law and Policy
    • /
    • v.30 no.2
    • /
    • pp.83-153
    • /
    • 2015
  • As our economy grows and the number of aircraft increase, the number of civil execution against aircraft cases are likely to increase as well in the future. The purpose of this article is to present the legal theory on the civil execution against aircrafts by drawing on the legal theory on the civil execution against vessels which constitute a relatively large number of cases thus observed. The provisions of the civil execution against immovables or vessel, shall basically apply mutatis mutandis to the civil execution against aircraft or light aircraft. The civil execution against ultra-light flying devices or a foreign aircraft shall be executed in conformity with the civil execution against movables. There are a compulsory auction, an auction to execute a security right to aircraft, and an auction under the right of retention, etc. in the civil execution against an aircraft. A compulsory execution against an aircraft means an execution carried out by a creditor against a debtor's aircraft to obtain satisfaction of claims for the purpose of payment of money. The court of execution of a compulsory execution against an aircraft shall be the district court having jurisdiction over the airport of stoppage or storage of such aircraft at the time of seizure. The forums of execution of a compulsory execution against an aircraft shall be exclusive forums. When a court has rendered an order on commencing an auction, it shall order an execution officer to receive a certificate of the aircraft's registration and other documents as required for its operation, and to submit them to the court. A court may revoke the procedures for a compulsory auction when an execution officer fails to obtain a transfer of the aircraft's registration certificate, etc. and the location of the aircraft is not evident, not later than an elapse of 2 months from the date on which an order on commencing an auction has been rendered. In the case where it is deemed that there exists a business-related need or other based on proper reasoning, the court may permit the aircraft's operation, upon the motion submitted by the debtor. In this case, there shall be a consent from the creditor, the highest bidder, the next highest bidder and successful bidder. A court may, upon a motion submitted by the creditor, make the dispositions required for observing and preserving the aircraft. When a debtor has submitted the documents under subparagraph 2 or 4 of the Article 49 of the Civil Execution Act, and furnished the guarantee equivalent to the claims of the execution creditors and the creditors demanding a distribution and to the costs for execution, before a declaration of bid, the court shall, upon request, revoke other procedures than those for distribution. The provisions of a obligatory auction against vessel or aircraft and an auction to execute a security right to real estate or vessel, shall apply mutatis mutandis to an auction to execute the security right to aircraft. In an auction to execute the security right to aircraft case, an executive title is not necessary. An executory exemplification is not necessary in an application for an auction to execute the security right to aircraft. A court should examine the existence of security right and claim secured. No order on commencing an auction procedure shall be issued with non-existence or invalidity of the security right and absence or extinguishment of the claim secured. Furthermore, these prohibitions are the reason of a decision on non-permit for sale, the court overlooked these prohibitions, and the decision on a permit for sale became final and conclusive, the successful bidder who paid the price and registered of ownership could not acquire ownership of the aircraft sold. A court may render a ruling to put plural aircrafts up for a blanket auction, only when they are in restraint and related matter (Supreme Court Order 2001Ma3688 dated on August 22, 2001). A righter of retention on aircraft may file a request for an auction against the aircraft. The provisions of an auction to execute a security right to aircraft shall apply mutatis mutandis to the formal auction. Airport facility fee and an aircraft are not in restraint and related matter, so an airport management corporation does not hold the right of retention on the aircraft (Supreme Court Decision 2011Da29291 decided on April 10, 2014). In an auction in accordance with the right of retention, all encumbrances (e.g., mortgages) on the sold aircraft shall be extinguished by a sale under the legal conditions for sale. Not only creditors who have claims for preferential payment but also general creditors could demand for distribution. The precedence of the claim of the right of retention on aircraft and that of general creditor's claims are equal.