• Title/Summary/Keyword: Logical Inference

Search Result 68, Processing Time 0.03 seconds

A study on the Development of the Device for Portable Safety Diagnosis and Dynamic Characteristics Analysis of Elevator using Fuzzy Algorithm (Fuzzy 알고리즘을 이용한 엘리베이터 포터블 안전진단 및 동특성 분석장치 개발)

  • 김태형;김훈모
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2000.11a
    • /
    • pp.123-126
    • /
    • 2000
  • An elevator system which is a essential equipment for a vertical movement of object, as a property of building, have been drove by various expenditure and purpose. Since developing electrical control technology, control systems are highly developed. An elevator equipment is expended to wide, but a data accuracy acquisition technique and safety predict technique for securing system safety is still basic level. So, objective verification for elevator confidence condition is required absolutely accuracy measurement technique. Therefore, this study is accomplished in order to conquer a method of depending on sense of a manager with a simple numeric measurement data, and construct a logical, analytical foresight system for more efficient elevator management system.

  • PDF

Factors Influencing the Success of IS Development Projects: Focusing on the Projects of the Public Sector (정보시스템 개발프로젝트의 성공도에 영향을 미치는 요인 - 공공부문의 정보시스템 구축사업을 중심으로 -)

  • Jang, Si-Young;Moon, Dae-Won;Oh, Jae-In
    • Asia pacific journal of information systems
    • /
    • v.9 no.3
    • /
    • pp.111-126
    • /
    • 1999
  • Current audit reports on IS development projects provide useful information to stakeholders but have such limitations as the lack of quantification of audit results and the insufficient recommendations on success factors. The purpose of this study is to solve these limitations, leading audit reports to become of future-oriented contents and form. This research was conducted through the logical inference from the review on the related literature, the analysis of audit reports from 1996 to 1998, and the collection of data from interviews and questionnaires with IS auditors. As a result of the study, eighteen success factors were identified for the development of IS projects, including the adequate composition of the system development team, the degree of project manager's cooperation with the client organization, and the timing of decision making.

  • PDF

Context Aware System based on Bayesian Network driven Context Reasoning and Ontology Context Modeling

  • Ko, Kwang-Eun;Sim, Kwee-Bo
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.8 no.4
    • /
    • pp.254-259
    • /
    • 2008
  • Uncertainty of result of context awareness always exists in any context-awareness computing. This falling-off in accuracy of context awareness result is mostly caused by the imperfectness and incompleteness of sensed data, because of this reasons, we must improve the accuracy of context awareness. In this article, we propose a novel approach to model the uncertain context by using ontology and context reasoning method based on Bayesian Network. Our context aware processing is divided into two parts; context modeling and context reasoning. The context modeling is based on ontology for facilitating knowledge reuse and sharing. The ontology facilitates the share and reuse of information over similar domains of not only the logical knowledge but also the uncertain knowledge. Also the ontology can be used to structure learning for Bayesian network. The context reasoning is based on Bayesian Networks for probabilistic inference to solve the uncertain reasoning in context-aware processing problem in a flexible and adaptive situation.

수학교육을 위한 비유크리드 기하의 지도에 관한 연구

  • Kim Do Sang
    • The Mathematical Education
    • /
    • v.4 no.1
    • /
    • pp.1-15
    • /
    • 1966
  • In accordance with the tendency of Modern Mathematics laying emphasis on Mathematical structure, that is, on axioms, it is necessary for students to be interested in structure of Geometry on Mathematics Education. In fact, it is of importance not only to obtain new ideas but also to forget old ones in the development of Mathematics. Most students do not understand the Mathematical significance of axioms, and do not know what Mathemetical truth is. Now Non-Euclidean Geometry offers opportunity to understand the essence of Mathematics better, and is no less effective than Euclidean Geometry in training student in logical inference. This thesis is a study with regard to what should be taught and how student should be guided at High school Mathematics. Chiefly Hyperbolic Geometry is discussed in connection with Abosolute Geometry. As Non-Euclidean Geometry has not appeared in our curriculum, some experiments are required before putting it into actual curriculum to find out how much students understand and how much pedagogically useful it can be. This is only a. presentation of a tentative plan, which needs to be criticized by many teachers.

  • PDF

