Williams, M. (1992) Two Operators for Theory Base Change, Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence, pp. 259-265. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reasoning about Beliefs: An Inference Network Approach - Low (1994) (Correct)
....its logical closure definition, and the epistemic entrenchment ordering of beliefs after a belief revision operation cannot be determined by the theory. These issues have been taken up by researchers such as proposals for entrenchment on finite bases of belief revision [Nebel, 1989; Doyle, 1991; Williams, 1992; Nayak, 1994] Other related studies on dynamic belief changes include belief updates [Katsuno and Medelzon, 1989] and expectation theory [G ardenfors, 1991; Gardenfors and Makinson, 1994] 1.1.5 Neural Logic Network Neural networks have been studied mainly for pattern processing and learning ....
....change operators than the AGM logic. Although the belief revision operations in AGM logic are well defined, they do not give unique entrenchment orderings after each operation. In fact, they do not suggest any entrenchment ordering. Proposals such as the conservative entrenchment ordering [Williams, 1992; Dixon and Wobcke, 1993] have been made during the last few years to overcome this problem. In a NLBN, the belief orderings that are not affected by the operation are always preserved and a unique ordering is always obtainable. The possibility of infinite beliefs in the belief sets and the ....
Mary-Anne Williams. Two operators for theory base change. In Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence, pages 259--265, Hobart, Tasmania, 1992. 194
How Compatiable Are Belief Revision and Mixed Initiative.. - Eklund, Nowak (Correct)
....the idea is to include in a base theory all statements occupying a lower epistemic entrenchment than that being retracted and then find the deductive closure of the base theory. This process generates an ensconcement which is a partial order on explicit statements in the base theory. Williams[Wil92] indicates a mechanism for defining base theory contraction functions which given Cn( Gamma) contracted by ff recovers the base theory Gamma Psi ff . An ensconcement can thus capture the essence of an epistemic entrenchment ordering at lower overhead cost. How is an enscouncement defined ....
M. Williams. Two operators for theory base change. In A. Adams and L. Sterling, editors, Proceeding of the 5th Australian Joint Conference on Artificial Intelligence, pages 259-- 265. World Scientific, 1992.
The Implementation of a First-Order Logic AGM Belief Revision.. - Simon Dixon And (1993) (6 citations) (Correct)
No context found.
Williams, M. (1992) Two Operators for Theory Base Change, Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence, pp. 259-265.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC