Abstract
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.




Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Notes
In the future, we intend to expand our theory by adding more nuanced emotional and mental states like \(satisfied\), \(surprised\), etc.
References
Balduccini M, Gelfond M (2003) Diagnostic reasoning with A-Prolog. Theory Pract Logic Program 3(4–5):425–461
Balduccini M, Girotto S (2010) Formalization of psychological knowledge in answer set programming and its application. Theory Pract Logic Program 10(4–6):725–740
Baral C (2003) Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge
Baral C, Gelfond M (1994) Logic programming and knowledge representation. J Logic Program 19(20):73–148
Baral C, Gelfond M (2005) Reasoning about intended actions. In: Proceedings of the 20th national conference on artificial intelligence (AAAI05), pp 689–694
Erdoğan ST (2008) A library of general-purpose action descriptions. Ph.D. thesis, The University of Texas at Austin
Fan J, Barker K, Porter B, Clark P (2001) Representing roles and purpose. In: Proceedings of the 1st international conference on knowledge capture (KCAP01). ACM, New York, NY, pp 38–43
Gebser M, Kaufmann B, Neumann A, Schaub T (2007) Conflict-driven answer set solving. In: Proceedings of the 20th international joint conference on artifical intelligence (IJCAI07). Morgan Kaufmann Publishers Inc., San Francisco, CA, pp 386–392
Gelfond M (2006) Going places—notes on a modular development of knowledge about travel. In: Proceedings of the 2006 AAAI spring symposium series (SSS06), pp 56–66
Gelfond M, Inclezan D (2009) Yet another modular action language. In: Proceedings of SEA-09. University of Bath Opus: Online Publications Store, pp 64–78
Gelfond M, Inclezan D (2013) Some properties of system descriptions in ALd. J Appl Non Class Logics 23:105–120
Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Proceedings of the international conference on logic programming (ICLP88), pp 1070–1080
Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3/4):365–386
Gelfond M, Lifschitz V (1998) Action languages. Electron Trans AI 3(16):193–210
Inclezan D (2012) Modeling a theory of second language acquisition in ASP. In: Rosati R, Woltran S (eds) Proceedings of the 14th international workshop on non-monotonic reasoning (NMR12)
Inclezan D (2012) Modular action language ALM for dynamic domain representation. Ph.D. thesis, Texas Tech University
Lifschitz V, Ren W (2006) A modular action description language. In: Proceedings of the twenty-first national conference on artificial intelligence (AAAI06), pp 853–859
Matsumura N (2012) Shikakeology. http://shikakeology.org
Matsumura N (2013) A shikake as an embodied trigger for behavior change. In: Proceedings of the 2013 AAAI spring symposium series (SSS13), pp 62–67
Matsumura N, Fruchter R (2013) Shikake trigger categories. In: Proceedings of the 2013 AAAI spring symposium series (SSS13), pp 68–73
McCarthy J, Hayes PJ (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine intelligence 4. Edinburgh University Press, Edinburgh, pp 463–502
Morton T (2013) Hyperobjects: philosophy and ecology after the end of the world. University of Minnesota Press, UK
Van Gelder A, Ross KA, Schlipf JS (1991) The well-founded semantics for general logic programs. J ACM 38:619–649
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Inclezan, D. An Answer Set Prolog formalization of shikake principles and examples. AI & Soc 30, 537–547 (2015). https://doi.org/10.1007/s00146-014-0555-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00146-014-0555-6