On bi(必, necessity) and xianzhi(先知, a priori knowledge) of Mojing (『묵경』에 있어서 '선지(先知)'와 '필(必)' 개념의 문제)

  • Chong, Chaehyun
    • (The)Study of the Eastern Classic
    • /
    • no.35
    • /
    • pp.275-295
    • /
    • 2009
  • The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

Refutation against the Non-Scientificity Argument on Korean Medicine (한의학의 비과학성 논란에 대한 반박)

  • Chi, Gyoo Yong
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.33 no.5
    • /
    • pp.249-254
    • /
    • 2019
  • This study is aimed to refute against medical opponent's claim that Korean medicine does not conform to the conditions of science. Analyses and refutations against a journal treatise and a Facebook column formally written for a logical criticism and attack were conducted. As an example of the logic of the knowledge production process in Chinese medicine, 8 principle theory was exemplified in the Han danasty Classics "Neijing" and "Shanghanlun" at first. The knowledge was continuously revised and accumulated historically and then completed through Ming、Cheng period. The differential diagnosis and treatment theory is a logical process of forming knowledge through the process of abduction, deduction and induction begun from "Shanghanlun" succeeded to nowadays and it is essentially equaled with the process of experimental inference by Claude Bernard. Examples of normal science status based on Kuhn's scientific standards include the theory of 8 principle, differntial diagnosis of viscera and bowel, 3 yang and 3 yin diseases of "Shanghanlun" and warm disease theory. Examples of science lost or get its normal status by refutation following Popper's standards were cold damage theory and warm disease theory respectively. This allowed Chinese medicine to follow the general principles of science that form scientific knowledge and to correspond with the demarcation standards and concepts of science. However, as one of the conditions for becoming a science, Chinese medicine is partially lacking in terms of the interpretation of text language or the accordance with modern knowledge. Therefore methods are required to supplement this lack through multi-faceted research such as literature-based, theoretical and clinical studies.

Inference of Sequencing Batch Reactor Process using Oxidation Reduction Potential (ORP profile을 이용한 연속 회분식 반응기(Sequencing Batch Reactor)에서 무산소공정 추론)

  • Sim, Mun Yong;Bu, Gyeong Min;Im, Jeong Hun;U, Hye Jin;Kim, Chang Won
    • Journal of Environmental Science International
    • /
    • v.13 no.3
    • /
    • pp.245-250
    • /
    • 2004
  • The SBR(Sequencing Batch Reactor) process is ideally suited to treat high loading wastewater due to its high dilution rate. SBR operates by a cycle of periods consisting of filling, reacting, settling, decanting and idling. The react phases such as aeration or non-aeration, organic oxidation, nitrification, denitrification and other bio-logical reactions can be achieved in a reactor. Although the whole reactions can be achieved in a SBR with time distributing, it is hard to manage the SBR as a normal condition without recognizing a present state. The present state can be observed with nutrient sensors such as ${NH_{4}}^{+}-N$, ${NO_{2}}^{-}-N$, ${NO_{3}}^{-}-N} and ${PO_{4}}^{ 3-}-P.$ However, there is still a disadvantage to use the nutrient sensors because of their high expense and inconvenience to manage. Therefore, it is very useful to use common on-line sensors such as DO, ORP and pH, which are less expensive and more convient. Moreover, the present states and unexpected changes of SBR might be predicted by using of them. This study was conducted to get basic materials for making an inference of SBR process from ORP(oxidation reduction potential) of synthetic wastewater. The profiles of ORP, DO, and pH were under normal nitrification and denitrification were obtained to compare abnormal condition. And also, nitrite and nitrate accumulation were investigated during reaction of SBR. The bending point on ORP profile was not entirely in the low COD/NOx ratio condition. In this case, NOx was not entirely removed, and minimum ORP value was presented over -300mV. Under suitable COD/NOx ratio which complete denitrification was achieved, ORP bending point was observed and minimum ORP value was under -300m V. Under high COD/NOx ratio, ORP bending point was not detected at the first subcycle because of the fast denitrification and minimum ORP value was under -300mV at the time.

Mobile Context Based User Behavior Pattern Inference and Restaurant Recommendation Model (모바일 컨텍스트 기반 사용자 행동패턴 추론과 음식점 추천 모델)

  • Ahn, Byung-Ik;Jung, Ku-Imm;Choi, Hae-Lim
    • Journal of Digital Contents Society
    • /
    • v.18 no.3
    • /
    • pp.535-542
    • /
    • 2017
  • The ubiquitous computing made it happen to easily take cognizance of context, which includes user's location, status, behavior patterns and surrounding places. And it allows providing the catered service, designed to improve the quality and the interaction between the provider and its customers. The personalized recommendation service needs to obtain logical reasoning to interpret the context information based on user's interests. We researched a model that connects to the practical value to users for their daily life; information about restaurants, based on several mobile contexts that conveys the weather, time, day and location information. We also have made various approaches including the accurate rating data review, the equation of Naïve Bayes to infer user's behavior-patterns, and the recommendable places pre-selected by preference predictive algorithm. This paper joins a vibrant conversation to demonstrate the excellence of this approach that may prevail other previous rating method systems.

A Study on the Effects of Reading Education Using Book-Coding (북코딩의 독서교육 효과에 관한 연구)

  • Ji, Hyoun-Ah;Cho, Miah
    • Journal of Korean Library and Information Science Society
    • /
    • v.52 no.2
    • /
    • pp.145-166
    • /
    • 2021
  • The study was aimed at verifying the effectiveness of Book-Coding reading education as a reader activity of older elementary school children at a time when high-dimensional thinking abilities were formed. To this end, 30 fifth-grade children of N Elementary School in N-si, Gyeonggi-do, comprised of 15 students from a reading education program using Book-Coding, and 15 students from a reading comprehension program, and applied the reading education program over a total of 12 sessions. The main results of the study are summarized as follows. First, when the effects of the convergence reading education program using Book-Coding on the logical thinking ability of the students in the upper grades in the elementary school were analyzed, all the six sub-factors of logical thinking ability, that is, conservation logic, proportional logic, variable controlling logic, probabilistic logic, correlational inference logic, and combinational logic, were proved to have statistically more meaningful difference than the group writing a book report. Second, the analysis result of the influence of the convergence reading education program using Book-Coding on the creativity of the students in the upper grades of the elementary school showed that all the 13 elements of curiosity, persistence, effectiveness, independence, adventurousness, openness, knowledge, imagination, originality, sensitivity, fluency, flexibility, and accuracy were statistically meaningfully different compared to the book report group. Third, when it was analyzed how the convergence reading education program using Book-Coding affected the creative personality of the elementary school students, all the six factors of curiosity, task commitment, independence, awareness of risk, and openness of thinking, and aesthetics were found out to have a statistically more meaningful difference than the group that wrote a book report.

The Ways to Utilize Teaching Materials for Gifted Students' Creativity Improvement (영재학생의 창의성 신장을 위한 교수매체의 활용 방안)

  • Bang, Seung-Jin;Lee, Sang-Wun
    • Communications of Mathematical Education
    • /
    • v.21 no.1 s.29
    • /
    • pp.81-105
    • /
    • 2007
  • We need questions that have various answers, not one answer by just mechanical calculation, to improve students' creativity. Such questions usually require inquiry, presumption, logical inference and a variety of problem solving tactics. These questions will be even more effective when they can provide students with multiple experiences by making them engage in lots of activities. We have to make use of diverse teaching aids and tools, or teaching materials in order to get these results. This research searches for teaching materials which improve gifted students' creativity as well as the ways to utilize 4D Frame. Furthermore we intend to present the ways to put such materials and 4D frame into practical use.

  • PDF