Representing CK theory with an action logic

Proceedings ICED 05, the 15th International Conference on Engineering Design

Volumn DS 35, Issue , 2005, Pages

  Salustri, Filippo A ^a  

^a RYERSON UNIVERSITY   (Canada)

Author keywords

Action logic; CK theory; Design theory; Formal system

Indexed keywords

ACTION LOGIC; CK THEORY; DESIGN ACTIVITY; DESIGN THEORY; FORMAL SYSTEMS; TRADE-OFF DESIGN;

KNOWLEDGE BASED SYSTEMS;

DESIGN;

EID: 84862610704     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. A. Hatchuel and B. Weil. 2003. A new approach of innovative design: an introduction to C-K theory. Proc ICED, paper #1794.
2. A.O. Kazakci and A. Tsoukias. 2004. Extending the CK design theory to provide theoretical background for personal design assistants. Proc Design 2004, pages 45-52.
3. F.A. Salustri. 2003. Towards an action logic for design processes. Proc ICED, paper #1051.
4. Z. Huang. 1994. Logics for agents with bounded rationality. PhD Thesis, University of Amsterdam.
5. H.A. Simon. 1981. The Sciences of the Artificial. The MIT Press, Cambridge, Mass.
6. V. Akman and M. Surav. 1996. Steps toward Formalizing Context. AI Magazine, 17(3):55-72.
7. R.J. Brachman, D.L. McGuinness, P.F. Patel-Schneider and L.A. Resnick. 1991. LIVING WITH CLASSIC: When and How to Use a KL-ONE-Like Language. In Principles of Semantic Networks: Explorations in the Representation of Knowledge (ed. John F. Sowa); Morgan Kaufmann Publishers, Inc., San Mateo; pages 401-456.
8. J.S. Gero. 2004. Situated design computing: Introduction and implications, in D. Marjanovic (ed), DESIGN 2004, The Design Society, Glasgow, pages 27-36.
9. M.J. French. 1992. The Opportunistic Route and the Role of Design Principles. Research in Engineering Design, 4(3):185-190.
10. A. Hatchuel, P. Le Masson, and B. Weil. 2004. CK theory in practice: lessons from industrial applications. Intl Design Conference, pages 245-257.