Johan W. Klüwer's research while affiliated with University of Oslo and other places
What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
Publications (4)
A new logic of belief (in the "only knowing" family) with confidence levels is presented. The logic allows a natural distinction between explicit and implicit belief representations, where the explicit form directly expresses its models. The explicit form can be found by applying a set of equivalence preserving rewriting rules to the implicit form....
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure implicit in a trust relation can be made fully explicit by means of a lattice and how a system of default expectations arises from a systematic interpretation. The default...
We present a framework for reasoning about trustworthiness, with application to conflict resolution and belief formation at various de- grees of reliability. On the basis of an assignment of relative trustworthi- ness to sets of information sources, a lattice of degrees of trustworthiness is constructed; from this, a priority structure is derived a...
We present a new approach to the logic of at most, intro- ducing the notion of parametric propositions to modal natural deduction proofs. We apply the method with a natural deduction formulation of the doxastic logic NÆ, a new system in the "only knowing" family. Using parametric proof rules, we give introduction and elimination rules for belief at...
Citations
... This can also be beneficial for modeling the relative nature of trust. Relative trust models (Hoogendoorn et al. 2008(Hoogendoorn et al. , 2011Klüwer and Waaler 2006) do not evaluate the trustee candidates in isolation and take into account the comparative context of trust decision making. The one-by-one comparative nature of the analytic hierarchy process (AHP) will let us compare the candidates in a relative manner. ...
... Another challenge facing the computational trust models is the approach for modeling the trust state. Many trust models assume that trust and distrust are separate constructs (Verbiest et al. 2012;DuBois et al. 2011;Klüwer and Waaler 2006) or they assume that distrust means the lack of trust. These assumptions are not consistent with the definitions of trust provided by well-known trust researchers as discussed in the previous section. ...
... One way of motivating only-knowing logics is through their intended application to nonmonotonic reasoning. Although only-knowing logics have successfully been used to represent autoepistemic and default logics [14] [11] [21] [15], the only-knowing logic addressed in this paper primarily relates to propositional autoepistemic logic, the simplest case in point. Let us, before we motivate and explain the contribution of this paper, briefly summarize autoepistemic logic and the way it is reflected in only-knowing logic. ...
