Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
AI & SOCIETY
Published in: AI & SOCIETY 4/2015

01-11-2015 | Original Article

An Answer Set Prolog formalization of shikake principles and examples

Methodology and lessons learned

Author: Daniela Inclezan

Published in: AI & SOCIETY | Issue 4/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.
previous article Study on design of Shikake for landscape foreignization
next article Special issue: AI and next-generation supply networks

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
Footnotes
1
In the future, we intend to expand our theory by adding more nuanced emotional and mental states like \(satisfied\), \(surprised\), etc.
 
Literature
Balduccini M, Girotto S (2010) Formalization of psychological knowledge in answer set programming and its application. Theory Pract Logic Program 10(4–6):725–740MATHMathSciNetCrossRef
Baral C (2003) Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, CambridgeMATHCrossRef
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, 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–386CrossRef
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 (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–649CrossRef
Metadata
Title
An Answer Set Prolog formalization of shikake principles and examples
Methodology and lessons learned
Author
Daniela Inclezan
Publication date
01-11-2015
Publisher
Springer London
Published in
AI & SOCIETY / Issue 4/2015
Print ISSN: 0951-5666
Electronic ISSN: 1435-5655
DOI
https://doi.org/10.1007/s00146-014-0555-6

Other articles of this Issue 4/2015

AI & SOCIETY 4/2015 Go to the issue

Original Article

Shikakeological approach of innovators marketplace as role-based game and evaluation method for solutions

Original Article

An anatomy of shikakes

Original Article

Enhancing engagement behavior using Shikake

Original Article

Game-based education for disaster prevention

Original Article

Enhancing care homes with assistive video technology for distributed caregiving

Original Article

A journey from Island of knowledge to mutual understanding in global business meetings

Premium Partner

    Image Credits