Using set operations to deal with the frame problem
Ma, Jixin and Knight, Brian (2006) Using set operations to deal with the frame problem. In: Yao, Yiyu, (ed.) Proceedings of the Fifth IEEE International Conference on Cognitive Informatics. IEEE Computer Society, Los Alamitos, CA, USA, pp. 447-452. ISBN 1424404754 (doi:10.1109/COGINF.2006.365530)Full text not available from this repository.
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.
|Item Type:||Book Section|
|Additional Information:||Presented at 5th IEEE International Conference on Cognitive Informatics (ICCI 2006). Beijing, Peoples Republic of China, Jul 17-19, 2006.|
|Uncontrolled Keywords:||knowledge representation, computational intelligence|
|Subjects:||Q Science > QA Mathematics|
|Pre-2014 Departments:||School of Computing & Mathematical Sciences
School of Computing & Mathematical Sciences > Computer & Computational Science Research Group
School of Computing & Mathematical Sciences > Department of Computer Science
|Last Modified:||14 Oct 2016 09:02|
Actions (login required)