• Title/Summary/Keyword: complexity of reasoning

Search Result 48, Processing Time 0.03 seconds

A Clinical Nomogram Construction Method Using Genetic Algorithm and Naive Bayesian Technique (유전자 알고리즘과 나이브 베이지언 기법을 이용한 의료 노모그램 생성 방법)

  • Lee, Keon-Myung;Kim, Won-Jae;Yun, Seok-Jung
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.19 no.6
    • /
    • pp.796-801
    • /
    • 2009
  • In medical practice, the diagnosis or prediction models requiring complicated computations are not widely recognized due to difficulty in interpreting the course of reasoning and the complexity of computations. Medical personnel have used the nomograms which are a graphical representation for numerical relationships that enables to easily compute a complicated function without help of computation machines. It has been widely paid attention in diagnosing diseases or predicting the progress of diseases. A nomogram is constructed from a set of clinical data which contain various attributes such as symptoms, lab experiment results, therapy history, progress of diseases or identification of diseases. It is of importance to select effective ones from available attributes, sometimes along with parameters accompanying the attributes. This paper introduces a nomogram construction method that uses a naive Bayesian technique to construct a nomogram as well as a genetic algorithm to select effective attributes and parameters. The proposed method has been applied to the construction of a nomogram for a real clinical data set.

A Study on Focus Position Control of Reflector Using Fuzzy Controller (퍼지제어기를 이용한 반사경의 초점 위치제어에 관한 연구)

  • Jeong, Hoi-Seong;Kim, Jun-Su;Kim, Hye-Ran;Kim, Gwan-Hyung;Lee, Hyung-Ki
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.21 no.5
    • /
    • pp.645-652
    • /
    • 2011
  • The present study investigated the tracking system of a reflector to trace the movement of sun. The system was designed to minimize the error between the vertical vector of reflector and the position of sun. The proposed system was able to collect the sun lights at a point as a useful source of light energy and transmit the collected light to a remote area through optical fibers. Also the study successfully solved the controller design problem due to the complexity of modeling of the sun tracking system using a fuzzy logic controller which mimics human reasoning.

Fast Sampling Set Selection Algorithm for Arbitrary Graph Signals (임의의 그래프신호를 위한 고속 샘플링 집합 선택 알고리즘)

  • Kim, Yoon-Hak
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.15 no.6
    • /
    • pp.1023-1030
    • /
    • 2020
  • We address the sampling set selection problem for arbitrary graph signals such that the original graph signal is reconstructed from the signal values on the nodes in the sampling set. We introduce a variation difference as a new indirect metric that measures the error of signal variations caused by sampling process without resorting to the eigen-decomposition which requires a huge computational cost. Instead of directly minimizing the reconstruction error, we propose a simple and fast greedy selection algorithm that minimizes the variation differences at each iteration and justify the proposed reasoning by showing that the principle used in the proposed process is similar to that in the previous novel technique. We run experiments to show that the proposed method yields a competitive reconstruction performance with a substantially reduced complexity for various graphs as compared with the previous selection methods.

Implementation on ADHD Diagnostic Expert System based on DSM Diagnostic Criteria (DSM 진단 기준을 이용한 ADHD 진단 전문가시스템 구현)

  • Hwang, Ju-Bee;Lee, Kang-Hee
    • Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
    • /
    • v.7 no.11
    • /
    • pp.515-524
    • /
    • 2017
  • In this paper, we design and implement an expert system for diagnosing ADHD. As a result of the analysis with DSM-IV-TR, the ADHD diagnostic criteria are changed according to the age group. With this analyzed diagnostic, objects and their values are set and rules are created. We design a diagnostic system consisting of 'ADHD diagnostic system engine' and 'user query response program'. The ADHD diagnostic system engine is a rule-based reasoning engine that is implemented in the Prolog language and receives INPUT from the user query response program. By INPUT, the rule is executed based on the ADHD diagnostic criteria and the OUTPUT is sent back to the 'user query response program' by inferring the diagnostic result. The 'user query response program' is implemented in the Python language and serves as an interface for handling conversation with the user. The bridge between 'ADHD diagnostic system engine' and 'user query response program' is performed through the Pyswip library. As a result, the ADHD Diagnostic Expert System will help you plan your treatment with reduced diagnostic costs and use-complexity.

