Using Set Operations to Deal with the Frame Problem
This paper presents a simple approach to the so-called frame problem based on some ordinary set operations, which does not require non-monotonic reasoning. Following the notion of the situation calculus, we shall represent a state of the world as a set of fluents, where a fluent is simply a Boolean-valued property whose truth-value is dependent on the time. High-level causal laws are characterised in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law, which guarantees that all the fluents that can be affected by the performance of the corresponding action are always totally governed. It is shown that, compared with other techniques, such a set operation based approach provides a simpler and more effective treatment to the frame problem.
Knowledge representation computational intelligence.
Jixin Ma Brian Knight
School of Computing and Mathematical Sciences The University of Greenwich, London SE10 9LS, U.K.
国际会议
Firth IEEE International Conference on Cognitive Informatics(第五届认知信息国际会议)
北京
英文
447-452
2006-07-17（万方平台首次上网日期，不代表论文的发表时间）