A visualization method for knowledge represented by general logic programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, 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.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Information Visualisation
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages135-140
Number of pages6
Volume2001-January
ISBN (Print)0769511953
DOIs
Publication statusPublished - 2001
Event5th International Conference on Information Visualisation, IV 2001 - London, United Kingdom
Duration: Jul 25 2001Jul 27 2001

Other

Other5th International Conference on Information Visualisation, IV 2001
CountryUnited Kingdom
CityLondon
Period7/25/017/27/01

Fingerprint

Visualization

ASJC Scopus subject areas

  • Computer Vision and Pattern Recognition
  • Software
  • Signal Processing

Cite this

Sasakura, M. (2001). A visualization method for knowledge represented by general logic programs. In Proceedings of the International Conference on Information Visualisation (Vol. 2001-January, pp. 135-140). [942049] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IV.2001.942049

A visualization method for knowledge represented by general logic programs. / Sasakura, Mariko.

Proceedings of the International Conference on Information Visualisation. Vol. 2001-January Institute of Electrical and Electronics Engineers Inc., 2001. p. 135-140 942049.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sasakura, M 2001, A visualization method for knowledge represented by general logic programs. in Proceedings of the International Conference on Information Visualisation. vol. 2001-January, 942049, Institute of Electrical and Electronics Engineers Inc., pp. 135-140, 5th International Conference on Information Visualisation, IV 2001, London, United Kingdom, 7/25/01. https://doi.org/10.1109/IV.2001.942049
Sasakura M. A visualization method for knowledge represented by general logic programs. In Proceedings of the International Conference on Information Visualisation. Vol. 2001-January. Institute of Electrical and Electronics Engineers Inc. 2001. p. 135-140. 942049 https://doi.org/10.1109/IV.2001.942049
Sasakura, Mariko. / A visualization method for knowledge represented by general logic programs. Proceedings of the International Conference on Information Visualisation. Vol. 2001-January Institute of Electrical and Electronics Engineers Inc., 2001. pp. 135-140
@inproceedings{ef74cd0ed89b4db984f2cd75a17cf032,
title = "A visualization method for knowledge represented by general logic programs",
abstract = "In this paper, 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.",
author = "Mariko Sasakura",
year = "2001",
doi = "10.1109/IV.2001.942049",
language = "English",
isbn = "0769511953",
volume = "2001-January",
pages = "135--140",
booktitle = "Proceedings of the International Conference on Information Visualisation",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - A visualization method for knowledge represented by general logic programs

AU - Sasakura, Mariko

PY - 2001

Y1 - 2001

N2 - In this paper, 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.

AB - In this paper, 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.

UR - http://www.scopus.com/inward/record.url?scp=84949234693&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84949234693&partnerID=8YFLogxK

U2 - 10.1109/IV.2001.942049

DO - 10.1109/IV.2001.942049

M3 - Conference contribution

AN - SCOPUS:84949234693

SN - 0769511953

VL - 2001-January

SP - 135

EP - 140

BT - Proceedings of the International Conference on Information Visualisation

PB - Institute of Electrical and Electronics Engineers Inc.

ER -