• Title/Summary/Keyword: Semantic logic

Search Result 90, Processing Time 0.025 seconds

Study on a Methodology for Developing Shanghanlun Ontology (상한론(傷寒論)온톨로지 구축 방법론 연구)

  • Jung, Tae-Young;Kim, Hee-Yeol;Park, Jong-Hyun
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.25 no.5
    • /
    • pp.765-772
    • /
    • 2011
  • Knowledge which is represented by formal logic are widely used in many domains such like artificial intelligence, information retrieval, e-commerce and so on. And for medical field, medical documentary records retrieval, information systems in hospitals, medical data sharing, remote treatment and expert systems need knowledge representation technology. To retrieve information intellectually and provide advanced information services, systematically controlled mechanism is needed to represent and share knowledge. Importantly, medical expert's knowledge should be represented in a form that is understandable to computers and also to humans to be applied to the medical information system supporting decision making. And it should have a suitable and efficient structure for its own purposes including reasoning, extendability of knowledge, management of data, accuracy of expressions, diversity, and so on. we call it ontology which can be processed with machines. We can use the ontology to represent traditional medicine knowledge in structured and systematic way with visualization, then also it can also be used education materials. Hence, the authors developed an Shanghanlun ontology by way of showing an example, so that we suggested a methodology for ontology development and also a model to structure the traditional medical knowledge. And this result can be used for student to learn Shanghanlun by graphical representation of it's knowledge. We analyzed the text of Shanghanlun to construct relational database including it's original text, symptoms and herb formulars. And then we classified the terms following some criterion, confirmed the structure of the ontology to describe semantic relations between the terms, especially we developed the ontology considering visual representation. The ontology developed in this study provides database showing fomulas, herbs, symptoms, the name of diseases and the text written in Shanghanlun. It's easy to retrieve contents by their semantic relations so that it is convenient to search knowledge of Shanghanlun and to learn it. It can display the related concepts by searching terms and provides expanded information with a simple click. It has some limitations such as standardization problems, short coverage of pattern(證), and error in chinese characters input. But we believe this research can be used for basic foundation to make traditional medicine more structural and systematic, to develop application softwares, and also to applied it in Shanghanlun educations.

Active Documents: Programs by Form Designers (능동문서: 서식설계자의 프로그램)

  • Nam, Chul-Ki;Bae, Jae-Hak;Yoo, Hae-Young
    • The KIPS Transactions:PartB
    • /
    • v.10B no.6
    • /
    • pp.599-610
    • /
    • 2003
  • The Web plays an important role as information source and most Web applications are document-centric. A document implies an intention of its own designer, which can be utilized actively in automation of business processes. Through an understanding of an intrinsic nature of a document function, we can see a document as an executable computer program in a special case. For this approach, we propose an active document model that is composed of form, knowledge base, rules, and queries. For reusability and interoperability of a document, each component of the proposed model is uniformly represented in XML. The proposed active document not only plays a passive role in providing user interfaces, but also is a document that a machine can infer and process with reading a procedure of document processing and business rules intended by document designers. Through this approach, document can interact with machines and can cooperate with other applications. For applicability of our active document, we show a case study for the processing of purchase orders in a B2B e-Commerce system. This paper is expected to provide the framework of accelerating the development of intelligent applications through our approach regards form document as a computer program. In short, the proposed active document contains knowledge representation and processing method, consequently our document will play an important role in providing a concept of document of pursuing in Semantic Web.

The temptation of the slippery slope argument: A research of its nature (미끄러운 경사길 논증의 유혹: 그 실체의 탐구)

  • Lee, Hye-jung
    • Journal of Korean Philosophical Society
    • /
    • v.129
    • /
    • pp.267-290
    • /
    • 2014
  • The slippery slope argument means that if we accept a type of action A, we are committed to accepting B, C and eventually N. Then, N is situation which we must not accept morally. It works causal mechnism that B because A is raised, C because B is raised. But in the logic textbooks and treatises, the slippery slope argument is classified as fallacy. The reason is that the argument is not a causal argument. Actually, it is a probable. Also it is argued that the argument is wrong because it fears about the future extremely. But We can not say all slippery slope argument is fallacy even though a slippery slope argument is sometimes fallacy. I think it is persuasive argument in a significant place. Therefore I argue that the argument is not simple logic as a form of thinking, but practical reasoning applied the context of dialogue. So in order to find it to be practical reasoning we demand the new understanding to fallacy theory. In traditionally, fallacy is defined to wrong reasoning logically, but according to Walton, fallacy means a verbal tactic or deceptive trick that can be used to cause someone to fall down in argument. That is to say, whether or not the argument is successful depends on how it uses as argument tactic in a given context of dialogue. Therefore I argue that whether or not the argument is successful, because of it is practical problem used in a context of dialogue, is to be approached to pragma and dialectical method, not semantic.

