A framework for reasoning about requirements evolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1114, Issue , 1996, Pages 157-168

  Zowghi, Didar ^a   Ghose, Aditya K ^b   Peppas, Pavlos ^a  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

AI applications in software engineering; Belief revision; Default reasoning

Indexed keywords

EID: 84939130393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61532-6_14     Document Type: Conference Paper

References (16)

1. C. Alchourón, P. Gärdenfors and D. Makinsom On the logic of theory change: partial meet contraction and revision functions. J. of Symbolic Logic, 50:510-530, 1985.
2. J. Allen. Towards a general model of action and time. Artificial Intelligence, 23(2), 1984.
3. G. Brewka. Belief revision in a framework for default reasoning. In Proc. of the Konstanz Workshop on Belief Revision, 1989.
4. P. Gärdenfors Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988.
5. P. Gärdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proc. of TARK'88, 1988.
6. A. Ghose. Practical belief change. PhD thesis, Dept of Computing Science, University of Alberta, 1995.
7. A. Ghose, P. I-Iadjinian, A. Sattar, J.-g. You, and R. Goebel. Iterated belief change. Technical Report TR93-05, University of Alberta, Dept. of Computing Science, 1993.
8. A. Ghose, P. Hadjinian, A. Sattar, J.-H. You, and R. Goebel. Iterated belief change: A preliminary report. In Proc. of AI'93, 1993.
9. A. Ghose, A. Sattar, and R. Goebel. Pragmatic belief change: Computational efficiency and approximability. In Proc. of the Workshop on Belief Revision, 1993. Held in conjunction with AI'93.
10. Isaac Levi. Subjunctives, dispositions and chances. Synthese, 34:423-455, 1977.
11. J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing knowledge about information systems. A CM Transactions on Information Systems, 8(4), 1990.
12. B. Nebel. Belief revision and default reasoning: Syntax-based approaches. In Proc. of KR'91, 1991.
13. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
14. D. Poole, R. Goebel, and R. Aleliunas. Theorist: a logical reasoning system for defaults and diagnosis. In The Knowledge Frontier: Essays in the Representation of Knowledge, Springer Verlag, 1987.
15. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 1980.
16. C. Rich and Y. Feldman. Seven layers of knowledge representation and reasoning in support of software development. In IEEE Trans. on Soft.ware Engg., 18, 1992