Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases

From Tetherless World Wiki

Jump to: navigation, search

Citation: Richard Fikes. (2000) Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases. In KSL-00-05, June,2000.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Richard Fikes
title Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases
number KSL-00-05
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 2000
month June
Bibtex more
Access Paper
abstract A common feature of current representation systems is to provide a highly expressive representation language (e.g., first order logic) and to embed in that language a frame language or description logic that supports an object-oriented structuring of knowledge bases. The embedding of a frame language in a first order logic language suggests a tractable and principled means of incorporating defaults into first order logic. Namely, restrict statements regarding defaults and exceptions to defaults (i.e., abnormality with respect to specific defaults) to those that can be expressed in the frame language, and consider default statements to hold unless they are blocked by explicitly asserted exceptions or by exceptions that can be inferred from the inheritance axioms of the frame language. In this note, we present such a means of representing and reasoning with defaults. We describe the representation and reasoning scheme as an extension to the OKBC knowledge model, and use KIF to express the axioms that provide the semantics for the scheme. However, the scheme could be directly adapted to most any predicate calculus representation language that includes a monotonic frame language.

KSL Technical Report ID: KSL-00-05
Facts about Providing Defaults in the Frames Portion of First-Order Logic Knowledge BasesRDF feed
Abstract A common feature of current representation … A common feature of current representation systems is to provide a highly expressive representation language (e.g., first order logic) and to embed in that language a frame language or description logic that supports an object-oriented structuring of knowledge bases. The embedding of a frame language in a first order logic language suggests a tractable and principled means of incorporating defaults into first order logic. Namely, restrict statements regarding defaults and exceptions to defaults (i.e., abnormality with respect to specific defaults) to those that can be expressed in the frame language, and consider default statements to hold unless they are blocked by explicitly asserted exceptions or by exceptions that can be inferred from the inheritance axioms of the frame language. In this note, we present such a means of representing and reasoning with defaults. We describe the representation and reasoning scheme as an extension to the OKBC knowledge model, and use KIF to express the axioms that provide the semantics for the scheme. However, the scheme could be directly adapted to most any predicate calculus representation language that includes a monotonic frame language. that includes a monotonic frame language.
Address Stanford, CA, USA  +
Author Richard Fikes  +
Bibtype techreport  +
Has author Richard Fikes  +
Has identifier KSL-00-05  +
Has publishing details June,2000  +
Has title Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases  +
Has where published KSL-00-05  +
Has year 2000  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-00-05  +
Month June  +
Number KSL-00-05  +
Process note NO  +
Title Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases  +
Year 2000  +
Retrieved from "http://tw.rpi.edu/wiki/Providing_Defaults_in_the_Frames_Portion_of_First-Order_Logic_Knowledge_Bases"
Personal tools