• The KIPS Transactions:PartA
• /
• v.10A no.6
• /
• pp.605-614
• /
• 2003

In this paper we introduce a new style multiparadigm language named Argos which applies a compositional approach [20] to multiparadigm programming. Argos is a superset of the Java, and its grammar has an extension point which allows other languages to be used in Argos programs. Therefore, Argos can support object-oriented programming and multiparadigm programming by enabling each method in a class to be implemented with one of the Java, C, Prolog, Python, and XML languages. Since Argos allows the existing languages to be used, it has advantages such as easiness of learning and high reusability. The Argos compiler is implemented according to the delegating compiler object (DCO) model[28,29]. The compiler partitions a program Into several parts according to the languages used in methods and delivers the parts the languages' processors which compile the parts.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.1
• /
• pp.122-131
• /
• 1992

An expert system is developed which can design the power transmission involute cylindrical gears on the basis of strength and durability. Bending strength, surface durability, scoring, and wear probability are considered as the basis. The basic components of the expert system are knowledge base, inference engine, and working memory. The knowledges in knowledge base are classified hierarchically into the knowledges used in selection of gear type, selection of materials, and determination of K factor and are represented by rules. In the inference engine two inference methods are implemented with the depth first search method. For-ward chaining method is introduced in the selection of gear type and materials and in the determination of K factor. Backward chaining method is introduced in the detailed design of module and face width in accordance with the validation of strength. And inference efficiency is achieved by constructing the part needing a lot of numerical calculations in strength estimation separately from inference mechanism. The working memory is established to save the results during inference temporarily. In addition, design database of past design results is built for consultation during design and knowledge acquisition facility, explanation facility, and user interface are included for the usefulness of user. This expert system is written with the PROLOG programming language and the FORTRAN language in numerical calculation part which interfaced with PROLOG and can also be executed on IBM-PC compatible computer operated by MS-DOS alone.

• The Magazine of the IEIE
• /
• v.15 no.3
• /
• pp.51-56
• /
• 1988

지식처리시스템은 지식의 표현과 그 추론을 필요로 한다. 그 표현방법과 추론방법은 여러 가지가 있으나 논리(first order predicate logic)과 prolog가 무엇인지 설명하고, 논리언어를 빠르게 추론해 주는 논리머신은 어떤 종류가 있는지 살펴 보기로 한다.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.139-149
• /
• 2009

In order to verify that a lot of legal requirements and regulations are correctly translated into software, this paper provides a solution for formal and computable representations of rules and requirements in data protection legislations with a DSML (Domain Specific Modeling Language). All policies are formally specified through Prolog and then integrated with DSML, According to the time of policy verification, this solution has two kinds of policies: static policies, dynamic policies.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.105-117
• /
• 1992

교착어(agglutinating language)에서는 다양한 통사정보가 독자적인 형태소에 내재되어 있다. 국어의 경우 형태소의 분석이 통사구조 분석에 선행되어 이루어져야 하는 이유가 바로 국어의 교착어적인 속성에 기인한다. 이 논문의 전반부에서 국어의 교착성을 명확히 보여주는 등위 접속구문을 핵심어 주도 구구조문법(HPSG)에 의하여 분석한다. 후반부에서는 PROLOG로 구현된 국어의 형태소 분석기와 통사구조 분석기(PARSER)를 소개한다.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.7 no.11
• /
• pp.515-524
• /
• 2017

In this paper, we design and implement an expert system for diagnosing ADHD. As a result of the analysis with DSM-IV-TR, the ADHD diagnostic criteria are changed according to the age group. With this analyzed diagnostic, objects and their values are set and rules are created. We design a diagnostic system consisting of 'ADHD diagnostic system engine' and 'user query response program'. The ADHD diagnostic system engine is a rule-based reasoning engine that is implemented in the Prolog language and receives INPUT from the user query response program. By INPUT, the rule is executed based on the ADHD diagnostic criteria and the OUTPUT is sent back to the 'user query response program' by inferring the diagnostic result. The 'user query response program' is implemented in the Python language and serves as an interface for handling conversation with the user. The bridge between 'ADHD diagnostic system engine' and 'user query response program' is performed through the Pyswip library. As a result, the ADHD Diagnostic Expert System will help you plan your treatment with reduced diagnostic costs and use-complexity.

• Asia pacific journal of information systems
• /
• v.4 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.325-327
• /
• 2001

멀티에이전트 시스템(MAS: Multi-Agent System)에서 에이전트는 각자의 목표 달성을 위해 주위 에이전트들과 상호작용하여 목표의 충돌이 없는 일치 상황에 도달하도록 설계될 필요가 있다. 이러한 상호작용은 MAS에서의 협동, 공조, 그리고 협상 등의 분양에 필수적인 요소이다. 본 연구에서는 MAS에서 믿음(Belief), 소망(Desire), 그리고 의도(Intention)를 에이전트 구조의 핵심 요소로 가정하고, FIPA Agent Communication Language(ACL) 사양과 interaction 프로토콜의 변형에 기초하여 BDI 에이전트를 위한 협상 프로토콜을 소개한다. 또한 Java와 Prolog를 결합시킨 InterProlog 프로그래밍 언어로 목표 충돌을 일으키는 BDI 에이전트들을 생성하고 에이전트들이 협상 프로토콜을 사용하여 협상하는 과정을 시험적으로 구현한다.

• Water for future
• /
• v.23 no.4
• /
• pp.477-486
• /
• 1990

The domain of contaminated groundwater flow is a broad and multidisciplinary field requiring expertise in engineering, geology, chmistry and toxicology, and is an ideal area for the application of Expert System. The Expert System which is developed in this research can assist user to find possible remedial actions in case that the groundwater was contaminated with toxic pollutants. Documentation including the degree of toxicity, the possibility of chemical reaction and concentration of pollutant can be supported also. Prolog, and artificial intelegence programming language, is used to implement the prototype expert system. This expert system can explicitly advise users about contaminants' toxicity, possiblity reaction with other chemicals and their concentrations.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.6
• /
• pp.548-556
• /
• 2000

멀티에이전트 시스템(MAS: Multi-Agent System)에서 에이전트는 각자의 목표 달성을 위해 주위 에이전트들과의 상호작용을 통해 목표의 충돌이 없는 일치 상황에 도달하도록 설계되어야 한다. 멀티에이전트 시스템에서 에이전트들 사이의 목표 충돌은 일반적으로 발생 가능한 상황이고, 어떤 에이전트가 다른 에이전트에 관한 모든 지식을 가진다는 것은 불가능하기 때문에 상대방에 관한 부분적인 지식만을 가진 상황에서 목표 충돌을 해결할 수 있는 협상은 중요하다. 본 논문은 멀티에이전트 시스템에서 믿음(Belief), 소망(Desire); 그리고 의도(Intention)을 에이전트 구조의 핵심 요소로 가정하고 이러한 구조를 가지는 BDI 에이전트를 논리 프로그래밍의 입장에서 표현한다. 또한 서로 다른 목표를 가진 BDI 에이전트들이 서로 협상하여 문제를 해결하는 과정에서 발생하는 에이전트들 상호간의 목표 충돌을 해결하는 방법을 제시하며, 이 방법의 효과성을 검증하기 위하여 JAVA와 PROLOG를 결합시킨 InterPROLOG 프로그래밍 언어로 구현하여 시험한다.