• Title/Summary/Keyword: First Order Logic

Search Result 176, Processing Time 0.028 seconds

Kongzi's 'the Rectification of Name(正命)' and Laotzu's 'not the eternal Name(非常名)' - Laotzu's Tao and Saussure's Linguistics: an exact meeting - (공자의 '정명(正名)'과 노자의 '비상명(非常名)' - 노자의 도와 소쉬르의 언어학: 제대로 된 만남 -)

  • Lee, Bong-ho
    • Journal of Korean Philosophical Society
    • /
    • v.148
    • /
    • pp.269-289
    • /
    • 2018
  • This article is designed to help ensure that "Laotzu's Tao and Saussure's Linguisticse's Linguistics" can meet properly. To carry out this project, I asked how to understand Laotzu's 'not the eternal Name(非常名)'. Comparing Kongzi's 'the Rectification of name(正命)' with Laotzu's 'not the eternal Name', The meaning of the two concepts becomes clear. Kongzi's 'the Rectification of name' is political philosophy to restore etiquette through language order. In comparison, Laotzu's 'not the eternal Name' refers to Randomness[arbitraire] of the symbol. It shows that the order of languages can be dismantled, and that the structure, norms, and etiquette of society, which are established by language order, can be dismantled. Laotzu's 'not the eternal Name' is a logic that defies language as an institution, as a symbolism, and as a logic of disintegration. To illustrate this point, Searsure's Linguistics was brought in for discussion. In Saussure's Linguistics, the arbitrary nature of the symbol is the same as the Lotzu's 'Not the eternal Name'. Three arguments were used to elucidate the logic of the resistance and the logic of Deconstruct of the Language structure. First, I explained that the discussion of 'Name' was not just about 'the name of an object' but about the system, laws and norms of a society. Second, I explained the argument that language order is a social institution and a social structure by taking the words Saussure and Lacon. Third, I explained that 'not the eternal Name' is an important term that reveals the arbitrary and arbitrary relationship between the signifiant and the signifie. These arguments explain that Laotzu's 'not the eternal Name' is the logic of dismantling the language as a system and as the symbolic.

The Performance Improvement of Backpropagation Algorithm using the Gain Variable of Activation Function (활성화 함수의 이득 가변화를 이용한 역전파 알고리즘의 성능개선)

  • Chung, Sung-Boo;Lee, Hyun-Kwan;Eom, Ki-Hwan
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.38 no.6
    • /
    • pp.26-37
    • /
    • 2001
  • In order to improve the several problems of the general backpropagation, we propose a method using a fuzzy logic system for automatic tuning of the activation function gain in the backpropagation. First, we researched that the changing of the gain of sigmoid function is equivalent to changing the learning rate, the weights, and the biases. The inputs of the fuzzy logic system were the sensitivity of error respect to the last layer and the mean sensitivity of error respect to the hidden layer, and the output was the gain of the sigmoid function. In order to verify the effectiveness of the proposed method, we performed simulations on the parity problem, function approximation, and pattern recognition. The results show that the proposed method has considerably improved the performance compared to the general backpropagation.

  • PDF

Design of Knowledge-based Spatial Querying System Using Labeled Property Graph and GraphQL (속성 그래프 및 GraphQL을 활용한 지식기반 공간 쿼리 시스템 설계)

  • Jang, Hanme;Kim, Dong Hyeon;Yu, Kiyun
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.40 no.5
    • /
    • pp.429-437
    • /
    • 2022
  • Recently, the demand for a QA (Question Answering) system for human-machine communication has increased. Among the QA systems, a closed domain QA system that can handle spatial-related questions is called GeoQA. In this study, a new type of graph database, LPG (Labeled Property Graph) was used to overcome the limitations of the RDF (Resource Description Framework) based database, which was mainly used in the GeoQA field. In addition, GraphQL (Graph Query Language), an API-type query language, is introduced to address the fact that the LPG query language is not standardized and the GeoQA system may depend on specific products. In this study, database was built so that answers could be retrieved when spatial-related questions were entered. Each data was obtained from the national spatial information portal and local data open service. The spatial relationships between each spatial objects were calculated in advance and stored in edge form. The user's questions were first converted to GraphQL through FOL (First Order Logic) format and delivered to the database through the GraphQL server. The LPG used in the experiment is Neo4j, the graph database that currently has the highest market share, and some of the built-in functions and QGIS were used for spatial calculations. As a result of building the system, it was confirmed that the user's question could be transformed, processed through the Apollo GraphQL server, and an appropriate answer could be obtained from the database.

Design of Distribution Facility for Cross Docking Systems (크로스도킹 시스템을 위한 물류센터의 설계에 관한 연구)

  • Yu, Woo-Yeon;Park, Yun-Sun;Shin, Jung-Hyun
    • Journal of the Korea Safety Management & Science
    • /
    • v.10 no.2
    • /
    • pp.187-193
    • /
    • 2008
  • Cross docking is a warehouse management concept in which items delivered to a distribution facility by inbound trucks are immediately sorted out and reorganized based on customer demands and are routed and loaded into outbound trucks for delivery to customers without actually being held in inventory in the distribution facility. In this research, the design of distribution facility for cross docking systems was studied. The objective of this research is to find the minimum number of receiving docks and shipping docks, respectively, in order to meet the daily demand of the distribution center. Two solution approaches are employed in modeling and solving the problem The first approach is mathematical modeling and the second approach is a simulation. The logic developed in the simulation model is expected to apply to the real world situation.

