start-ver=1.4 cd-journal=joma no-vol= cd-vols= no-issue= article-no= start-page=893 end-page=898 dt-received= dt-revised= dt-accepted= dt-pub-year=2004 dt-pub=20047 dt-online= en-article= kn-article= en-subject= kn-subject= en-title= kn-title=Visualization with hierarchically structured trees for an explanation reasoning system en-subtitle= kn-subtitle= en-abstract= kn-abstract=

This work is concerned with an application of drawing hierarchically structured trees. The tree drawing is applied to an explanation reasoning system. The reasoning is based on synthetic abduction (hypothesis) that gets a case from a rule and a result. In other words, the system searches a proper environment to get a desired result. In order that the system may be reliably related to the amount of rules which are used to get the answer, we visualize a process of reasoning to show how rules have concern with the process. Since the process of reasoning in the system makes a hierarchically structured tree, the visualization of reasoning is a drawing of a hierarchically structured tree. We propose a method of visualization that is applicable to the explanation reasoning system.

en-copyright= kn-copyright= en-aut-name=SasakuraMariko en-aut-sei=Sasakura en-aut-mei=Mariko kn-aut-name= kn-aut-sei= kn-aut-mei= aut-affil-num=1 ORCID= en-aut-name=YamasakiSusumu en-aut-sei=Yamasaki en-aut-mei=Susumu kn-aut-name= kn-aut-sei= kn-aut-mei= aut-affil-num=2 ORCID= affil-num=1 en-affil= kn-affil=Okayama University affil-num=2 en-affil= kn-affil=Okayama University en-keyword=data visualisation kn-keyword=data visualisation en-keyword=explanation kn-keyword=explanation en-keyword=inference mechanisms kn-keyword=inference mechanisms en-keyword=knowledge based systems kn-keyword=knowledge based systems en-keyword= trees (mathematics) kn-keyword= trees (mathematics) END start-ver=1.4 cd-journal=joma no-vol= cd-vols= no-issue= article-no= start-page=194 end-page=199 dt-received= dt-revised= dt-accepted= dt-pub-year=2005 dt-pub=20057 dt-online= en-article= kn-article= en-subject= kn-subject= en-title= kn-title=Visualization for management of electronics product composition en-subtitle= kn-subtitle= en-abstract= kn-abstract=

There are some systems called supply chain management system or value chain management system that manages production. It is a powerful tool in normal cases, but in a problem such that some parts are out of stock, it can solve the problem only by simple solutions, like postponing shipping of the product because it does not have enough information about production and functions to use the various information. Our research is concerned with a system to integrate information about production and show a solution to help users to judge which way is better to solve the problem. We implemented a prototype system. It takes inputs of some information that were not integrated in one place in former systems, but distributed among systems, people, or sections. It shows a solution for a problem making use of the information integrated in the system. The solution comes as process of reasoning to help user to judge what is the best to do in the case. We also implemented the user interface to show the process of reasoning.

en-copyright= kn-copyright= en-aut-name=KenichiIwata en-aut-sei=Kenichi en-aut-mei=Iwata kn-aut-name= kn-aut-sei= kn-aut-mei= aut-affil-num=1 ORCID= en-aut-name=SasakuraMariko en-aut-sei=Sasakura en-aut-mei=Mariko kn-aut-name= kn-aut-sei= kn-aut-mei= aut-affil-num=2 ORCID= en-aut-name=YamasakiSusumu en-aut-sei=Yamasaki en-aut-mei=Susumu kn-aut-name= kn-aut-sei= kn-aut-mei= aut-affil-num=3 ORCID= affil-num=1 en-affil= kn-affil=Okayama University affil-num=2 en-affil= kn-affil=Okayama University affil-num=3 en-affil= kn-affil=Okayama University en-keyword=data visualisation kn-keyword=data visualisation en-keyword=inference mechanisms kn-keyword=inference mechanisms en-keyword=product development kn-keyword=product development en-keyword=production management kn-keyword=production management en-keyword=supply chain management kn-keyword=supply chain management en-keyword=user interfaces kn-keyword=user interfaces END start-ver=1.4 cd-journal=joma no-vol= cd-vols= no-issue= article-no= start-page=135 end-page=140 dt-received= dt-revised= dt-accepted= dt-pub-year=2001 dt-pub=20017 dt-online= en-article= kn-article= en-subject= kn-subject= en-title= kn-title=A visualization method for knowledge represented by general logic programs en-subtitle= kn-subtitle= en-abstract= kn-abstract=

We describe a visualization method for general logic clauses as the first step of a visualization of logic programs. Since we think inclusion is essential to represent an outline of knowledge, we propose a method based on Euler diagrams to visualize inference rules represented as a set of general logic clauses which consist of literals with no variable. We develop a prototype system and show that complex rules which are hard to understand in text are easy to understand by diagrams

en-copyright= kn-copyright= en-aut-name=SasakuraMariko en-aut-sei=Sasakura en-aut-mei=Mariko kn-aut-name= kn-aut-sei= kn-aut-mei= aut-affil-num=1 ORCID= affil-num=1 en-affil= kn-affil=Okayama University en-keyword=diagrams kn-keyword=diagrams en-keyword=inference mechanisms kn-keyword=inference mechanisms en-keyword=knowledge representation kn-keyword=knowledge representation en-keyword=logic programming kn-keyword=logic programming en-keyword=program visualisation kn-keyword=program visualisation END