Abstract
CK theory is an interesting and unique theory of engineering design. This paper introduces ALX3d, a formal descriptive version of CK based on the action logic ALX3, which is able to represent aspects of the actions, preferences, beliefs, and knowledge of collaborating, imperfect agents (such as human designers). It is shown that all the basic notions of CK can be rendered in the logic of ALX3d with only one relatively minor change in how the CK terms concept and knowledge are defined and related. A case study of CK is used to show how ALX3d can also be used to describe some “real-world” situations. The advantages of ALX3d are that they recast CK in a form more readily understood by those accustomed to expert, knowledge-based, and formal systems; provide a “scientific” vehicle for reasoning about the design activities it can describe; and define a possible basis for the development of new, computer-based designers’ aids.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Hatchuel A, Weil B (2009) CK design theory: an advanced formulation. Res Eng Design 19(4):181–192
Kazakci AO, Tsoukias A (2004) Extending the CK design theory to provide theoretical background for personal design assistants. In: Marjanovic D (ed), Design 2004, pp 45–52
Salustri FA (2003) Towards an action logic for design processes. In: Proceedings of international conference on engineering design, paper #1051
Huang Z (1994) Logics for agents with bounded rationality. Ph.D. thesis, University of Amsterdam
Simon HA (1981) The Sciences of the Artificial. The MIT Press, Cambridge, Mass
Copi IM (1979) Symbolic logic, 5/e. Prentice-Hall, Englewood Cliffs, NJ
Brachman RJ, McGuinness DL, Patel-Schneider PF, Resnick LA (1991) Living with a classic: when and how to use a KL-ONE-like language. In: Sowa JF (ed) Principles of semantic networks: explorations in the representation of knowledge. Morgan Kaufmann Publishers Inc, San Mateo, pp 401–456
Akman V, Surav M (1996) Steps toward formalizing context. AI Magazine 17(3):55–72
Gero JS (2004) Situated design computing: Introduction and implications. In: Marjanovic D (ed), Design 2004, pp 27–36
Hatchuel A, Le Masson P, Weil B (2004) CK theory in practice: lessons from industrial applications. In: Marjanovic D (ed), Design 2004, pp 245–257
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Salustri, F.A. (2014). Reformulating CK Theory with an Action Logic. In: Gero, J. (eds) Design Computing and Cognition '12. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-9112-0_24
Download citation
DOI: https://doi.org/10.1007/978-94-017-9112-0_24
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-017-9111-3
Online ISBN: 978-94-017-9112-0
eBook Packages: EngineeringEngineering (R0)