BDBComp
Parceria:
SBC
Towards a Natural Way of Reasoning

José Carlos Loureiro RalhaCélia Ghedini Ralha

It is well known that traditional quantifiers forall and $\exists$ are not suitable for expressing common sense rules such as 'birds fly'. This sentence expresses the defeasible idea that 'most birds fly,' and not 'all birds fly'. Another defeasible rule is exemplified by 'many Americans like American football'. Noun phrases such as 'most birds, many birds,' or even 'some birds' are recognized by semanticists as natural language generalized quantifiers. From a non-monotonic reasoning perspective, one can divide the class of linguistic generalized quantifiers into two categories. The first partition includes categorical quantifiers such as 'all birds'. The other one includes the defeasible quantifiers such as 'most birds' and 'many birds'. It is clear that the semantics of defeasible quantifiers leaves room for exceptions. The exceptional elements licensed by defeasible generalized quantifiers are usually the 'non flying birds' that non-monotonic logics deal with.

http://springerlink.metapress.com/content/83kkhn4wb87m7e03/?p=b6342bafe88646658ec368e012180b83&p

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD