• Title/Summary/Keyword: Logic Rules

Search Result 482, Processing Time 0.025 seconds

Image Contrast Enhancement by Illumination Change Detection (조명 변화 감지에 의한 영상 콘트라스트 개선)

  • Odgerel, Bayanmunkh;Lee, Chang Hoon
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.24 no.2
    • /
    • pp.155-160
    • /
    • 2014
  • There are many image processing based algorithms and applications that fail when illumination change occurs. Therefore, the illumination change has to be detected then the illumination change occurred images need to be enhanced in order to keep the appropriate algorithm processing in a reality. In this paper, a new method for detecting illumination changes efficiently in a real time by using local region information and fuzzy logic is introduced. The effective way for detecting illumination changes in lighting area and the edge of the area was selected to analyze the mean and variance of the histogram of each area and to reflect the changing trends on previous frame's mean and variance for each area of the histogram. The ways are used as an input. The changes of mean and variance make different patterns w hen illumination change occurs. Fuzzy rules were defined based on the patterns of the input for detecting illumination changes. Proposed method was tested with different dataset through the evaluation metrics; in particular, the specificity, recall and precision showed high rates. An automatic parameter selection method was proposed for contrast limited adaptive histogram equalization method by using entropy of image through adaptive neural fuzzy inference system. The results showed that the contrast of images could be enhanced. The proposed algorithm is robust to detect global illumination change, and it is also computationally efficient in real applications.

Effective Utilization of Domain Knowledge for Relational Reinforcement Learning (관계형 강화 학습을 위한 도메인 지식의 효과적인 활용)

  • Kang, MinKyo;Kim, InCheol
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.11 no.3
    • /
    • pp.141-148
    • /
    • 2022
  • Recently, reinforcement learning combined with deep neural network technology has achieved remarkable success in various fields such as board games such as Go and chess, computer games such as Atari and StartCraft, and robot object manipulation tasks. However, such deep reinforcement learning describes states, actions, and policies in vector representation. Therefore, the existing deep reinforcement learning has some limitations in generality and interpretability of the learned policy, and it is difficult to effectively incorporate domain knowledge into policy learning. On the other hand, dNL-RRL, a new relational reinforcement learning framework proposed to solve these problems, uses a kind of vector representation for sensor input data and lower-level motion control as in the existing deep reinforcement learning. However, for states, actions, and learned policies, It uses a relational representation with logic predicates and rules. In this paper, we present dNL-RRL-based policy learning for transportation mobile robots in a manufacturing environment. In particular, this study proposes a effective method to utilize the prior domain knowledge of human experts to improve the efficiency of relational reinforcement learning. Through various experiments, we demonstrate the performance improvement of the relational reinforcement learning by using domain knowledge as proposed in this paper.

Legal implications of missile test moratorium by the North Korea (북한의 미사일발사 실험 유예조치의 법적 의의)

  • Shin, Hong-Kyun
    • The Korean Journal of Air & Space Law and Policy
    • /
    • v.22 no.1
    • /
    • pp.105-123
    • /
    • 2007
  • The launching of the Taepo-dong 1 on 31 August 1998 by the North Korea was the first case where the diplomatic protests was made against the flight, the purpose of which, the launching State claimed, consisted in space exploration and use. It is the principle regarding the freedom of space exploration and use, as included in the international treaty, that is relevant in applying the various rules and in defining the legal status of the flight. Its legal status, however, was not actually taken into account, as political negotiations leading to the test moratorium has been successful until present day in freezing the political crisis. This implies that the rules of the law lack the validity and logic sufficient in dictating the conduct of the States. This case shows that, in effect, it is not the rule but the politics that is to govern the status of the flight.

  • PDF

An Optimal Design of Neuro-Fuzzy Logic Controller Using Lamarckian Co-adaptation of Learning and Evolution (학습과 진화의 Lamarckian 상호 적응에 의한 뉴로-퍼지 제어기의 최적 설계)

  • 김대진;이한별;강대성
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.35C no.12
    • /
    • pp.85-98
    • /
    • 1998
  • This paper proposes a new design method of neuro-FLC by the Lamarckian co-adaptation scheme that incorporates the backpropagation learning into the GA evolution in an attempt to find optimal design parameters (fuzzy rule base and membership functions) of application-specific FLC. The design parameters are determined by evolution and learning in a way that the evolution performs the global search and makes inter-FLC parameter adjustments in order to obtain both the optimal rule base having high covering value and small number of useful fuzzy rules and the optimal membership functions having small approximation error and good control performance while the learning performs the local search and makes intra-FLC parameter adjustments by interacting each FLC with its environment. The proposed co-adaptive design method produces better approximation ability because it includes the backpropagation learning in every generation of GA evolution, shows better control performance because the used COG defuzzifier computes the crisp value accurately, and requires small workspace because the optimization procedure of fuzzy rule base and membership functions is performed concurrently by an integrated fitness function on the same fuzzy partition. Simulation results show that the Lamarckian co-adapted FLC produces the most superior one among the differently generated FLCs in all aspects such as the number of fuzzy rules, the approximation ability, and the control performance.

  • PDF

