Alchorron, C., Gardenfors, P. and Makinson, D., On the logic of theory change: Partial meet contraction and revision functions, J. of Symbolic Logic, 50:2, 1985, 510 -- 530 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Knowledge-Based Situated Agents among Us - Li, Pereira (1997) (1 citation) (Correct)
....the controller is satisfied. 8 Knowledge Assimilation In addition to physical actions by its effectors, our SICLE agent can assimilate new knowledge which is acquired by its sensors. There have been many proposals for knowledge assimilation or belief revision and update, e.g. the AGM theory [1], syntax based approaches [6, 13] and semantics based approaches [21] In SICLE, our situated agents adopt a divide and conquer strategy to knowledge assimilation. First, all predicates and fluents are classified into following categories: i) Fluents that can be changed only by the agent itself; ....
Alchorron, C., Gardenfors, P. and Makinson, D., On the logic of theory change: Partial meet contraction and revision functions, J. of Symbolic Logic, 50:2, 1985, 510 -- 530
On the Dynamics of Learner Models - Paiva, Self, Hartley (1994) (3 citations) (Correct)
....to be eliminated from the model and B l P lanet(Moon) included in the model. Expansions and updates do not create many computational difficulties to a learner modeling system, but revisions bring some extra 5 These changes are named accordingly to the Alchourron, Makinson and Gardenfors theory [2] [3] Cognitive Modelling 164 A. Paiva, J. Self and R. Hartley tasks to be performed. In order for the system to revise the facts in the model, it has to keep track of all the justifications for all the facts included in such a model and consequently it needs an extra component to maintain those ....
P. Gardenfors C. Alchourron and D. Makinson, `On the logic of theory change: partial meet contraction and revision functions', Journal of Symbolic Logic, (50(2)), 510--530, (1985).
How Compatiable Are Belief Revision and Mixed Initiative.. - Eklund, Nowak (Correct)
....generally considered the major hurdle for mixed dialogue systems. Despite significant recent efforts in multi media, the communication problem 3 endures. 2 Mixed Initiative Dialogue Mature theories of epistemics provide a mechanism for the internalization of knowledge states, see Gardenfors[Gar88, CAM85], Ellis [Ell79] Konolige [Kon86] Forrest [For86] Halpern [Hal85, HF92, Hal92] Shoham [SM89] The difficulty applying these approaches in any practical sense is that the physical exchange of intentions between agents is difficult to capture in practice. Even in limited discourse domains, ....
P. Gardenfors C. Alchourron and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of symbolic logic, pages 510--530, 1985.
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