Skip to main content
Log in

An Answer Set Prolog formalization of shikake principles and examples

Methodology and lessons learned

  • Original Article
  • Published:
AI & SOCIETY Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Notes

  1. In the future, we intend to expand our theory by adding more nuanced emotional and mental states like \(satisfied\), \(surprised\), etc.

  2. http://sourceforge.net/projects/potassco/files/clasp/.

References

  • Balduccini M, Gelfond M (2003) Diagnostic reasoning with A-Prolog. Theory Pract Logic Program 3(4–5):425–461

    Article  MATH  MathSciNet  Google Scholar 

  • 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

    Article  MATH  MathSciNet  Google Scholar 

  • Baral C (2003) Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  • Baral C, Gelfond M (1994) Logic programming and knowledge representation. J Logic Program 19(20):73–148

    Article  MathSciNet  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • 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

    Article  Google Scholar 

  • Gelfond M, Lifschitz V (1998) Action languages. Electron Trans AI 3(16):193–210

    MathSciNet  Google Scholar 

  • 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

    Google Scholar 

  • Van Gelder A, Ross KA, Schlipf JS (1991) The well-founded semantics for general logic programs. J ACM 38:619–649

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniela Inclezan.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00146-014-0555-6

Keywords

Navigation