Updates with disjunctive information: From syntactical and semantical perspectives

Computational Intelligence

Volumn 16, Issue 1, 2000, Pages 29-52

  Zhang, Yan ^a   Foo, Norman Y ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DISJUNCTIVE INFORMATION; KNOWLEDGE BASE UPDATES; MAXIMAL DISJUNCTIVE INCLUSIONS; MINIMAL CHANGE;

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

KNOWLEDGE BASED SYSTEMS;

EID: 0033877148     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00104     Document Type: Article

References (30)

1. BREWKA, G., and J. HERTZBERG. 1993. How do things with worlds: On formalizing actions and plans. Journal of Logic and Computation, 3:517-532.
2. CHOU, T. S-C., and M. WINSLETT. 1991. Immortal: a model-based belief revision system. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Morgan Kaufmann, Inc., San Mateo, CA, pp. 99-110.
3. CORDIER, M-O., and P. SIEGEL. 1992. A temporal revision model for reasoning about world change. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Morgan Kaufmann, Inc., San Mateo, CA, pp. 732-739.
4. DALAL, M. 1988. Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88). Morgan Kaufmann, Inc., San Mateo, CA, pp. 475-479.
5. DE KLEER, J. 1992. An improved incremental algorithm for generating prime implicates. In Proceedings of the 10th National Conference on Artificial Intelligence (AAAI-92). AAAI Press, pp. 780-785.
6. DEL VAL, A. 1994. Tractable databases: How to make propositional unit resolution complete through compilation. In Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Morgan Kaufmann, Inc., San Mateo, CA.
7. EITER, T., G. GOTTLOB, and Y. GUREVICH. 1993. Curb your theory! A circumscriptive approach for inclusive interpretation of disjunctive information. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93). Morgan Kaufmann, Inc., San Mateo, CA, pp. 634-639.
8. GARDENFORS, P. 1988. Knowledge in Flux. MIT Press, Cambridge, MA.
9. HERZIG, A. 1996. The PMA revisited. In Proceedings of KR'96. Morgan Kaufmann, Inc., San Mateo, CA.
10. HERZIG, A., and O. RIFI. 1998. Update operations: A review. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). John Wiley & Sons, New York, pp. 13-17.
11. JACKSON, P. 1992. Computing prime implicates incrementally. In Proceedings of 11th International Conference on Automated Deduction (CADE-92). Springer-Verlag, New York, pp. 253-267.
12. KARTHA, G. N., and V. LIFSCHITZ. 1994. Actions with indirect effects. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Morgan Kaufmann, Inc., San Mateo, CA, pp. 341-350.
13. KATSUNO, H., and A. O. MENDELZON. 1991a. On the difference between updating a knowledge database and revising it. In Proceedings of Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Morgan Kaufmann, Inc., San Mateo, CA, pp. 387-394.
14. KATSUNO, H., and A. O. MENDELZON. 1991b. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263-294.
15. LIBERATORE, P. 1997. The complexity of belief update. In Proceedings of 15th International Joint Conference on Artificial Intelligence (IJCAI'97). Morgan Kaufmann, Inc., San Mateo, CA, pp. 68-73.
16. LIFSCHITZ, V. 1990. Frames in the space of situations. Artificial Intelligence, 46:365-376.
17. LIN, F. 1995. Embracing causality in specifying the indirect effects of actions. In Proceedings of 14th International Joint Conference on Artificial Intelligence (IJCAI'95). Morgan Kaufmann, Inc., San Mateo, CA, pp. 1985-1993.
18. LIN, F. 1996. Embracing causality in specifying the effects of indeterminate actions. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96). AAAI Press, Menlo Park, CA.
19. MARQUIS, P. 1994. Possible models approach via independency. In Proceedings of the 11th European Conference on Artificial Intelligence (ECAI'94), pp. 336-340.
20. MCCAIN, N., and H. TURNER. 1995. A causal theory of ramifications and qualifications. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95). Morgan Kaufmann, Inc., San Mateo, CA, pp. 1987-1984.
21. NGAIR, T. 1993. A new algorithm for incremental prime implicate generation. In Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93). Morgan Kaufmann, Inc., San Mateo, CA, pp. 46-51.
22. PEPPAS, P. 1996. PMA epistemic entrenchment: the general case. In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), pp. 85-89.
23. REITER, R., and J. DE KLEER. 1987. Foundations of assumption-based truth maintenance systems. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87). Morgan Kaufmann, Inc., San Mateo, CA, pp. 183-188.
24. WINSLETT, M. 1988. Reasoning about action using a possible models approach. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88). Morgan Kaufmann, Inc., San Mateo, CA, pp. 89-93.
25. WINSLETT, M. 1990. Updating Logical Databases. MIT Press, Cambridge, MA.
26. ZHANG, Y. 1995. On propositional knowledge base updates. Australian Journal of Intelligence Information Processing Systems, 2:28-37.
27. ZHANG, Y. 1999. Specifying causality in action theories. Theoretical Computer Science, 220:489-513.
28. ZHANG, Y., and N. Y. FOO. 1993. Reasoning about persistence: A theory of actions. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93). Morgan Kaufmann, Inc., San Mateo, CA, pp. 718-723.
29. ZHANG, Y., and N. Y. FOO. 1995. Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence, 14:75-98.
30. ZHANG, Y., and N. Y. FOO. 1996. Updating knowledge bases with disjunctive information. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96). AAAI/MIT Press, Cambridge, MA, pp. 562-568.