Abstract
Design tasks typically deal with incomplete information and involve flexible reasoning patterns for which sophisticated control strategies are needed. As a result, the reasoning patterns are highly dynamic and non-monotonic. The logical framework introduced provides formal semantics of state descriptions of design processes based on (compositional) partial models and formal semantics of the reasoning behaviour based on (compositional) partial temporal models.
Chapter PDF
References
Blarney, S.: 1986, Partial logic, in D. Gabbay and F. Günthner (eds), Handbook of Philosophical Logic, Reidel, Dordrecht, III, pp. 1–70.
Brazier, F. M. T., Langen, P. H. G. van, Ruttkay, Zs., and Treur, J.: 1994, On formal specification of design tasks, in J. S. Gero and F. Sudweeks (eds), Proceedings Artificial Intelligence in Design’94, Kluwer, Dordrecht, pp. 535–552.
Brazier, F. M. T., Langen, P. H. G. van, Treur, J., Wijngaards, N. J. E., and Willems, M.: 1994, Modelling a design task in DESIRE: The VT example, Technical Report IR-377, Artificial Intelligence Group, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. Also in A. Th. Schreiber and W. Birmingham (eds) (1995),International Journal on Human-Computer Studies, Special Issue on Sisyphus.
Brown, D. C. and Chandrasekaran, B.: 1989, Design Problem Solving: Knowledge Structures and Control Strategies, Pitman, London.
Brumsen, H. A., Pannekeet, J. H. M., and Treur, J.: 1992, A compositional knowledge-based architecture modelling process aspects of design tasks, Proceedings of the Twelfth International Conference on Artificial Intelligence, Expert Systems and Natural Language (Avignon-92) EC2, Nanterre, Vol. 1, pp. 283–294.
Console, L., and Torasso, P.: 1990, Hypothetical reasoning in causal models, International Journal of Intelligent Systems, 5 (1), 83–124.
Coyne, R. D.: 1988, Logic Models of Design, Pitman, London.
Engelfriet, J. and Treur, J.: 1994, Temporal theories of reasoning,Proceedings of the Fourth European Workshop on Logics in Artificial Intelligence (JELIA’94).Springer-Verlag, Berlin.
French, R. and Mostow, J.: 1985, Toward better models of the design process, AI Magazine, 6 (1), 44–57.
Gavrila, I. S. and Treur, J.: 1994, A formal model for the dynamics of compositional reasoning systems in A. G. Cohn (ed.) Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI ’94); John Wiley, Chichester, pp. 307–311.
Geelen, P. A. and Kowalczyk, W.: 1992, A knowledge-based system for the routing of international blank payment orders Proceedings Twelfth International Conference on Artificial Intelligence, Expert Systems and Natural Language (Avignon-92) EC2, Nanterre, Vol. 2, pp. 669–677.
Langen, P. H. G. van, and Treur, J.: 1989, Representing World Situations and Information States by Many-Sorted Partial Models, Technical Report PE8904, Programming Research Group, Department of Mathematics and Computer Science, University of Amsterdam, Amsterdam.
Langholm, T.: 1988, Partiality, Truth and Persistence, CSLI Lecture Notes No. 15, Stanford University, Stanford, CA.
Logan, B. S., Corne, D. W., and Smithers, T.: 1992, Enduring support: on defeasible reasoning in design support systems in J. S. Gero (ed.) 92Artificial Intelligence in Design.Kluwer, Dordrecht, pp. 433–454.
Reiter, R.: 1987, A theory of diagnosis from first principles, Artificial Intelligence, 32, 5795.
Takeda, H., Veerkamp, P. J., Tomiyama, T. and Yoshikawa, H.: 1990, Modelling design processes, AI Magazine, 11 (4), 37–48.
Tomiyama, T. and Yoshikawa, H.: 1987, Extended general design theory in H. Yoshikawa and E. A. Warman (eds) Proceedings IFIP WG 5.2 Working Conference on Design Theory for CAD, North-Holland, Amsterdam, pp. 95–125.
Treur, J.: 1991, A logical framework for design processes in P. J. W. ten Hagen and P. J. Veerkamp (eds) Intelligent CAD Systems III Proceedings of the Third Eurographics Workshop on Intelligent CAD Systems, Springer-Verlag, Berlin, pp. 3–20.
Treur, J.: 1994, Temporal semantics of meta-level architectures for dynamic control of reasoning Proceedings of the Fourth International Workshop on Meta-Programming in Logic (META ‘84),Springer-Verlag, Berlin, Lecture Notes in Computer Science 883.
Treur, J., and Willems, M.: 1994a, A logical foundation for verification in A. G. Cohn (ed.) Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI ’94),John Wiley, Chichester, pp. 745–749.
Treur, J., and Willems, M.: 1994b, On verification in compositional knowledge-based systems in A. Preece (ed.) Proceedings of the ECAI ’94 Workshop on Validation of Knowledge-Based Systems, Amsterdam, pp. 4–20. Also: Formal notions for verification of dynamics of knowledge-based systems in M.-C. Rousset and M. Ayel (eds.) (1995) Proceedings of the European Symposium on Validation and Verification of KBSs (EUROVAV ’95), Chambéry.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Brazier, F., Van Langen, P., Treur, J. (1996). A Logical Theory of Design. In: Gero, J.S., Sudweeks, F. (eds) Advances in Formal Design Methods for CAD. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34925-1_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-34925-1_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4428-6
Online ISBN: 978-0-387-34925-1
eBook Packages: Springer Book Archive