• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.42-53
• /
• 2007

Looking back the history of formal treatment of linguistics, we cannot disregard the contribution of possible world semantics. Intensional logic of Montague semantics, DRT (Discourse Representation Theory), mental space, and situation theory are closely related to or compared with the notion of possible world. All these theories have commonly clarified the structure of belief context or uncertain knowledge, employing hypothesized worlds. In this talk, I firstly brief the pedigree of these theories. Next, I will introduce the recent development of modal logic for the representation of (i) knowledge and belief and (ii) time, in which belief modality is precisely discussed together with the accessibility among possible worlds. I will refer to BDI (belief-desire-intention) logic, CTL (computational tree logic), and sphere-based model in belief revision. Finally, I will discuss how these theories could be applied to the further development of analyses of natural language.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1996년도 추계학술대회 학술발표 논문집
• /
• pp.243-248
• /
• 1996

In this paper, a general neural-network-based connectionist model, called Fuzzy Neural Network(FNN), is proposed for the realization of a fuzzy logic control system. The proposed FNN is a feedforward multi-layered network which integrates the basic elements and functions of a traditional fuzzy logic controller into a connectionist structure which has distributed learning abilities. Such FNN can be constructed from training examples by learning rule, and the connectionist structure can be trained to develop fuzzy logic rules and find optimal input/output membership functions. Computer simulation examples will be presented to illustrate the performance and applicability of the proposed FNN, and their associated learning algorithms.

• 정보관리연구
• /
• 제24권3호
• /
• pp.73-100
• /
• 1993

본 연구(硏究)는 불 정보 시스템의 단점을 보완하는 방법으로 퍼지 논리(論理)를 이용한 정보검색시스템을 설계하였다. 퍼지 정보검색 시스템은 질의어(質疑語)와 문헌들을 표현하는 각 용어(用語)들에 가중치(加重値)를 부여하고, 이것을 바탕으로 질의어에 대한 각 문헌들의 적합도(適合度)를 결정하는 것이다. 본 연구에서는 기존의 연구들을 비교 분석한 후, 효과적인 모델을 제시하고 시스템 성능을 평가하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1998년도 제13차 학술회의논문집
• /
• pp.507-512
• /
• 1998

It is an interesting area in the field of artificial intelligence to and an analytic model of cooperative structure for multi-agent system accomplishing a given task. Usually it is difficult to design controllers for multi-agent systems without a comprehensive knowledge about the system. One of the way to overcome this limitation is to implement an evolutionary approach to design the controllers. This paper introduces the use of a genetic algorithm to discover a fuzzy logic controller with rules that govern emergent co-operative behavior: A modified genetic algorithm was applied to automating the discovery of a fuzzy logic controller jot multi-agents playing a pursuit game. Simulation results indicate that, given the complexity of the problem, an evolutionary approach to and the fuzzy logic controller seems to be promising.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 추계학술대회 논문집 학회본부A
• /
• pp.326-328
• /
• 1998

This paper presents an optimal fuzzy power system stabilizer to damp out low frequency oscillation. The fuzzy logic controllers has been applied to a power system stabilizing controllers. But the design of a fuzzy logic power system stabilizer relies on empirical and heuristic knowledge of human experts as well as many trial-and-errors in general. This paper presents the optimal design method of the fuzzy logic stabilizer using the genetic algorithm, which is the optimization method based on the mechanics of natural selection and natural genetics. The proposed method tunes the parameters of the fuzzy logic stabilizer in order to minimize the consuming time during the design process. In this paper, the proposed method tunes the shape of membership function of the fuzzy variables. The proposed system is applied to the one-machine infinite-bus model of a power system. Through the case study, the efficiency of the fuzzy stabilizing controller tuned by genetic algorithm is verified.

• Structural Engineering and Mechanics
• /
• 제16권6호
• /
• pp.713-730
• /
• 2003

This paper contains the results of the study on the development of fracture and crack propagation in quasi-brittle materials, such as concrete or rocks, using the Discrete Element Method (DEM). A new discrete element numerical model is proposed as the basis for analyzing the inelastic evolution and growth of cracks up to the point of gross material failure. The model is expected to predict the fracture behavior for the quasi-brittle material structure using the elementary aggregate level, the interaction between aggregate materials, and bond cementation. The algorithms generate normal and shear forces between two interfacing blocks and contains two kinds of contact logic, one for connected blocks and the other one for blocks that are not directly connected. The Mohr-Coulomb theory has been used for the fracture limit. In this algorithm the particles are moving based on the connected block logic until the forces increase up to the fracture limit. After passing the limit, the particles are governed by the discrete block logic. In setting up a discrete polygon element model, two dimensional polygons are used to investigate the response of an assembly of different shapes, sizes, and orientations with blocks subjected to simple applied loads. Several examples involving assemblies of particles are presented to show the behavior of the fracture and the failure process.