A STUDY OF FISHER'S ANGLE (Fisher's Angle에 관한 연구)

  • Kim, Yung-Soo
    • The Journal of Korean Academy of Prosthodontics
    • /
    • v.17 no.1
    • /
    • pp.7-21
    • /
    • 1979
  • This investigation was to analyse normal protrusive and lateral condylar pantographic records written on the sagittal plane and to study components of Fisher's angle and their interrelations. The purpose of this study was limited to (1) discussing the significance of sagittal pantographic record in diagnosis of occlusal disease and(2) basing for reasoning validity of measuring Fisher's angle which has been reported so far. As a result followings were concluded. 1. In each protrusive and lateral condylar movement path, five complicate factors such as initial straightness, distributed simple sigmoid type, simple curvature, initial tiny protruding convexity and tiny repeated sigmoid patterns were noted. Generally each condylar movement path was composed of two to three of these factors. 2. The distribution of positional interrelations of protrusive and lateral condylar paths could be divided into five categories; (a) protrusive-upper, (b) completely coinciding, (c) partially initial coinciding, (d) partially inverted crossing, and (e) completely inverting. Among these, protrusive path-upper positioned condyles were prevailed (79.2%). 3. The distribution of interrelations of protrusive and lateral condylar paths could be devided into five categories according to their distances in the course of movement. Among these, opening (95.8%) and paralleling (66.7%) were prevailing. 4. The involved number of characteristic heterogenous patterns of five categories in protrusive and lateral condylar movement recording relations at one simultaneous recordings was limited to three. However, in case of homogeneous patterns were repeated, usually three to four were included. 5. The maximum distance between protrusive and lateral condylar paths was 1.45mm at the location of 4mm advanced position from centric relation point and 3.90mm at the location of protrusive movement terminal. 6. It seemed to be that ,pantographic records should be consulted other clinical symptoms in order to make certain occlusion diagnosis. 7. At the present moment of investigation, expressing Fisher's angle as a degree revealed a lack due to inherent complexity of protrusive and lateral condylar movement paths. 8. The typical pattern of protrusive and lateral condylar paths written on a pantographic sagittal plate might be described as follows; (a) protrusive condylar path should be positioned upwardly, (b) both mainly be simple curvature, (c) interrelations mainly be opening or paralleling. 9. The mean amounts of separation between protrusive and lateral condylar movement path were $0.75{\pm}0.46$ at 4mm advanced location from centric relation and $1.74{\pm}0.64mm$ at the location of protrusive path terminal.

  • PDF

Synthesizable Interface Verification for Hardware/Software Co-verification (하드웨어/소프트웨어 동시검증을 위한 합성 가능한 인터페이스 검증 기법)

  • Lee, Jae-Ho;Han, Tai-Sook;Yun, Jeong-Han
    • Journal of KIISE:Software and Applications
    • /
    • v.37 no.4
    • /
    • pp.323-339
    • /
    • 2010
  • The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

