Dynamic agent-oriented reasoning about belief and trust

摘要

Abstract. The newly envisioned Semantic Web contains as a component what may be called a Web of Trust, consistingnof the trust relationships held between its participants. In terms of this, the degree to which participant A believes what isnbelieved by participant B depends on the degree to which A trusts B. This paper presents a formal language with well-definednsemantics within which such a participant (or agent) can express the relevant conditions of belief and trust, and outlines somenkey techniques for reasoning with these expressions. Novel in this treatment is the use of linguistic, rather than numeric,nmeasures of belief. The aim in this is to make the language and reasoning system more intuitive for the human user. Also novelnis an explicit delineation of the context within which the language and reasoning techniques are to be applied. The notion of andynamic reasoning system is applied to model the agent’s knowledge acquisition and belief revision processes as activities thatntake place in time.