57 resultados para Consequence operator

em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast


Relevância:

60.00% 60.00%

Publicador:

Resumo:

Fuzzy answer set programming (FASP) is a generalization of answer set programming to continuous domains. As it can not readily take uncertainty into account, however, FASP is not suitable as a basis for approximate reasoning and cannot easily be used to derive conclusions from imprecise information. To cope with this, we propose an extension of FASP based on possibility theory. The resulting framework allows us to reason about uncertain information in continuous domains, and thus also about information that is imprecise or vague. We propose a syntactic procedure, based on an immediate consequence operator, and provide a characterization in terms of minimal models, which allows us to straightforwardly implement our framework using existing FASP solvers.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Power deposition in the head of a user wearing metal-framed spectacles was calculated with a 450 MHz personal radio transmitting in close proximity. Peak tissue SAR in the head depended on lens shape whether circular half-rim or rectangular with 70 and 174% increases, respectively, compared to the spectacle-free case. However, localised screening occurred with square frames, with a 40% reduction of peak SAR in the eye closest to the antenna.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Asymptotic estimates of the norms of orbits of certain operators that commute with the classical Volterra operator V acting on L-P[0,1], with 1 0, but also to operators of the form phi (V), where phi is a holomorphic function at zero. The method to obtain the estimates is based on the fact that the Riemann-Liouville operator as well as the Volterra operator can be related to the Levin-Pfluger theory of holomorphic functions of completely regular growth. Different methods, such as the Denjoy-Carleman theorem, are needed to analyze the behavior of the orbits of I - cV, where c > 0. The results are applied to the study of cyclic properties of phi (V), where phi is a holomorphic function at 0.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is remarkable how the classical Volterra integral operator, which was one of the first operators which attracted mathematicians' attention, is still worth of being studied. In this essentially survey work, by collecting some of the very recent results related to the Volterra operator, we show that there are new (and not so new) concepts that are becoming known only at the present days. Discovering whether the Volterra operator satisfies or not a given operator property leads to new methods and ideas that are useful in the setting of Concrete Operator Theory as well as the one of General Operator Theory. In particular, a wide variety of techniques like summability kernels, theory of entire functions, Gaussian cylindrical measures, approximation theory, Laguerre and Legendre polynomials are needed to analyze different properties of the Volterra operator. We also include a characterization of the commutator of the Volterra operator acting on L-P[0, 1], 1