KSL-00-05 + redirect page
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases + Has identifier
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases + Ksl tr id
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases + Number
| Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases |
Bibtype
techreport
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
Title
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases
Year
2000
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 +
Has author
Richard Fikes +
Has identifier
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases +
Month
June +
Number
Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
