• 한국인터넷방송통신학회논문지
• /
• 제16권6호
• /
• pp.305-310
• /
• 2016

오늘날 데이터를 표현하고 교환하는 표준 언어로 XML을 사용하고 있다. XML의 개념적 모델을 정의하기 위해서는 XML이 가지는 다양한 요소들을 다이어그램으로 표현하는 표현 규칙과 생성된 다이어그램을 논리적 모델인 XML로 변환하는 변환 알고리즘을 정의해야 한다. 본 논문은 XML의 개념적 모델로부터 논리적 모델을 생성하기 위한 변환 기법을 제안한다. 본 논문에서 사용하는 개념적 모델로는 CMXML을 이용하고, 논리적 모델로 XML 스키마를 생성한다. 이를 위해 다이어그램으로 표현되는 CMXML을 정의하고, 이 다이어그램으로부터 XML 스키마를 생성하기 위한 자료구조를 정의하고 생성규칙을 정의하고, 변환 알고리즘을 제시한다.

• 논리연구
• /
• 제21권1호
• /
• pp.1-37
• /
• 2018

잘 알려져 있듯이, 비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론을 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 이 물음에 대답하기 위하여 나는 철학적인 측면과 논리학적인 측면에서 유형 이론을 살펴보고자 한다. "논리-철학 논고"에서 비트겐슈타인의 논리적 구문론은 말하자면 러셀의 유형 이론에 대한 대안이다. 논리적 구문론은 "논리-철학 논고"의 표기법의 기호 규칙들이며 특히 형성 규칙들이다. 비트겐슈타인의 말하기-보이기 구분은 논리적 구문론의 가장 근본적인 근거이다. 비트겐슈타인은 러셀의 유형 이론에 대한 비판과 함께 논리적 문법의 임의성(자의성)과 선험성으로 나아간다. 유형 이론에 대한 이러한 비트겐슈타인의 비판은 결국 프레게와 러셀의 논리학관에 대한 도전이다. 논리학은 세계에 속하는 일반적인 진리나 특성들을 다루지 않으며, 논리학을 이루는 동어반복은 아무것도 말하지 않는다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.341-344
• /
• 1991

Rules in expert system have meaning of assigning never-happen-minterms. Overall logical relations of variables can be achived by making all prime implicants of never-happen-minterms. From prime implicants, two tables, which are necessary in the process of inference, are constructed. There are two inferencing modes. One excutes inference only one variable which the user is interested in, and the other excutes inference all variables simultaneously. Outputs of inference have not only 'true' or 'false' but also 'unknown' which is different from conventional expert system. In this paper, an efficient approach is presented, which can check logical inconsistency in knowledge base and contradiction between input facts and rules. The methods in the paper may be available in the field of diagnosis and alarm processing.

• 대한산업공학회지
• /
• 제17권2호
• /
• pp.63-74
• /
• 1991

An expert scheduling system on real time basis for computer-aided manufacturing systems has been developed. In developing expert scheduling system, the most time-consuming job is to obtain rules from expert schedulers. An efficient process of obtaining rules directly form the schedules produced by expert schedulers is proposed. By the process, a set of complete and minimal set of rules is obtained. During a real time scheduling, when given information on possible values of elements, the rules produce possible values of decision elements, where logical explanations of the result may be offered in terms of chaining rules. The learning and scheduling processes have been simulated with an automated manufacturing line engaged in the production of circuit boards.

• 한국통신학회논문지
• /
• 제30권11B호
• /
• pp.722-729
• /
• 2005

EPON망은 점대 다중점 구조를 가진 경제적인 가입자망 기술로 떠오르고 있다. 점대 다중점 구조는 하향 브로드캐스팅과 상향 점대점 종신을 제공하므로, EPON에서는 다중점 제어 프로토콜(MPCP)를 이용하여 점대점 에뮬레이션과 공유 LAN 에뮬레이션 기능을 제공한다. 본 논문에서는 EPON망에서 OLT와 ONU사이의 논리적 링크기반의 멀티캐스팅 또는 VLAN 서비스를 제공하기 위하여 논리적 그룹 식별자(LGID: Logical Group Identification)를 제안한다. 논리적 그룹 식별자와 더불어 프레임 설정 및 필터링 규칙을 제안함으로써 가입자별 차별화된 방송 및 멀티캐스팅 서비스 제공 방안을 제시한다. 더불어, 논리적 링크 기반의 VLAN 서비스를 제공함으로써 동일한 OLT에 연결된 ONU들을 복수의 서브 그룹으로 분리하는 방안을 제시한다.

