• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Asia pacific journal of information systems
• /
• v.16 no.4
• /
• pp.151-178
• /
• 2006

The objective of this research is to develop a formal framework and methodology to facilitate real-time data integration, thus enabling semantic interoperability among distributed and heterogeneous information systems. The proposed approach is based on the concepts of "ontology" and "semantic mediators." An ontology is developed and used to capture the intension (including structure, integrity rules and meta-properties) of the database schema. We also develop the agent communication protocol for semantic reconciliation, which is based on the theory of speech acts and agent communication language. This protocol is used by a set of semantic mediators, which automatically detect and resolve various semantic conflicts at the data- and schema-levels by referring to the ontology. A mediation-based query processing technique is developed to provide uniform and integrated access to the multiple heterogeneous information sources. Prototype tools are being implemented to provide proof of concept for this work.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Journal of Educational Research in Mathematics
• /
• v.25 no.2
• /
• pp.225-240
• /
• 2015

In this study, we investigated the representativeness of proofs in school mathematics, based on the extension of the midpoint connector theorem for the quadrilateral. To this end, we considered a variety of quadrilateral and proved their extensions of the midpoint connector theorem, and identified the relationships between them, therefore seemed that the proof in school mathematics has a representativeness. On the other hand, in the survey based on this information, students were found only some types of quadrilateral and completed easily the proofs for each quadrilateral they found, but students tended to use other proof or mathematical concepts, if the target figures changes in despite of proving the same mathematical fact. Thus, students were more difficult to figure out the relationship between the proofs. From these facts, we know that students are poorly understood the representativeness of proofs to understand the relationship between concrete proofs and to generalize it, though they are able to proof to the specific figures. Therefore it can be seen that the proof activity needs to be done with organic and semantic.

• Journal of The Korean Association For Science Education
• /
• v.32 no.5
• /
• pp.823-840
• /
• 2012

The importance of teaching the nature of science (NOS) has been emphasized in the science curriculum, especially in the science curriculum for science-gifted students. Nevertheless, few studies concerning the structure and formation of students' mental model on NOS have been carried out. This study aimed to explore science-gifted students' understanding of 'fact', 'hypothesis', 'theory', 'law', and 'scientificness' by utilizing semantic network analysis. One hundred ten science-gifted middle school students who were selected by a national university participated in this study. We collected students' written responses of five items and analyzed them by the semantic network analysis(SNA) method. As a result, the core ideas of students' understanding of 'fact' were proof and reality, of 'hypothesis' were tentativeness and uncertainty, of 'theory' was proven hypothesis by experimentation, of 'law' were absoluteness and authority, and of 'scientificness' were factual evidence, verifiability, accurate and logical theoretical framework. The result of integrated semantic network illustrated that the viewpoint of science-gifted students were similar to absolutism and logical positivism (empiricism). Methodologically, this study showed that the semantic network analysis method was an useful tool for visualization of students' mental model of scientific conceptions including NOS.

• The KIPS Transactions:PartA
• /
• v.15A no.3
• /
• pp.151-154
• /
• 2008

A middleware in grid computing environment is required to support seamless on-demand services over diverse resource situations in order to meet various user requirements [1]. Since grid computing applications need situation-aware middleware services in this environment. In this paper, we propose a semantic middleware architecture to support dynamic software component reconfiguration based fault and service ontology to provide fault-tolerance in a grid computing environment. Our middleware includes autonomic management to detect faults, analyze causes of them, and plan semantically meaningful strategies to recover from the failure using pre-defined fault and service ontology trees. We implemented a referenced prototype, Web-service based Application Execution Environment(Wapee), as a proof-of-concept, and showed the efficiency in runtime recovery.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.239-251
• /
• 2006

