Refining the Notion of Effort
暂无分享,去创建一个
The aim of this paper is to incorporate a qualitative approach to measurement into the more general concept of effort. The fundamental idea to achieve this goal is to assign suitable modalities to the methods of measurement being available to an agent. The knowledge of the agent changes, in fact, generally increases by applying such methods. Thus, the system should be able to describe this change of knowledge as well. We develop an appropriate logic, show that it satisfies some of the fundamental properties that are desirable at any rate, and discuss possible extensions.
[1] Mark Ryan,et al. Ideal Agents Sharing (some!) Knowledge , 1998, ECAI.
[2] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[3] Lawrence S. Moss,et al. Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..
[4] R. Goldblatt. Logics of Time and Computation , 1987 .