Omega is a logic system for knowledge representation which is based on descriptions, rather than predicates, and embodies two fundamental ideas for structuring knowledge that are distilled from semantic networks and frame based languages: inheritance and attributions. These features can be exploited to build knowledge bases organized as networks of descriptions, where all types of knowlegde are uniformly represented in an integrated fashion. Reasoning on a lattice of descriptions combined with deduction strategies defined at the metalevel provide the knowlegde base with the capability to deal with complex problem solving tasks.
A Uniform and Integrated Description System
SIMI, MARIA
1987-01-01
Abstract
Omega is a logic system for knowledge representation which is based on descriptions, rather than predicates, and embodies two fundamental ideas for structuring knowledge that are distilled from semantic networks and frame based languages: inheritance and attributions. These features can be exploited to build knowledge bases organized as networks of descriptions, where all types of knowlegde are uniformly represented in an integrated fashion. Reasoning on a lattice of descriptions combined with deduction strategies defined at the metalevel provide the knowlegde base with the capability to deal with complex problem solving tasks.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
