• 한국컴퓨터산업학회논문지
• /
• 제5권3호
• /
• pp.363-370
• /
• 2004

FIPA 커뮤니티는 에이전트와 관련한 표준들을 개발하고 있는데, 이들 중 가장 중요한 것은 에이전트 통신 언어(Agent Communication Language: ACL)이다. 이 언어는 명확하게 협상을 지원하도록 의도된 많은 통신 행위(communicative act)들을 포함하고 있다. 이 논문에서는 자신의 목표를 달성하기 위해 자원들을 교환하는 멀티-에이전트 환경을 고려하고, 에이전트를 계산 논리기반 형식화로 표현하고, 그리고 이러한 계산 논리기반 에이전트가 사용하는 협상을 위한 ACL을 간단히 서술한다. 특히, 여기서는 상대방 에이전트가 요청(제안)의 이유 혹은 거절(거부)의 이유를 알 수 있게 하는 몇몇 통신 행위들을 소개하고 이들을 평가한다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 조명전기설비학회논문지
• /
• 제14권1호
• /
• pp.59-66
• /
• 2000

최근 산업공정 시스댐이 복잡해지고 고도의 성능을 요구함에 따라 PLC의 하드혜어와 소프트웨어의 성능이 향상되었다. SFC 그래픽 언어는 순차 논리 알고리즘을 기술뿐만 아니라 인터록 제어 알고리즘과 같은 에러 관리 알고리즘을 기술하는 데에도 적합하다. 본 논문에서는 산업 공정 제어 시스템을 기술하는데 있어서 효과적으로 에러를 관리하기 위해 제한자를 이용 한 에러 관리 방법올 제안하였으며, 제안된 방법으로 필름 코탱기 제어 시스템을 구현한 결과 에러 관리가 용이하고 프로그랩 메모리의 용량을 줄일 수 있었음을 확인하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.1110-1115
• /
• 1991

Tne mathematical modeling and analysis results of a dataflow logic solving processor(DFLSP) for programmable logic controller(PLC) are proposed in this paper. The logic program language is formalized using a dataflow graph model. From this dataflow graph, the instruction precedence relationship, and deadlock problems, which are major properties of a logic program, are described.

• Nuclear Engineering and Technology
• /
• 제44권6호
• /
• pp.697-708
• /
• 2012

The majority of instrumentation and control (I&C) systems in today's nuclear power plants (NPPs) are based on analog technology. Thus, most existing I&C systems now face obsolescence problems. Existing NPPs have difficulty in repairing and replacing devices and boards during maintenance because manufacturers no longer produce the analog devices and boards used in the implemented I&C systems. Therefore, existing NPPs are replacing the obsolete analog I&C systems with advanced digital systems. New NPPs are also adopting digital I&C systems because the economic efficiencies and usability of the systems are higher than the analog I&C systems. Digital I&C systems are based on two technologies: a microprocessor based system in which software programs manage the required functions and a programmable logic device (PLD) based system in which programmable logic devices, such as field programmable gate arrays, manage the required functions. PLD based systems provide higher levels of performance compared with microprocessor based systems because PLD systems can process the data in parallel while microprocessor based systems process the data sequentially. In this research, a bistable trip logic in a reactor protection system (RPS) was developed using very high speed integrated circuits hardware description language (VHDL), which is a hardware description language used in electronic design to describe the behavior of the digital system. Functional verifications were also performed in order to verify that the bistable trip logic was designed correctly and satisfied the required specifications. For the functional verification, a random testing technique was adopted to generate test inputs for the bistable trip logic.

• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.1089-1094
• /
• 2004

멀티 에이전트 시스템(Multi-Agent Systems: MAS)에서 에이전트들이 서로 협상하기 위해서 에이전트들은 공통의 에이전트 통신 언어(Agent Communication Language: ACL)를 사용하여야 하며, 일치에 도달할 수 있도록 설계된 협상 프로토콜을 따라야 한다. 그러므로 에이전트는 위의 요구사항들을 수용할 수 있는 적당한 구조를 가져야 한다. 이 논문에서는 예제에 사용되는 간단한 ACL을 정의하고, 이것과 다른 ACL들(FIPA(Foundation for Intelligent Physical Agents) ACL, KQML(Knowledge Query Manipulation Language))을 간단히 비교한다. 특히, 에이전트를 ALE음 ,소망, 의도, 그리고 협상 라이브러리로 구성된 논리 프로그램으로 표현한다. 마지막으로, 협상 라이브러리에 포함된 계획자(planner)가 행위들의 계획을 어떻게 제공하는가 그리고 ALE음을 어떻게 갱신하는가를 보인다.

• 인터넷정보학회논문지
• /
• 제8권1호
• /
• pp.115-123
• /
• 2007

멀티-에이전트 시스템에서 에이전트는 다른 에이전트와 협상하기 위하여 공동의 에이전트 통신 언어를 사용하여야 하고 일치에 이르도록 설계된 협상 프로토콜에 의해 행동하여야 한다. 따라서 에이전트는 위의 요구 사항들을 수용할 수 있는 적당한 아키텍쳐를 가져야 한다. 이 논문에서 우리는 유익한 에이전트 통신 언어를 정의하고, 다른 에이전트 통신 언어들 (가령, FIPA(Foundation for Intelligent Physical Agents) 에이전트 통신 언어와 KQML(Knowledge Query Manipulation Language))과 여기서 소개한 에이전트 통신 언어를 비교한다. 특히 여기서는 에이전트를 지식베이스와 협상 라이브러리를 가진 논리 프로그램으로 표현한다. 마지막으로 협상 라이브러리 안에 있는 계획자(planner)가 어떻게 행위들의 계획을 제공하고, 어떻게 에이전트의 지식베이스를 갱신하는가를 보인다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1985년도 Proceedings of 84 Matsuyama Workshop on Formal Grammar
• /
• pp.125-152
• /
• 1985

• Asia pacific journal of information systems
• /
• 제4권2호
• /
• pp.3-34
• /
• 1994

In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.

• 대한전자공학회논문지
• /
• 제25권12호
• /
• pp.1639-1648
• /
• 1988

This paper deals with an analyzing method of the Korean syntax to implement a natural language understanding system. A matrix of the syntactic structure is derived by the structural features of the Korean language. The modificatoty and conceptual structures are extracted from the matrix and the predicate logic form is expressed by extracting the phrase, clause and conceptual structure in the analyzing process. This logic form constructs an knowledge base of the sentence and proposes the possibility of the inference.