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

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.
Attardi, A.; Simi, Maria
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/12454
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact