A visualization method for knowledge represented by general logic programs

Mariko Sasakura

doi:10.1109/IV.2001.942049

A visualization method for knowledge represented by general logic programs

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings - 5th International Conference on Information Visualisation, IV 2001
Editors	F. Khosrowshahi, E. Banissi, M. Sarfraz, A. Ursyn
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	135-140
Number of pages	6
ISBN (Electronic)	0769511953
DOIs	https://doi.org/10.1109/IV.2001.942049
Publication status	Published - 2001
Event	5th International Conference on Information Visualisation, IV 2001 - London, United Kingdom Duration: Jul 25 2001 → Jul 27 2001

Publication series

Name	Proceedings of the International Conference on Information Visualisation
Volume	2001-January
ISSN (Print)	1093-9547

Other

Other	5th International Conference on Information Visualisation, IV 2001
Country/Territory	United Kingdom
City	London
Period	7/25/01 → 7/27/01

ASJC Scopus subject areas

Software
Signal Processing
Computer Vision and Pattern Recognition

Access to Document

10.1109/IV.2001.942049

Cite this

Sasakura, M. (2001). A visualization method for knowledge represented by general logic programs. In F. Khosrowshahi, E. Banissi, M. Sarfraz, & A. Ursyn (Eds.), Proceedings - 5th International Conference on Information Visualisation, IV 2001 (pp. 135-140). [942049] (Proceedings of the International Conference on Information Visualisation; Vol. 2001-January). 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 - 5th International Conference on Information Visualisation, IV 2001. ed. / F. Khosrowshahi; E. Banissi; M. Sarfraz; A. Ursyn. Institute of Electrical and Electronics Engineers Inc., 2001. p. 135-140 942049 (Proceedings of the International Conference on Information Visualisation; Vol. 2001-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sasakura, M 2001, A visualization method for knowledge represented by general logic programs. in F Khosrowshahi, E Banissi, M Sarfraz & A Ursyn (eds), Proceedings - 5th International Conference on Information Visualisation, IV 2001., 942049, Proceedings of the International Conference on Information Visualisation, vol. 2001-January, 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 Khosrowshahi F, Banissi E, Sarfraz M, Ursyn A, editors, Proceedings - 5th International Conference on Information Visualisation, IV 2001. Institute of Electrical and Electronics Engineers Inc. 2001. p. 135-140. 942049. (Proceedings of the International Conference on Information Visualisation). doi: 10.1109/IV.2001.942049

Sasakura, Mariko. / A visualization method for knowledge represented by general logic programs. Proceedings - 5th International Conference on Information Visualisation, IV 2001. editor / F. Khosrowshahi ; E. Banissi ; M. Sarfraz ; A. Ursyn. Institute of Electrical and Electronics Engineers Inc., 2001. pp. 135-140 (Proceedings of the International Conference on Information Visualisation).

@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",

note = "Publisher Copyright: {\textcopyright} 2001 IEEE.; 5th International Conference on Information Visualisation, IV 2001 ; Conference date: 25-07-2001 Through 27-07-2001",

year = "2001",

doi = "10.1109/IV.2001.942049",

language = "English",

series = "Proceedings of the International Conference on Information Visualisation",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "135--140",

editor = "F. Khosrowshahi and E. Banissi and M. Sarfraz and A. Ursyn",

booktitle = "Proceedings - 5th International Conference on Information Visualisation, IV 2001",

}

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

T3 - Proceedings of the International Conference on Information Visualisation

SP - 135

EP - 140

BT - Proceedings - 5th International Conference on Information Visualisation, IV 2001

A2 - Khosrowshahi, F.

A2 - Banissi, E.

A2 - Sarfraz, M.

A2 - Ursyn, A.

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 5th International Conference on Information Visualisation, IV 2001

Y2 - 25 July 2001 through 27 July 2001

ER -

A visualization method for knowledge represented by general logic programs

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this