An abductive propositional logic for design reasoning

References

• Baral , C. and Gelfond , M. 1994 . “Logic Programming and Knowledge Representation” . The Journal of Logic Programming , 19 : 73 – 148 .
   Google Scholar
• Baxter , M. 1995 . Product Design: A Practical Guide to Systematic Methods of New Product Development , London, UK : Chapman & Hall .
   Google Scholar
• Cadoli , M. and Schaerf , M. 1993 . “A Survey of Complexity Results for Non‐monotonic Logics” . The Journal of Logic Programming , 17 : 127 – 160 .
   Google Scholar
• Coyne , R. 1988 . Logic Models in Design , London, UK : Pitman Publishing .
   Google Scholar
• de Bono , E. 1970 . Lateral Thinking: Creativity Step by Step , New York, NY : Harper & Row .
   Google Scholar
• de Kleer , J. 1986 . An Assumption‐based TMS . Artificial Intelligence , 28 : 127 – 162 .
   Web of Science ®Google Scholar
• Doyle , J. 1979 . “A Truth Maintenance System.” . Artificial Intelligence , 12 : 231 – 272 .
   Web of Science ®Google Scholar
• Esghi , K. and Kowalski , R. A. “Abduction Compared with Negation by Failure” . Proceedings of the Sixth International Conference on Logic Programming 1989 . pp. 234 – 254 .
   Google Scholar
• Gabbay , D. M. 1996 . Labelled Deductive Systems , New York, NY : Oxford University Press Inc. .
   Google Scholar
• Galle , P. 1996 . “Design Rationalization and the Logic of Design: An Alternative Study” . Design Studies , 17 : 235 – 275 .
   Google Scholar
• Galle , P. 1997 . “Towards a Formal Logic of Design Rationalization” . Design Studies , 18 : 195 – 219 .
   Google Scholar
• Genesereth , M. and Nilsson , N. 1987 . Logical Foundations of Artificial Intelligence , Los Altos, CA : Morgan Kaufmann .
   Google Scholar
• Giarratano , J. C. and Riley , G. 1994 . Expert Systems: Principles and Programming , Boston, MA : PWS Publishing .
   Google Scholar
• Ginsberg , M. 1993 . Essentials of Artificial Intelligence , San Mateo, CA : Morgan Kaufman Publishers .
   Google Scholar
• Luger , G. 1993 . Artificial Intelligence: Structures and Strategies for Complex Problem Solving , CA : The Benjamin/Cummings Publishing Company, Inc. . 1993
   Google Scholar
• March , L. 1984 . “The Logic of Design” . In Developments in Design Methodology , Edited by: Cross , N. 265 – 276 . New York : John Wiley & Sons .
   Google Scholar
• McCarthy , J. 1980 . “Circumscription‐ A form of Non‐monotonic Reasoning” . Artificial Intelligence , 13 : 27 – 39 .
   Web of Science ®Google Scholar
• McDermott , D. and Doyle , J. 1980 . “Non‐monotonic Logic I” . Artificial Intelligence , 13 : 41 – 72 .
   Web of Science ®Google Scholar
• Mitchell , W. J. 1990a . “ Introduction ” . In The Electronic Design Studio: Architectural education in the Computer Era , Edited by: McCullough , M. , Mitchell , W. J. and Purcell , P. Cambridge, MA : MIT Press .
   Google Scholar
• Mitchell , W. J. 1990b . The Logic of Architecture , Cambridge, MA : MIT Press .
   Google Scholar
• Moore , R. 1985 . “Semantics Considerations on Non‐monotonics Logics” . Artificial Intelligence , 25 : 75 – 94 .
   Web of Science ®Google Scholar
• Pereira , L. M. , Aparicio , J. N. Alferes , J. 1993 . “Non‐monotonic Reasoning with Logic Programming” . The Journal of Logic Programming , 17 ( 2/3 & 4 ) : 227 – 263 .
   Google Scholar
• Reiter , R. 1980 . “A Logic for Default Reasoning” . Artificial Intelligence , 13 : 81 – 132 .
   Web of Science ®Google Scholar
• Rich , E. and Knight , K. 1991 . Artificial Intelligence , New York, NY : McGeaw‐Hill .
   Google Scholar
• Roozenburg , N. F. M. 1993 . “On the Pattern of Reasoning in Innovative Design” . Design Studies , 14 : 4 – 19 .
   Google Scholar
• Roozenburg , N. F. M. and Eekels , J. 1995 . Product Design: Fundamentals and Methods , New York, NY : John Wiley & Sons, Inc. .
   Google Scholar
• Rowe , P. 1994 . Design Thinking , Cambridge, MA : MIT Press .
   Google Scholar
• Ulrich , K. T. and Eppinger , S. D. 1995 . Product Design and Development , New York, NY : McGraw‐Hill, Inc. .
   Google Scholar
• Wang , H. 1995 . “An Approach to Computer‐aided Styling” . Design Studies , 16 : 50 – 61 .
   Google Scholar
• Wang , H. 1996 . “Testing with Multimedia” . Design Management Journal , Fall : 77 – 81 .
   Google Scholar
• Correspondence addressee
   Google Scholar