Share Email Print
cover

Proceedings Paper

Knowledge representation with W-Prolog
Author(s): Christo Dichev
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

This paper presents a logic programming language W-Prolog based on the idea of a network of worlds for representing and manipulating knowledge. While maintaining multiple theories within a single system the language provides a rich collection of theory relations for creating new theories. Built-in theory relations implement versions of set theoretic operations and various types of accessibility relations. A notable feature of the language is that it enables users to define their own theory relations. W-Prolog also allows users to define a network of theories where the number and the type of the "network links" depends on the results of some computations.

Paper Details

Date Published: 23 March 1993
PDF: 12 pages
Proc. SPIE 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry, (23 March 1993); doi: 10.1117/12.141749
Show Author Affiliations
Christo Dichev, Univ. College Dublin (Ireland)


Published in SPIE Proceedings Vol. 1963:
Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry
Usama M. Fayyad; Ramasamy Uthurusamy, Editor(s)

© SPIE. Terms of Use
Back to Top