• 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.

• The Journal of Engineering Research
• /
• v.6 no.1
• /
• pp.111-124
• /
• 2004

The advanced semiconductor technology and electronic design automation(EDA) tools make it possible to implement the system on the programmable logic devices. The electronic design method is also changing from schematic capture to hardware description language. In this paper, I present the architecture of multi-dimensional digital filter which can be efficiently implemented on PLDs. This is based on the former research results which are called algorithm decomposition technique. Algorithm decomposition technique is used to obtain the computational primitive from the state space equations of the multi-dimensional digital filtering algorithm. The obtained computational primitive is designed with VHDL. This can be used to implement the filtering system as a component. The designed filtering system is implemented on the PLD. Therefore, the filter can be upgradable on system. It is greatly reduced the time-to-market time of the system that is based on the multi-dimensional filter.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.192-199
• /
• 2003

Agents in multi-agent systems (MAS ) are required to achieve their own goals. An agent s goal, however, can conflict with others either when agents compete with each other to achieve a common goal or when they have to use a set of limited resources to accomplish agents divergent goals. In either case, agents need to be designed to reach a mutual acceptable state where they can avoid any goal conflicts through negotiation with others to achieve their goals. In this paper, we consider a BDI agent architecture where belief, desire, and intention are the three major components for agents mental attitudes and represent resource-bounded BDI agents in logic programming framework. We propose a negotiation algorithm for BDI agents solving their problems without goal conflicts in distributed cooperative environments. Finally, we describe a simple scenario to show the effectiveness of the negotiation algorithm implemented in a negotiation meta-language.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.97-133
• /
• 2018

In his unpublished article, "Is Mathematics Syntax of Language?," $G{\ddot{o}}del$ criticizes what he calls the 'syntactical interpretation' of mathematics by Carnap. Park, Chun, Awodey and Carus, Ricketts, and Tennant have all reconstructed $G{\ddot{o}}del^{\prime}s$ arguments in various ways and explored Carnap's possible responses. This paper first recreates $G{\ddot{o}}del$ and Carnap's debate about the nature of mathematics. After criticizing most existing reconstructions, I claim to make the following contributions. First, the 'language relativity' several scholars have attributed to Carnap is exaggerated. Rather, the essence of $G{\ddot{o}}del^{\prime}s$ critique is the applicability of mathematics and the argument based on 'expectability'. Thus, Carnap's response to $G{\ddot{o}}del$ must be found in how he saw the application of mathematics, especially its application to science. I argue that the 'correspondence principle' of Carnap, which has been overlooked in the existing discussions, plays a key role in the application of mathematics. Finally, the real implications of $G{\ddot{o}}del^{\prime}s$ incompleteness theorems - the inexhaustibility of mathematics - turn out to be what both $G{\ddot{o}}del$ and Carnap agree about.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.6
• /
• pp.1522-1536
• /
• 1998

In this paper, we present a modeling method for the real-time systems. This method is based on the DARTS (Design Approach for Real-Time Systems) and widely extended to analysis phase. The DARTS method provides a good guideline for the real -time software design, but it uses structured analysis and does not provide a specification language. So. this paper provides extended DARTS modeling techniques to the analysis area based on the objects. Internal behavior of system showed by means of a NPN (Numerical Petri Net) for analysis, and the specification language is provided based on the temporal logic for transition synchronization sequence control. By the example, we identified the proposed method was applied well. And through the reachability graph, we verified whether the deadlocks may occur or not in the analysis phase before the design phase. Thus. it gives easy way to analysis, so that it will lead to the design phase naturally.

• Journal of English Language & Literature
• /
• v.56 no.3
• /
• pp.501-517
• /
• 2010

This paper examines the British imperialism found in Edith Nesbit's fantasy stories by looking at the function of magic and of the hierarchical relationships seen in the books. Although Edith Nesbit is relatively unknown in Korea, she is widely recognized as having had a great influence on the 20th century British literary world, and is also well-known for her political position as a socialist. Nesbit's fantasy books are commonly differentiated from other Victorian children's books written before her in that she created realistic and liberal children characters and rejected the adult didactic tone. While Nesbit's books have been recognized as revolutionary and being distinguished from other Victorian children's books, I suggest that the ideas found in her fantasy novels largely include the dominant Victorian message of British imperialism. This imperial ideology is delivered by the logic of magic and the multilateral hierarchies. The two magic creatures (The Psammead and the Phoenix) and the two magic items from an Oriental background (the Carpet and the Amulet) all have a magic power to grant people's wishes, wholeheartedly exercising their power and knowledge for the sake of the British characters. While the magic agents serve to fulfill the children's wishes, the children aim to please their parents and to benefit their family, showing layered hierarchies among the characters. Also, there is a hierarchical distinction between the magic items and the magic creatures in that the magic items have no voice to express themselves but only serve and obey the British children. The foreign characters that the children encounter in their adventures also cooperate with the British characters to help them to fulfill their goals. In short, magic frees the children from the adult-centered world but ultimately their free adventures serve their parents and other adults, and represent the ideals and hierarchical concepts of British imperialism. Thus, Nesbit's position as a modern writer seems to be ambiguous, switching between modern characterization and style, and the old Victorian imperial messages that also exist in her fantasy novels.

• Journal of English Language & Literature
• /
• v.58 no.4
• /
• pp.565-588
• /
• 2012

This paper aims at reconsidering 'suture,' a key concept in early Lacanian film criticism, with a view to narrowing a supposed gap between early Lacanian and later Lacanian film criticism. Early Lacanian film theorists, among whom Jean-Pierre Oudart, Jean-Louis Baudry, Laura Mulvey and Daniel Dayan, to name a few, are prominent, focus on cinematic signifying system as well as its ideological effects on shaping subjectivity of the audience. Initiated by Jacques-Alain Miller's article on suture as the logic of signifier and grafted into film as the logic of the cinematic by Oudart's writing, the concept of suture was established as a key word in early Lacanian film criticism. In their taxonomy, suture refers to the processes by which the audience are stitched into the story-world of a film. The audience are drawn into the film and take up positions as subjects-within-the-film such that they make sense of and respond to what the film represents as they are encouraged to do so by the film itself. On the other hand, later Lacanian film critics, who are much influenced by Lacan's later emphasis on the Real, focus on concepts such as gaze, petit objet a, fantasy, rather than suture. They are more concerned with the failure of suture and the disruption of the Symbolic than the ideological effects of suture and the consolidation of the Symbolic. They require a break from the previous approach of Lacanian film theory which centers around the Imaginary and the Symbolic. However, early Lacanian and later Lacanian film theory do not manifest as much disparity as they are supposed to do, for both are against the ideological manipulation of suture. Slavoj Žižek, a leading scholar of later Lacanian psychoanalysis, revives the concept of suture as a patch of the Symbolic which covers the gap, if not always successful.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.6
• /
• pp.195-204
• /
• 2020

Nowadays there are over 1.6 billion web pages and it is hard to get necessary results that user wants. Most search engines allow you to search with logical form to get accurate results. However, normal users are not familiar to search information as logical form. Therefore, they search in natural language rather than in complicated logical form. In this paper there are some suggestions to improve quality of searching results, converting natural language input by the user into logical form which can able to use advanced search engine. Users tend to make short searches due to the 'Simplicity' which is one of the features of the search form. Therefore we suggest history retrieval method; advanced version of previous suggestion to provide convenience to the normal users. We had improvement on accuracy of the search results converting natural languages to logical form and also can contain every keyword without missing any keywords using searching methods on this paper. It is expected that these search methods will contribute to the development of search engines.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.500-503
• /
• 2003

XML been using extensively by standard of data exchanging in the Internet is observed by a technology to replace existent document creation language of HTML etc. Biggest characteristic of this XML is that logic information and physical information that express style of document that do that express structural substance of document were detached. Hereupon, W3C advised XSL that oner style function of form similar to HTML for XML's style and data conversion. Also, XSL's conversion function offers function that change XML document to other data format, and can describe style information through conversion of various document format. But, a XML document conversion technology that use XSLT know-how in domestic is unprepared real condition, and necessity about solution that can edit XSLT document efficiently is putting. This paper does XML document so that conversion and output are available in various document format. And offered research of XSLT document editing system that can edit and create XSLT document efficiently under WYSIWYG environment.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.17 no.5
• /
• pp.1396-1412
• /
• 2023

Conversation modeling is an important and challenging task in the field of natural language processing because it is a key component promoting the development of automated humanmachine conversation. Most recent research concerning conversation modeling focuses only on the current utterance (considered as the current question) to generate a response, and thus fails to capture the conversation's logic from its beginning. Some studies concatenate the current question with previous conversation sentences and use it as input for response generation. Another approach is to use an encoder to store all previous utterances. Each time a new question is encountered, the encoder is updated and used to generate the response. Our approach in this paper differs from previous studies in that we explicitly separate the encoding of the question from the encoding of its context. This results in different encoding models for the question and the context, capturing the specificity of each. In this way, we have access to the entire context when generating the response. To this end, we propose a deep neural network-based model, called the Context Model, to encode previous utterances' information and combine it with the current question. This approach satisfies the need for context information while keeping the different roles of the current question and its context separate while generating a response. We investigate two approaches for representing the context: Long short-term memory and Convolutional neural network. Experiments show that our Context Model outperforms a baseline model on both ConvAI2 Dataset and a collected dataset of conversational English.