This book investigates the formalization of contradictory problem-solving through the framework of Extenics to facilitate computer-aided innovation. The author explores the mathematical and logical structures required to model object extension and the potential for change within complex systems. By bridging the gap between human creative processes and computational logic, the text provides a methodology for automating or assisting in the resolution of multifaceted challenges. The work serves as a foundational exploration of how formal models can be applied to real-world innovative activities.

Experts recognize this text as a specialized contribution to the field of Extenics and computational innovation theory. Readers frequently note the technical density of the prose, which requires a background in formal logic or systems engineering to fully grasp the proposed models.