An Answer Set Prolog formalization of shikake principles and examples

摘要

Shikake is a design approach that proposes solving problems by inducing spontaneous behavior, rather than by relying on the use of extensive resources or expertise. This paper contributes to the study of Shikake principles and examples by describing a methodology for their formalization in the declarative, logic-based language of Answer Set Prolog (ASP). Modeling qualitative theories and principles such as Shikake in the precise language of ASP can play a significant role in indicating possible areas for their future refinement and improvement, as shown here. Our formalization is used in creating a system, ShAsp, that can automatically determine if a design is a Shikake or not, as illustrated by two examples and one counterexample.