A Switching Controller for Stabilization of Uncertain Linear Systems (불확실한 선형시스템의 안정화를 위한 스위칭제어기)

  • Kim, Jung-Soo;Kim, Byung-Yeun;Lyon, Joon
    • Proceedings of the KIEE Conference
    • /
    • 1991.11a
    • /
    • pp.382-385
    • /
    • 1991
  • In order to stabilize linear time-invariant systems with the unknown system matrix, a piecewise constant linear state feedback control law including switching logic is developed. A number of feedback gain matrices are first precomputed by solving the Algebraic Riccati Equation with prescribed degree of stability, and then are switched over in a direction to increase degree of stability. Switching stops when a Lyapunov function shows the decreasing property, and hence switching times are finite.

  • PDF

A Novel Self-tuning Algorithm Suitable for FLCs Utilizing Dedicated Hardwares (전용 하드웨어로 구성한 FLC에 적합한 새로운 자기동조 알고리즘)

  • ;Zeungnam Bien
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.33B no.3
    • /
    • pp.17-27
    • /
    • 1996
  • More fuzzy hardware are expected to be utilized in the future to construct fuzzy logic controllers (FLCs). It is hard to find an existing fuzzy hardware which is adopting advanced functions such as self-tuning algorithm in addition to the conventional inference calculation. That is mainly because conventional self-tuning algorithms designed to implement with some hardware circuits is required for fuzzy hardwares to have self-tuning capability. As a first step toward the feature, a novel self-tuning algorithm is proposed in this paper. Based on the search method, the main idea of the proposed algorithm is to detemine valid ranges of input variables of an FLC in order to maximize performance indices fo the control system. The performance indices are so ismple as to be realized by hardware circuit. in dadditon to the conventional scaling-factor adjustment, the algorithm adjusts offset values as well, which, in effect, modifies fuzzy rules of the FLC. To justify the performance of the proposed algorithm, a simulation study is executed.

  • PDF

Online Parameter Estimation and Convergence Property of Dynamic Bayesian Networks

  • Cho, Hyun-Cheol;Fadali, M. Sami;Lee, Kwon-Soon
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.7 no.4
    • /
    • pp.285-294
    • /
    • 2007
  • In this paper, we investigate a novel online estimation algorithm for dynamic Bayesian network(DBN) parameters, given as conditional probabilities. We sequentially update the parameter adjustment rule based on observation data. We apply our algorithm to two well known representations of DBNs: to a first-order Markov Chain(MC) model and to a Hidden Markov Model(HMM). A sliding window allows efficient adaptive computation in real time. We also examine the stochastic convergence and stability of the learning algorithm.

Object-Oriented Business Process Modeling : Contract-Collaboration Net Model (객체지향 비즈니스 프로세스 모델링 : 계약-협동 네트 모형)

  • Kim, Chang-Ouk;Jun, Jin;Kim, Sung-Shick
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.27 no.1
    • /
    • pp.37-46
    • /
    • 2001
  • Business process(workflow) analysis has been recognized as a core step to building information systems. However, most analysts have recognized that deriving consistent business process artifacts even in a simple business domain is very difficult, since most analysis methods give the designers narrative and/or diagrammatic tools that do not support rigorous analysis rules. This often generates inconsistent analysis results, leading to create useless information systems and resulting in tremendous budget wastes. To overcome this weakness, this paper presents a declarative business process modeling method called contract-collaboration net(cc-net), which is not only somewhat formal but also useful to the practitioners. A case study on bank domain is presented to illustrate our approach.

  • PDF

VHDL Implementation of an LPC Analysis Algorithm (LPC 분석 알고리즘의 VHDL 구현)

  • 선우명훈;조위덕
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.32B no.1
    • /
    • pp.96-102
    • /
    • 1995
  • This paper presents the VHSIC Hardware Description Language(VHDL) implementation of the Fixed Point Covariance Lattice(FLAT) algorithm for an Linear Predictive Coding(LPC) analysis and its related algorithms, such as the forth order high pass Infinite Impulse Response(IIR) filter, covariance matrix calculation, and Spectral Smoothing Technique(SST) in the Vector Sum Exited Linear Predictive(VSELP) speech coder that has been Selected as the standard speech coder for the North America and Japanese digital cellular. Existing Digital Signal Processor(DSP) chips used in digital cellular phones are derived from general purpose DSP chips, and thus, these DSP chips may not be optimal and effective architectures are to be designed for the above mentioned algorithms. Then we implemented the VHDL code based on the C code, Finally, we verified that VHDL results are the same as C code results for real speech data. The implemented VHDL code can be used for performing logic synthesis and for designing an LPC Application Specific Integrated Circuit(ASOC) chip and DsP chips. We first developed the C language code to investigate the correctness of algorithms and to compare C code results with VHDL code results block by block.

  • PDF

Solution of the Drum-Buffer-Rope Constraint Scheduling Problems incorporated by MRP/JIT - (MRP와 JIT에 부합하는 DBR 제약일정계획문제 해법)

  • 김진규
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.23 no.59
    • /
    • pp.21-36
    • /
    • 2000
  • The drum-buffer-rope(DBR) system is a finite scheduling mechanism that balances the flow of the production system. DBR controls the flow of materials through the plant in order to produce products in accordance with market demand, with a minimum of manufacturing lead time, inventory, and operating expenses. This paper integrates the best of MRP push system and JIT pull system with DBR system, efficiently adapts these logics to capacity constraint resources, and contributes to the evolution of synchronous manufacturing. The purpose of this paper is, thus, threefold. The first objective is to identify the frame of theory of constraints(TOC) and the logic of DBR scheduling. The second objective is to formulate the DBR constraint scheduling problems(DBRCSP) in a job shop environments. Finally, the paper is to suggest the solution procedure of DBRCSP for embedding TOC into MRP/JIT along with an numerical expression. In addition, illustrative numerical example is given.

  • PDF