ZFC and Non-Denumerability (ZFC와 열거불가능성)

  • An, Yohan
    • Korean Journal of Logic
    • /
    • v.22 no.1
    • /
    • pp.43-86
    • /
    • 2019
  • If 1st order ZFC is consistent(has a model($M_1$)) it has a transitive denumerable model($M_2$). This leads to a paradoxical situation called 'Skolem paradox'. This can be easily resolved by Skolem's typical resolution. but In the process, we must accept the model theoretic relativity for the concept of set. This relativity can generate a situation where the meaning of the set concept, for example, is given differently depending on the two models. The problem is next. because the sentence '¬denu(PN)' which indicate that PN is not denumerable is equally true in two models, A indistinguishability problem that the concept <¬denu> is not formally indistinguishable in ZFC arise. First, I will give a detail analysis of what the nature of this problem is. And I will provide three ways of responding to this problem from the standpoint of supporting ZFC. First, I will argue that <¬denu> concept, which can be relative to the different models, can be 'almost' distinguished in ZFC by using the formalization of model theory in ZFC. Second, I will show that <¬denu> can change its meaning intrinsically or naturally, by its contextual dependency from the semantic considerations about quantifier that plays a key role in the relativity of <¬denu>. Thus, I will show the model-relative meaning change of <¬denu> concept is a natural phenomenon external to the language, not a matter of responsible for ZFC.

Formalization of Object-Oriented Dynamic Modeling Technique (객체지향 동적 모델링 기법의 정형화)

  • Kim, Jin-Soo;Kim, Jeong-A;Lee, Gyeong-Hwan
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.4
    • /
    • pp.1013-1024
    • /
    • 1997
  • In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.

  • PDF

Implementation of Visual Contents on Mandala's Twining Rite (만다라 결연 의식의 시각 콘텐츠 구현)

  • Kim, Kyungdeok;Kim, Youngduk
    • The Journal of the Korea Contents Association
    • /
    • v.15 no.10
    • /
    • pp.37-45
    • /
    • 2015
  • The importance of cultural contents industry is steadily growing owing to the Korean wave etc. and Buddhist cultural contents is a part of the cultural contents. However, the development of Buddhist cultural contents in many ways has left much to be desired. That is because, it is difficult for the public, who is not Buddhist scholar, to understand and take interest in conventional contents on Buddhist books themselves which are digitalized. Also, most contents researches are discussed on the necessity of contents development and just stay in these subjects, but it is insufficient to study a semantic analysis and visualizing contents on Buddhist books. So, in this paper, we analyse mandala's twinning rite in the Buddhist books and implement visual contents on the rite. The mandala is using toohadeokbul in a special way as the abhisinca rite. We analyse concept of the toohadeokbul and implement its visual contents which visualize ideological logic of Buddhism. The implemented contents are able to provide the public with Buddhist cultural experience of the yard. Additional, by trying to visualize descriptive expressions of Buddhist books, this paper could be a precedent for developing visual contents of unlimited data comprised in Buddhist books.

Reconsideration of the Change in the Past Korean Elementary Mathematics Curriculums -In the View of Ernest's Philosophy of Mathematics Education- (우리나라 초등학교 수학과 교육과정의 변화 경향 재고 -Ernest의 수학교육철학적 관점에서-)

  • 백석윤;이명희
    • School Mathematics
    • /
    • v.5 no.2
    • /
    • pp.151-165
    • /
    • 2003
  • So far there have been intermittently quantitative and syntactic analyses of the past elementary mathematics curriculums to comprehend elementary mathematics education in Korea. However, we think we also need qualitative and semantic analyses to comprehend and examine the past elementary mathematics curriculums exactly and so to look out on our future elementary mathematics education. Generally, school mathematics curriculum reflects both the philosophical aspects of mathematics itself that form the background of the philosophy of mathematics education and the sociological aspects in real mathematics class that could be the output of the curriculum. With this view, the logic of the social constructivism can be an appropriate way that leads mathematical philosophical analysis and sociological analysis in mathematics education. With this kind of method of analysis we got the results that: the past Korean elementary mathematics curriculums mainly have the tendency from the ideology of the progressive educator(the 1st) to of the technological pragmatist(the 2nd), from that of the old humanist(the 3rd and 4th) to the progressive educator(the 5th and 6th) again, and lastly that of social constructivism(the 7th).

  • PDF