Legal implications of missile test moratorium by the North Korea (북한의 미사일발사 실험 유예조치의 법적 의의)

  • Shin, Hong-Kyun
    • The Korean Journal of Air & Space Law and Policy
    • /
    • no.spc
    • /
    • pp.87-104
    • /
    • 2007
  • The launching of the Taepo-dong 1 on 31 August 1998 by the North Korea was the first case where the diplomatic protests was made against the flight, the purpose of which, the launching State claimed, consisted in space exploration and use. It is the principle regarding the freedom of space exploration and use, as included in the international treaty, that is relevant in applying the various rules and in defining the legal status of the flight. Its legal status, however, was not actually taken into account, as political negotiations leading to the test moratorium has been successful until present day in freezing the political crisis. This implies that the rules of the law lack the validity and logic sufficient in dictating the conduct of the States. This case shows that, in effect, it is not the rule but the politics that is to govern the status of the flight.

  • PDF

Active Documents: Programs by Form Designers (능동문서: 서식설계자의 프로그램)

  • Nam, Chul-Ki;Bae, Jae-Hak;Yoo, Hae-Young
    • The KIPS Transactions:PartB
    • /
    • v.10B no.6
    • /
    • pp.599-610
    • /
    • 2003
  • The Web plays an important role as information source and most Web applications are document-centric. A document implies an intention of its own designer, which can be utilized actively in automation of business processes. Through an understanding of an intrinsic nature of a document function, we can see a document as an executable computer program in a special case. For this approach, we propose an active document model that is composed of form, knowledge base, rules, and queries. For reusability and interoperability of a document, each component of the proposed model is uniformly represented in XML. The proposed active document not only plays a passive role in providing user interfaces, but also is a document that a machine can infer and process with reading a procedure of document processing and business rules intended by document designers. Through this approach, document can interact with machines and can cooperate with other applications. For applicability of our active document, we show a case study for the processing of purchase orders in a B2B e-Commerce system. This paper is expected to provide the framework of accelerating the development of intelligent applications through our approach regards form document as a computer program. In short, the proposed active document contains knowledge representation and processing method, consequently our document will play an important role in providing a concept of document of pursuing in Semantic Web.

development of a Depth Control System for Model Midwater Trawl Gear Using Fuzzy Logic (퍼지 논리를 이용한 모형 증층트롤 어구의 수심제어시스템 개발)

  • 이춘우
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.36 no.1
    • /
    • pp.54-59
    • /
    • 2000
  • This paper presents a control system that uses a fuzzy algorithm in controlling the depth of a model midwater trawl net, and experimental results carried out in the circulating water channel by using a model trawl winch system.The fuzzy controller calculates the length of the warp to be changed, based on the depth error between the desired depth and actual depth of the model trawl net and the ratio of change in the depth error. The error and the error change are calculated every sampling time. Then the control input, i.e. desirable length of the warp, is determined by inference from the linguistic control rules which an experienced captain or navigator uses in controlling the depth of the trawl winch controller and the length of the warp is changed. Two kinds of fuzzy control rules were tested, one was obtained from the actual operations used by a skilled skipper or navigator, and the other was a modified from the former by considering the hydrodynamic characteristics of the model trawl system.Two kinds of fuzzy control were tested, one was obtained fro the actual operations used by a skilled skipper or navigator, and the other was a modified from the former by considering the hydrodynamic characteristics of the model trawl system.The results of these model experiments indicate that the proposed fuzzy controllers rapidly follow the desired depth without steady-state error although the desired depth was given in one step, and show robustness properties against changes in the parameters such as the change of the towing sped. Especially, a modified rule shows smaller depth fluctuations and faster setting times than those obtained by a field oriented rule.

  • PDF

Fuzzy Control of Smart Base Isolation System using Genetic Algorithm (유전자알고리즘을 이용한 스마트 면진시스템의 퍼지제어)

  • Kim, Hyun-Su;Roschke, P.N.
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.9 no.2 s.42
    • /
    • pp.37-46
    • /
    • 2005
  • To date, many viable smart base isolation systems have been proposed and investigated. In this study, a novel friction pendulum system (FPS) and an MR damper are employed as the isolator and supplemental damping device, respectively, of the smart base isolation system. A fuzzy logic controller (FLC) is used to modulate the MR damper because the FLC has an inherent robustness and ability to handle non linearities and uncertainties. A genetic algorithm (GA) is used for optimization of the FLC. The main purpose of employing a GA is to determine appropriate fuzzy control rules as well to adjust parameters of the membership functions. To this end, a GA with a local improvement mechanism is applied. This method is efficient in improving local portions of chromosomes. Neuro fuzzy models are used to represent dynamic behavior of the MR damper and FPS. Effectiveness of the proposed method for optimal design of the FLC is judged based on computed responses to several historical earthquakes. It has been shown that the proposed method can find optimal fuzzy rules and the GA optimized FLC outperforms not only a passive control strategy but also a human designed FLC and a conventional semi active control algorithm.

