DISSERTAÇÃO _Biblioteca_ - 2007 - UNISC Universidade de Santa ...

43A hierarquia de frames denota herança de atributos, na qual as propriedades de umframe são herdadas pelos frames definidos como do mesmo tipo. Por exemplo, se um frameanimal carnívoro é definido como do tipo frame mamífero, significa que animal carnívoroherda todas as características modeladas para mamífero.A figura 9 mostra um exemplo de frame.Frame CARNÍVOROé_um : mamíferohabitat : [savana, floresta, deserto, doméstico]número de dentes : [20 a 100]recobrimento : [couro, pêlos, pele]número de patas : 4locomoção : caminharFigura 9 – Exemplo de frameFonte: Notas de aulaNa figura 9, o nome do frame é carnívoro e os atributos (slots) são habitat; número dedentes; recobrimento; número de patas e locomoção. Um exemplo de valor é caminhar para oatributo locomoção.2.3.4 Lógica de predicadosA representação lógica inclui a lógica matemática, que possui várias regras de dedução,o qual se refere ao comportamento de qualquer programa de computador que realizainferências a partir das leis da lógica. (Rezende, 2003).A lógica de predicados possui:- um conjunto de sentenças declarativas a respeito de objetos em si, os predicados;