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 - 5th International Conference on Information Visualisation, IV 2001
EditorsF. Khosrowshahi, E. Banissi, M. Sarfraz, A. Ursyn
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages135-140
Number of pages6
ISBN (Electronic)0769511953
DOIs
Publication statusPublished - 2001
Event5th International Conference on Information Visualisation, IV 2001 - London, United Kingdom
Duration: Jul 25 2001Jul 27 2001

Publication series

NameProceedings of the International Conference on Information Visualisation
Volume2001-January
ISSN (Print)1093-9547

Other

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

ASJC Scopus subject areas

  • Software
  • Signal Processing
  • Computer Vision and Pattern Recognition

Fingerprint Dive into the research topics of 'A visualization method for knowledge represented by general logic programs'. Together they form a unique fingerprint.

Cite this