Matches in SemOpenAlex for { <https://semopenalex.org/work/W2558410058> ?p ?o ?g. }
Showing items 1 to 30 of
30
with 100 items per page.
- W2558410058 abstract "La revision de creencias es un area central en la representacion de conocimiento y en el procesamiento de razonamiento automatico. Consideraremos una base inicial de conocimiento K y una nueva informacion φ, ambas codificadas en forma normal conjuntiva (FC). Presentamos aqui, un algoritmo novedoso, determinista y correcto para la revision de creencias de φ en K. Denotamos nuestro operador de revision como: K 0 = K ◦ φ. Proponemos un nuevo operador binario logico Ind entre formas conjuntivas, y tal que Ind(φ,K) construye tambien una nueva forma conjuntiva. El operador Ind(φ,K) trabaja construyendo clausulas independientes con las clausulas de K, y las asignaciones falsificantes de la formula resultante cubren exactamente el espacio de asignaciones de Fals(φ) − Fals(K), lo que es esencial para realizar el proceso de revision de creencias K 0 = K ◦ φ, y donde K 0 |= φ. Ademas de que nuestra propuesta satisface los postulados KM. Presentamos tambien la demostracion de que nuestro algoritmo de revision de creencias es correcto, y su analisis de complejidad en tiempo." @default.
- W2558410058 created "2016-12-08" @default.
- W2558410058 creator A5004644462 @default.
- W2558410058 creator A5037663414 @default.
- W2558410058 creator A5082833129 @default.
- W2558410058 date "2017-09-29" @default.
- W2558410058 modified "2023-09-27" @default.
- W2558410058 title "Model-based Algorithm for Belief Revisions between Normal Conjunctive Forms" @default.
- W2558410058 doi "https://doi.org/10.13053/cys-21-3-2442" @default.
- W2558410058 hasPublicationYear "2017" @default.
- W2558410058 type Work @default.
- W2558410058 sameAs 2558410058 @default.
- W2558410058 citedByCount "0" @default.
- W2558410058 crossrefType "journal-article" @default.
- W2558410058 hasAuthorship W2558410058A5004644462 @default.
- W2558410058 hasAuthorship W2558410058A5037663414 @default.
- W2558410058 hasAuthorship W2558410058A5082833129 @default.
- W2558410058 hasConcept C121332964 @default.
- W2558410058 hasConcept C138885662 @default.
- W2558410058 hasConcept C15708023 @default.
- W2558410058 hasConceptScore W2558410058C121332964 @default.
- W2558410058 hasConceptScore W2558410058C138885662 @default.
- W2558410058 hasConceptScore W2558410058C15708023 @default.
- W2558410058 hasLocation W25584100581 @default.
- W2558410058 hasOpenAccess W2558410058 @default.
- W2558410058 hasPrimaryLocation W25584100581 @default.
- W2558410058 isParatext "false" @default.
- W2558410058 isRetracted "false" @default.
- W2558410058 magId "2558410058" @default.
- W2558410058 workType "article" @default.