Ontology and Sequential Rule Based Streaming Media Event Recognition (온톨로지 및 순서 규칙 기반 대용량 스트리밍 미디어 이벤트 인지)

  • Soh, Chi-Seung;Park, Hyun-Kyu;Park, Young-Tack
    • Journal of KIISE
    • /
    • v.43 no.4
    • /
    • pp.470-479
    • /
    • 2016
  • As the number of various types of media data such as UCC (User Created Contents) increases, research is actively being carried out in many different fields so as to provide meaningful media services. Amidst these studies, a semantic web-based media classification approach has been proposed; however, it encounters some limitations in video classification because of its underlying ontology derived from meta-information such as video tag and title. In this paper, we define recognized objects in a video and activity that is composed of video objects in a shot, and introduce a reasoning approach based on description logic. We define sequential rules for a sequence of shots in a video and describe how to classify it. For processing the large amount of increasing media data, we utilize Spark streaming, and a distributed in-memory big data processing framework, and describe how to classify media data in parallel. To evaluate the efficiency of the proposed approach, we conducted an experiment using a large amount of media ontology extracted from Youtube videos.

Dependency Label based Causing Inconsistency Axiom Detection for Ontology Debugging (온톨로지 디버깅을 위한 종속 부호 기반 비논리적 공리 탐지)

  • Kim, Je-Min;Park, Young-Tack
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.12
    • /
    • pp.764-773
    • /
    • 2008
  • The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

The Conceptual Intersection between the Old and the New and the Transformation of the Traditional Knowledge System (신구(新舊) 관념의 교차와 전통 지식 체계의 변용)

  • Lee, Haenghoon
    • The Journal of Korean Philosophical History
    • /
    • no.32
    • /
    • pp.215-249
    • /
    • 2011
  • This essay reflects on the modernity of Korea by examining the transformation of the traditional knowledge system from a historico-semantic perspective with its focus on the opposition and collision of the old and the new conception occurred in the early period(1890~1910) of the acceptance of the Western modern civilization. With scientific success, trick of reason, Christianity and evolutionary view of history, the Western modernity regarded itself as a peak of civilization and forced the non-Western societies into the world system in which they came to be considered as 'barbarism(野蠻)' or 'half-enlightened(半開).' The East Asian civilization, which had its own history for several centuries, became degraded as kind of delusion and old-fashioned customs from which it ought to free itself. The Western civilization presented itself as exemplary future which East Asian people should achieve, while East Asian past traditions came to be conceived as just unnecessary vestiges which it was better to wipe out. It can be said that East Asian modernization was established through the propagation and acceptance of the modern products of the Western civilization rather than through the preservation of its past experience and pursuit of the new at the same time. Accordingly, it is difficult to apply directly to East Asian societies Koselleck's hypothesis; while mapping out his Basic Concept of History, he assumed that, in the so-called 'age of saddle,' semantic struggle over concepts becomes active between the past experience and the horizon of expectation on the future, and concepts undergoes 'temporalization', 'democratization', 'ideologization', 'politicization.'The struggle over the old and new conceptions in Korea was most noticeable in the opposition of the Neo-Confucian scholars of Hwangseongsinmun and the theorists of civilization of Doknipsinmun. The opposition and struggle demanded the change of understanding in every field, but there was difference of opinion over the conception of the past traditional knowledge system. For the theorists of civilization, 'the old(舊)' was not just 'past' and 'old-fashioned' things, but rather an obstacle to the building of new civilization. On the other hand, it contained the possibility of regeneration(新) for the Neo-Confucian scholars; that is, they suggested finding a guide into tomorrow by taking lessons from the past. The traditional knowledge system lost their holy status of learning(聖學) in the process of its change into a 'new learning(新學),' and religion and religious tradition also weakened. The traditional knowledge system could change itself into modern learning by accepting scientific methodology which pursues objectivity and rationality. This transformation of the traditional knowledge system and 'the formation of the new learning from the old learning' was accompanied by the intersection between the old and new conceptions. It is necessary to pay attention to the role played by the concept of Sil(hak)(實學) or Practical Learning in the intersection of the old and new conceptions. Various modern media published before and after the 20th century show clearly the multi-layered development of the old and new conceptions, and it is noticeable that 'Sil(hak)' as conceptual frame of reference contributed to the transformation of the traditional knowledge system into the new learning. Although Silhak often designated, or was even considered equivalent to, the Western learning, Neo-Confucian scholars reinterpreted the concept of 'Silhak' which the theorists of civilization had monopolized until then, and opened the way to change the traditional knowledge system into the new learning. They re-appropriated the concept of Silhak, and enabled it to be invested with values, which were losing their own status due to the overwhelming scientific technology. With Japanese occupation of Korea by force, the attempt to transform the traditional knowledge system independently was obliged to reach its own limit, but its theory of 'making new learning from old one' can be considered to get over both the contradiction of Dondoseogi(東道西器: principle of preserving Eastern philosophy while accepting Western technology) and the de-subjectivity of the theory of civilization. While developing its own logic, the theory of Dongdoseogi was compelled to bring in the contradiction of considering the indivisible(道and 器) as divisible, though it tried to cope with the reality where the principle of morality and that of competition were opposed each other and the ideologies of 'evolution' and 'progress' prevailed. On the other hand, the theory of civilization was not free from the criticism that it brought about a crack in subjectivity due to its internalization of the West, cutting itself off from the traditional knowledge system.