PDA Personalized Agent System (PDA용 개인화 에이전트 시스템)

  • 표석진;박영택
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 2002.11a
    • /
    • pp.345-352
    • /
    • 2002
  • 무선 인터넷을 이용하는 사용자는 정보의 양의 따른 시간적 통신비용의 증가 문제로 개인화 에이전트가 사용자의 관심에 따라 서비스를 제공하는 기능과 맞춤화된 정보를 제공하는 기능, 지식 기반 방식으로 정보를 예측하는 기능을 가지기를 바라고 있다. 본 논문에서는 이와 같이 무선 인터넷을 사용하는 사용자를 위한 PDA 개인화 에이전트 시스템을 구축하고자 한다. PDA 개인화 에이전트 시스템 구축을 위해 프로파일 기반의 에이전트 엔진과 사용자 프로파일을 이용한 지식기반 방식을 사용한다. 사용자가 웹페이지에서 행하는 행위들을 모니터링하여 사용자가 관심 가지는 문서를 파악하고 정보 검색을 통해 얻어진 문서를 분석하여 사용자 각각의 관심 문서로 나누어 서비스하게 된다. 모니터링 되어진 문서를 효과적으로 분석하기 위해 unsupervised clustering 기계학습 방식인 Cobweb을 이용한다. unsupervised 기계 학습은 conceptual 방식을 이용하여 검색되어진 정보를 사용자의 관심 분야별로 clustering한다. 클러스터링을 통해 얻어진 결과를 다시 기계학습을 통해 사용자 관심문서에 대한 프로파일을 생성하게 된다. 이렇게 만들어진 프로파일을 룰(Rule)로 만들어 이를 기반으로 사용자에게 서비스하게 된다. 이러한 룰은 사용자의 모니터링 결과로 얻어지기 때문에 주기적으로 업데이트하게 된다. 제안하는 시스템은 인터넷신문이나 웹진 등에서 사용자들에게 뉴스를 전달하기 위한 목적으로 생성하는 뉴스문서를 특정 대상으로 선정하였고 사용자 정보를 이용한 검색을 실시하고 결과로 얻어진 정보를 정보 분류를 통해 PDA나 휴대폰을 통해 사용자에게 제공한다. 상품을 검색하기 위한 검색노력을 줄이고, 검색된 대안들로부터 구매자와 시스템이 웹상에서 서로 상호작용(interactivity) 하여 해를 찾고, 제약조건과 규칙들에 의해 적합한 해를 찾아가는 방법을 제시한다. 본 논문은 구성기반 예로서 컴퓨터 부품조립을 사용해서 Template-based reasoning 예를 보인다 본 방법론은 검색노력을 줄이고, 검색에 있어 Feasibility와 Admissibility를 보장한다.매김할 수 있는 중요한 계기가 될 것이다.재무/비재무적 지표를 고려한 인공신경망기법의 예측적중률이 높은 것으로 나타났다. 즉, 로지스틱회귀 분석의 재무적 지표모형은 훈련, 시험용이 84.45%, 85.10%인 반면, 재무/비재무적 지표모형은 84.45%, 85.08%로서 거의 동일한 예측적중률을 가졌으나 인공신경망기법 분석에서는 재무적 지표모형이 92.23%, 85.10%인 반면, 재무/비재무적 지표모형에서는 91.12%, 88.06%로서 향상된 예측적중률을 나타내었다.ting LMS according to increasing the step-size parameter $\mu$ in the experimentally computed. learning curve. Also we find that convergence speed of proposed algorithm is increased by (B+1) time proportional to B which B is the number of recycled data buffer without complexity of compu

  • PDF

A Study on the Abstract Types of the Contemporary Landscape Design (현대조경디자인의 추상유형에 관한 연구)

  • Kim, Jun-Yon;Lee, Haeung-Yul;Bang, Kwang-Ja
    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.36 no.6
    • /
    • pp.1-11
    • /
    • 2009
  • This study focuses on Abstract Types in Contemporary Landscape Design. The formation and artistry of contemporary landscape design reveals many areas which Previously have not been able to be expressed in scenic landscape thanks to the deviation of the genre in contemporary landscape and the hybridization that has occurred among architecture, landscape and art genres. The focus of this study is basic research concerning "the abstract", which is used as a creative artistic theory in a variety of art fields such as landscape, architecture and painting. Through a theoretical establishment of "the abstract", its process of change, and the discovery of its contemporary principles, the relationship between each art field in landscapes and the formation of the abstract, abstract language, and abstract properties have been studied. The use of the abstract in contemporary landscape design can be classified in three ways: Inductive abstract representing conceptual transcendental symbols not logically but rather through intuition and transcendental cognition to display the inner expressions, ideas and minds of the artists. Second, a deductive abstract represents an expansive, logical model for the simplification of objects, distortion, exaggeration based on knowledge and logical reasoning about objective fact based on traditional realism. The complexity of the abstract is a concept that is bound to both the deductive & inductive abstract. As a major trend, the concept of "The abstract" in contemporary landscape has been putting forth ever-deeper roots. New trends like abstract works and landscape architecture reflecting the artist's inner expression, in particular, will provide fertile soil for landscape in the future. Further research about the concept of "the abstract" will also be necessary in the time to come.