Anzeige
Erschienen in:
2014 | OriginalPaper | Buchkapitel
Reformulating CK Theory with an Action Logic
verfasst von : Filippo A. Salustri
Erschienen in: Design Computing and Cognition '12
Verlag: Springer Netherlands
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.