Knowledge representation with W-Prolog

Christo Dichev

doi:10.1117/12.141749

23 March 1993 Knowledge representation with W-Prolog

Christo Dichev

Proceedings Volume 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry; (1993) https://doi.org/10.1117/12.141749
Event: Optical Engineering and Photonics in Aerospace Sensing, 1993, Orlando, FL, United States

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.

Citation Download Citation

Christo Dichev "Knowledge representation with W-Prolog", Proc. SPIE 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry, (23 March 1993); https://doi.org/10.1117/12.141749

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available