Revisión de creencias en bases de conocimiento Horn y su complejidad computacional
Esta línea de investigación tiene como objetivo, dentro del marco de la teoría de cambio de creencias, la profundización del estudio de los operadores de cambio múltiple donde la lógica subyacente está conforma da por cláusulas Horn. Se analizan los resultados alcanzados de estos operadores a los qu...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/61519 |
| Aporte de: |
| Sumario: | Esta línea de investigación tiene como objetivo, dentro del marco de la teoría de cambio de creencias, la profundización del estudio de los operadores de cambio múltiple donde la lógica subyacente está conforma da por cláusulas Horn. Se analizan los resultados alcanzados de estos operadores a los que hemos denominado revisión múltiple priorizada Horn: Partial Meet y Kernel en bases de creencias. Además, se estudian otros resultados presentados sobre operadores de revisión muúltiple no-priorizada, de manera tal de posibilitar la extensión de estos operadores también bajo fragmento Horn.
Así también, nos enfocamos en los aspectos computacionales de estas construcciones, donde estudiamos el problema de la complejidad computacional que presentan estos esquemas de revisión de creencias y que dificultan lograr su tratabilidad. |
|---|