Page: 1 2 3 4 5 6 7 8 9... 14
| 83 |
Compte rendu de l'ouvrage de Xavier-Laurent Salvador : Vérité et écritures
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00422029 ; 2008 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 84 |
Compositional Belief Update
|
|
|
|
Abstract:
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentence's structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge base. While this operator satisfies a core group of the benchmark Katsuno-Mendelzon update postulates, not all of the postulates are satisfied. Other Katsuno-Mendelzon postulates can be obtained by suitably restricting the syntactic form of the sentence for update, as we show. In restricting the syntactic form of the sentence for update, we also obtain a hierarchy of update operators with Winslett's standard semantics as the most basic interesting approach captured. We subsequently give an algorithm which captures this approach; in the general case the algorithm is exponential, but with some not-unreasonable assumptions we obtain an algorithm that is linear in the size of the knowledge base. Hence the resulting approach has much better complexity characteristics than other operators in some situations. We also explore other compositional belief change operators: erasure is developed as a dual operator to update; we show that a forget operator is definable in terms of update; and we give a definition of the compositional revision operator. We obtain that compositional revision, under the most natural definition, yields the Satoh revision operator.
|
|
Keyword:
Constraints; Contraction; Knowledge Bases
|
|
URL: https://era.library.ualberta.ca/items/482f8327-abd4-4871-b07c-f9eb529779f9
https://doi.org/10.7939/R3377690C
|
|
BASE
|
|
Hide details
|
|
|
| 85 |
Estudo eletromiográfico do padrão de contração muscular da face de adultos ; Electromyographic study of muscular contraction patterns in adults
|
|
|
|
BASE
|
|
Show details
|
|
|
| 86 |
Treinamento muscular na face: a prática dos fonoaudiólogos de Belo Horizonte Facial muscular training: the practice of speech-language pathologists from Belo Horizonte
|
|
|
|
In: Revista da Sociedade Brasileira de Fonoaudiologia, Vol 13, Iss 2, Pp 127-135 (2008) (2008)
|
|
BASE
|
|
Show details
|
|
|
| 91 |
Syllable Contraction in Cantonese A-not-A Constructions: An Optimality Account
|
|
|
|
BASE
|
|
Show details
|
|
|
| 97 |
Anti-Homophony Blocking and its Productivity in Transparadigmatic Relations
|
|
|
|
BASE
|
|
Show details
|
|
|
Page: 1 2 3 4 5 6 7 8 9... 14 |
|