An integrated Method of New Casuistry and Specified Principlism as Nursing Ethics Methodology (새로운 간호윤리학 방법론;통합된 사례방법론)

  • Um, Young-Rhan
    • Journal of Korean Academy of Nursing Administration
    • /
    • v.3 no.1
    • /
    • pp.51-64
    • /
    • 1997
  • The purpose of the study was to introduce an integrated approach of new Casuistry and specified principlism in resolving ethical problems and studying nursing ethics. In studying clinical ethics and nursing ethics, there is no systematic research method. While nurses often experience ethical dilemmas in practice, much of previous research on nursing ethics has focused merely on describing the existing problems. In addition, ethists presented theoretical analysis and critics rather than providing the specific problems solving strategies. There is a need in clinical situations for an integrated method which can provide the objective description for existing problem situations as well as specific problem solving methods. We inherit two distinct ways of discussing ethical issues. One of these frames these issues in terms of principles, rules, and other general ideas; the other focuses on the specific features of particular kinds of moral cases. In the first way general ethical rules relate to specific moral cases in a theoretical manner, with universal rules serving as "axioms" from which particular moral judgments are deduced as theorems. In the seconds, this relation is frankly practical. with general moral rules serving as "maxims", which can be fully understood only in terms of the paradigmatic cases that define their meaning and force. Theoretical arguments are structured in ways that free them from any dependence on the circumstances of their presentation and ensure them a validity of a kind that is not affected by the practical context of use. In formal arguments particular conclusions are deduced from("entailed by") the initial axioms or universal principles that are the apex of the argument. So the truth or certainty that attaches to those axioms flows downward to the specific instances to be "proved". In the language of formal logic, the axioms are major premises, the facts that specify the present instance are minor premises, and the conclusion to be "proved" is deduced (follows necessarily) from the initial presises. Practical arguments, by contrast, involve a wider range of factors than formal deductions and are read with an eye to their occasion of use. Instead of aiming at strict entailments, they draw on the outcomes of previous experience, carrying over the procedures used to resolve earlier problems and reapply them in new problmatic situations. Practical arguments depend for their power on how closely the present circumstances resemble those of the earlier precedent cases for which this particular type of argument was originally devised. So. in practical arguments, the truths and certitudes established in the precedent cases pass sideways, so as to provide "resolutions" of later problems. In the language of rational analysis, the facts of the present case define the gounds on which any resolution must be based; the general considerations that carried wight in similar situations provide warrants that help settle future cases. So the resolution of any problem holds good presumptively; its strengh depends on the similarities between the present case and the prededents; and its soundness can be challenged (or rebutted) in situations that are recognized ans exceptional. Jonsen & Toulmin (1988), and Jonsen (1991) introduce New Casuistry as a practical method. The oxford English Dictionary defines casuistry quite accurately as "that part of ethics which resolves cases of conscience, applying the general rules of religion and morality to particular instances in which circumstances alter cases or in which there appears to be a conflict of duties." They modified the casuistry of the medieval ages to use in clinical situations which is characterized by "the typology of cases and the analogy as an inference method". A case is the unit of analysis. The structure of case was made with interaction of situation and moral rules. The situation is what surrounds or stands around. The moral rule is the essence of case. The analogy can be objective because "the grounds, the warrants, the theoretical backing, the modal qualifiers" are identified in the cases. The specified principlism was the method that Degrazia (1992) integrated the principlism and the specification introduced by Richardson (1990). In this method, the principle is specified by adding information about limitations of the scope and restricting the range of the principle. This should be substantive qualifications. The integrated method is an combination of the New Casuistry and the specified principlism. For example, the study was "Ethical problems experienced by nurses in the care of terminally ill patients"(Um, 1994). A semi-structured in-depth interview was conducted for fifteen nurses who mainly took care of terminally ill patients. The first stage, twenty one cases were identified as relevant to the topic, and then were classified to four types of problems. For instance, one of these types was the patient's refusal of care. The second stage, the ethical problems in the case were defined, and then the case was analyzed. This was to analyze the reasons, the ethical values, and the related ethical principles in the cases. Then the interpretation was synthetically done by integration of the result of analysis and the situation. The third stage was the ordering phase of the cases, which was done according to the result of the interpretation and the common principles in the cases. The first two stages describe the methodology of new casuistry, and the final stage was for the methodology of the specified principlism. The common principles were the principle of autonomy and the principle of caring. The principle of autonomy was specified; when competent patients refused care, nurse should discontinue the care to respect for the patients' decision. The principle of caring was also specified; when the competent patients refused care, nurses should continue to provide the care in spite of the patients' refusal to preserve their life. These specification may lead the opposite behavior, which emphasizes the importance of nurse's will and intentions to make their decision in the clinical situations.

  • PDF

Formalization of Object-Oriented Dynamic Modeling Technique (객체지향 동적 모델링 기법의 정형화)

  • Kim, Jin-Soo;Kim, Jeong-A;Lee, Gyeong-Hwan
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.4
    • /
    • pp.1013-1024
    • /
    • 1997
  • In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.

  • PDF