Zheng's signcryption scheme is a new encryptical scheme of which can save more expense than those of the current signature encryption by using digital signature and symmetric key encryption logically. The current signcryption schemes have a problem that is to be exposed the secret key of the receiver in the case of checking repudiation of origin by the third party. To solve this problem, a solution suggested in this paper is to use multi-purpose ID-based signcryption scheme with anonymity and unlinkability. This solution is safe and more efficient than current signcryption schemes because the suggested scheme keeps the security of the random oracle model as using Weil-pairing in encryption. and follows a formal proof of semantic security of the decisional Diffie-Hellman problem.

• Journal of Educational Research in Mathematics
• /
• v.17 no.3
• /
• pp.253-270
• /
• 2007

by A.C. Clairaut was written based on the historico-genetic principle such as his . In this paper, by analyzing his we can induce six principles that Clairaut adopted to teach algebra: necessity and curiosity as a motive of studying algebra, harmony of discovery and proof, complementarity of generalization and specialization, connection of knowledge to be learned with already known facts, semantic approaches to procedural knowledge of mathematics, reversible approach. These can be considered as strategies for teaching algebra accorded with beginner's mind. Some of them correspond with characteristics of , but the others are unique in the domain of algebra. And by comparing Clairaut's approaches with school algebra, we discuss about some mathematical subjects: setting equations in relation to problem situations, operations and signs of letters, rule of signs in multiplication, solving quadratic equations, and general relationship between roots and coefficients of equations.

• Journal of Intelligence and Information Systems
• /
• v.11 no.1
• /
• pp.123-151
• /
• 2005

In the world of Web pages, there are oceans of documents in natural language texts and tables. To extract rules from Web pages and maintain consistency between them, we have developed the framework of XRML(extensible Rule Markup Language). XRML allows the identification of rules on Web pages and generates the identified rules automatically. For this purpose, we have designed the Rule Identification Markup Language (RIML) that is similar to the formal Rule Structure Markup Language (RSML), both as pares of XRML. RIML is designed to identify rules not only from texts, but also from tables on Web pages, and to transform to the formal rules in RSは syntax automatically. While designing RIML, we considered the features of sharing variables and values, omitted terms, and synonyms. Using these features, rules can be identified or changed once, automatically generating their corresponding RSML rules. We have conducted an experiment to evaluate the effect of the RIML approach with real world Web pages of Amazon.com, BamesandNoble.com, and Powells.com We found that $97.7\%$ of the rules can be detected on the Web pages, and the completeness of generated rule components is $88.5\%$. This is good proof that XRML can facilitate the extraction and maintenance of rules from Web pages while building expert systems in the Semantic Web environment.

• Therapeutic Science for Rehabilitation
• /
• v.8 no.4
• /
• pp.77-92
• /
• 2019

Objective : This study aims to obtain the validation of Korean version of HOME FAST using the translation-back translation process and to evaluate the reliability. Methods : Total three stages were conducted which includes forward translation to Korean, test for degree of understanding of translated version, back translation to English, and then review and proof reading process. 21 occupational therapists were participated in the evaluation of understanding of Korean-translated HOME FAST, then some of expressions were modified for better understanding. Korean version was went through back-translation to English. Similarity between the original version and re-translated version were evaluated. Total 75 data from community dwelling elderly group were collected to assess internal consistency. Two occupational therapists simultaneously evaluated for the inter-rater reliability. Results : 11 items of Korean-translated scale were responded as having confused meaning by occupational therapists. There was some modification on expression. In the evaluation of similarity between original version and re-translated version, 3 items were selected as dissimilar items in terms of syntax and 6 items were selected in terms of semantic similarity. After the repetitive modification process, items were obtained conceptual equivalence between two different languages. Internal consistency was .62(KR20) (p<.01) and inter-rater reliability was .97(ICC) (p<.01). Conclusion : Korean version of HOME FAST was finalized through translation-retranslation process. The conceptual equivalence was established and Korean version showed highly reliable. In further study, The modification of items reflecting Korean house and life style should be conducted.