Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247125551> ?p ?o ?g. }
Showing items 1 to 25 of
25
with 100 items per page.
- W2247125551 abstract "As logicas nao-monotonicas podem ser classificadas, segundo as conclusoes que podem ser obtidas, em fracas ou fortes. As logicas fortes, entre as quais se incluem sistemas naomonotonicos classicos [Reiter, 80] [McCarthy,80] [Moore, 85] [Marek e Truszczynski, 91], permitem conclusoes nao desejaveis, deixando de tratar aspectos como, por exemplo, especificidade. Logicas nao-monotonicas fracas, como as condicionais [Delgrande, 87] [Boutilier, 94], nao permitem algumas conclusoes desejaveis, como as que tratam de irrelevância e heranca de propriedades, por exemplo. Esta tese apresenta a semântica da Logica Condicional Forte (LCF), que atende as caracteristicas gerais da relacao de consequencia nao-monotonica preferencial [Kraus et aI, 90], suportadas pelas logicas condicionais, mas que, alem disso, tambem lida com outros modos de raciocinio (irrelevância, heranca e ambiguidade) nao tratados por tais logicas. A definicao da semântica do condicional e mais resttitiva e, alem disso, diferentemente de enfoques recentes, que procuram fortalecer logicas ja existentes atraves de filtros sobre o conjunto de modelos, e proposto um metodo para a construcao dos modelos a partir de. informacao local (obtida dos condicionais individualmente) e global (obtida dos condicionais conjuntamente) extraidas diretamente da base de conhecimento Abstract" @default.
- W2247125551 created "2016-06-24" @default.
- W2247125551 creator A5002484344 @default.
- W2247125551 creator A5070055601 @default.
- W2247125551 date "1997-12-22" @default.
- W2247125551 modified "2023-09-22" @default.
- W2247125551 title "Logica condicional forte" @default.
- W2247125551 hasPublicationYear "1997" @default.
- W2247125551 type Work @default.
- W2247125551 sameAs 2247125551 @default.
- W2247125551 citedByCount "0" @default.
- W2247125551 crossrefType "dissertation" @default.
- W2247125551 hasAuthorship W2247125551A5002484344 @default.
- W2247125551 hasAuthorship W2247125551A5070055601 @default.
- W2247125551 hasConcept C138885662 @default.
- W2247125551 hasConcept C15708023 @default.
- W2247125551 hasConceptScore W2247125551C138885662 @default.
- W2247125551 hasConceptScore W2247125551C15708023 @default.
- W2247125551 hasLocation W22471255511 @default.
- W2247125551 hasOpenAccess W2247125551 @default.
- W2247125551 hasPrimaryLocation W22471255511 @default.
- W2247125551 isParatext "false" @default.
- W2247125551 isRetracted "false" @default.
- W2247125551 magId "2247125551" @default.
- W2247125551 workType "dissertation" @default.