Cart (Loading....) | Create Account
Close category search window

A theory for the representation of knowledge

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Guenthner, Franz ; University of Tubingen, Federal Republic of Germany ; Lehmann, Hubert ; Schonfeld, Wolfgang

How to represent knowledge is one of the key questions in the construction of expert systems. Its solution depends on a number of factors, the most important of which are how knowledge is to be acquired and how it is to be used. Since we are interested in the use of natural language for communication with computers, we require from a formalism suggested for knowledge representation that it be suitable as a target for the systematic translation from natural language expressions. We want to propose a theory, called Discourse Representation Theory (DRT), which was originally developed by Kamp to analyze natural language discourse, as a means to represent knowledge in an expert system. With Discourse Representation Theory it has been possible to solve certain cases of contextual relations which have puzzled linguists and logicians for a long time. In this paper we give a precise definition of DRT and describe the rules used to translate from natural language to Discourse Representation Structures (DRSs), the central notion of the theory. We show how the notation used in DRT relates to standard predicate logic and define its deductive theory. We also outline ways of implementing DRT and the proof procedures we intend to use.

Note: The Institute of Electrical and Electronics Engineers, Incorporated is distributing this Article with permission of the International Business Machines Corporation (IBM) who is the exclusive owner. The recipient of this Article may not assign, sublicense, lease, rent or otherwise transfer, reproduce, prepare derivative works, publicly display or perform, or distribute the Article.  

Published in:

IBM Journal of Research and Development  (Volume:30 ,  Issue: 1 )

Date of Publication:

Jan. 1986

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.