• 대한전자공학회논문지
• /
• 제26권12호
• /
• pp.1975-1983
• /
• 1989

Implementing the linguistic theories on computer, we resolve the problems for restrictions of computer and increase processing efficiency for systemization not for linguistic theory itself. Thus, we modify the grammatical theory to be applied to systems. This paper reports the various problems about constructing dictionaies, defining rules, and appling universal principles and metarules, which is caused to implement the systems based on GPSG. In semantic interpretations, logical expressions which correspond Montague grammar are acquired, and we make a rule connect with several logical expressions. And we show the efficiency of the this method through implementing parser.

• Asia pacific journal of information systems
• /
• 제2권2호
• /
• pp.85-102
• /
• 1992

A deductive database consists of collection of stored facts and deductive rules. It can answer queries based on logical deduction from the stored facts and general rules. A deductive database has both a declarative meaning(semantics) and a procedural meaning. The declarative semantics of a deductive database provides a definition of the meaning of the program in a manner which is independent of procedural considerations, context-free, and easy to manipulate, exchange and reason about. This paper investigates various declarative semantics of deductive databases, dicusses related computational issues, and suggests another declarative semantics for deductive databases which is more practical than others.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제17권4호
• /
• pp.291-307
• /
• 2013

Piaget's revolutionary study on the cognitive development of children has focused on the development of logic. Logical operations and a variety of classifications based on the set of accepted rules involve convergent thinking. Children and adults have logical and creative thinking which deal with a reality of thinking. This study aims to examine a cognitive structure of students, which is closely related to the Piaget's cognitive development theories of students when creative thinking. Students were given an open mathematical problem and were expected to be able to take advantage of sensitivity, fluency, flexibility, originality, and elaboration which can be seen as clearly of their structure cognitive.

• 한국사회복지학
• /
• 제46권
• /
• pp.236-262
• /
• 2001

This discovery-oriented study explored 31 social workers' perceptions of discrepancies between explicit and implicit rules in their work places that are supposed to affect the quality of social work services, and identified eight categories of dilemmas: (a) confused accountability or purpose, (b) ambiguous principle, (c) improper authority, (d) confused role of social workers, (e) conflict between ideal and reality, (f) confused work ethics, (g) confused boundary of workers' rights, and (h) binds. These eight categories revealed the real philosophy and purposes of social work agencies, work ethics and values prevalent among social work agencies, agencies' orientation toward clients, and the conditions of social support from the society in large. Instead of searching for discrete variables as separately responsible for inefficient social work services, this approach probed malfunctioning implicit rules in a holistic context to see if inefficient or ineffective provision of social work services is a logical response to a much larger and deeper nexus. Insight into discrepant rules does not solely ensure the improvement of social work practice in the field, particularly if their identification is simply used as another opportunity to blame and avoid self-responsibility. However, such discrepancies between implicit and explicit rules are real enough to the staff workers and agency administrators that they may want to begin the dialogue of contradictory rules as a way of sanctioning discussion of previously forbidden topics. This study provided the ground-work for the dialogue.

• ETRI Journal
• /
• 제45권3호
• /
• pp.462-478
• /
• 2023

In quantum computing, the use of Pauli frames through software traces of classical computers improves computation efficiency. In previous studies, error correction and Pauli operation tracking have been performed simultaneously using integrated Pauli frames in the physical layer. In such a complex processing structure, the number of simultaneous operations processed in the physical layer exponentially increases as the distance of the surface code encoding logical qubit increases. This study proposes a Pauli frame management architecture partitioned into two layers for a lattice surgery-based surface code and describes its structure and operation rules. To evaluate the effectiveness of our method, we generated a random circuit according to the gate ratios constituting the commonly known quantum circuits and compared the generated circuit with the existing Pauli frame and our method. Simulations show a decrease of about 5% over traditional methods. In the case of experiments that only increase the code distance of the logical qubit, it can be seen that the effect of reducing the physical operation through the logical Pauli frame becomes more important.