• 한국비블리아학회지
• /
• 제8권1호
• /
• pp.197-227
• /
• 1997

The main purpose of this study is ① to settle and to analyze the classification of the Internet Search Engine comparitively, and ② to build the compatible model of Internet Search Engine classification in order to seek information on the Internet resources. specially in the branch of the Computers and Internet areas. For this study, four Internet Search Engine (Excite, 1-Detect, Simmany, Yahoo Korea!), Inspec Classification and two distionaries were used. The major findings and result of analysis are summarized as follows : 1. The basis of the classification is the scope of topics, the system logic, the clearness, the efficiency. 2. The scope of topics is analyzed comparitively by the number of items from each Search Engine. In the result, Excite is the most superior of the four 3. The system logic is analyzed comparitively by the casuality balance and consistency of the items from each Search Engine. In the result, Excite is the most superior of the four 4. The clearness is analyzed comparitively by the clearness and accuracy of items, the recognition of the searchers. In the result, Excite is the most superior of the four. 5 The efficiency is analyzed comparitively by the exactness of indexing and decreasing the effort of the searchers. In the result, Yahoo Korea！ is the most superior of the four. 6 The compatible model of Internet Search Engine classification is estavlished to uplift the scope of topics, the system logic, the clearness, and the efficiency. The model divides the area mainly based upon the topics and resources using‘bookmark’and‘shadow’concept.

• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1422-1427
• /
• 2006

임베디드 마이크로프로세서가 소프트웨어를 수행하면서 소비하는 전력을 예측하기 위해서는 마이크로프로세서의 각 명령어가 수행하면서 소비하는 전류를 측정하여 활용한다. 본 논문에서는 임베디드 마이크로프로세서 adc16s310의 산술 및 논리 명령어에 대한 소비 전류를 측정 및 분석하고, 이를 바탕으로 적은 수의 측정 소비 전류 값을 사용하여 비교적 정확하게 모든 명령어 수행의 소비 전류 값을 예측할 수 있는 전력 예측 모델을 제안한다. 본 예측 모델은 마이크로프로세서 adc16s310의 산술 및 논리 명령어에 대하여 총 측정 공간 중 약5.84%의 공간에 대한 측정 전류 값만을 사용하여 평균 오차 0.34%에서 소비 전류 값을 예측할 수 있다.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2435-2446
• /
• 1998

본 논문에서는 함수 논리 언어를 수행할 수 있는 데이터 플로우 표현 방법을 제시하고 함수 논리 언어의 각 결과 함수를 데이터플로우 그래프로 변환하는 방법에 대해 설명한다. 실행의 효율성을 높이기 위해 AND-병렬성을 위한 종속성 분석을 서브고울과 병행 수행하여 지연시간을 줄였으며, 함수 부분의 수행을 위해 병렬 감축을 사용하였다. RAP을 도입함으로써 발생하는 지연시간을 줄이기 위해 종속성 분석과 서브 고울을 병렬로 처리함으로써 CGE+ 표현 방식에 비해 효율적임을 보였다. 지능형 퇴각 검색을 도입하여 병렬 컴퓨터에서 효율적인 수행을 할 수 있도록 하였다.

• 인지과학
• /
• 제1권2호
• /
• pp.347-360
• /
• 1989

Knowledge의 믿음이 추론 모형은 기존의 모형들이 갖고 있는 단점들을 해결하였으나,단순한 믿음에 대해서만 증명 기법을 제시하고 있고,여러가지 추론 규칙 스키마가 존재한느 믿음과 지식 시스템에 대해서는 증명 기법을 제시하고 있지 않다. 따라서 본 논문에서는 여러가지 추론 규칙 스키마가 존재하는 지식과 믿음의 통일된 증명 기법을 제시하였으며,이의 정당성과 완전성을 증명하였다.이 증명 기법은 과거의 기능체계 모형으로는 표현할수 없는 추론 규칙 스키마들까지도 처리가 가능하다. 또한,이 증명 기법을 사용하는 정리 증명 시스템을 구현함으로써 이의 실용성과 유용성을 보였다.