Implementing Injunctive Social Norms Using Defeasible Reasoning

Believability requires video game characters to consider their actions within the context of social norms. Social norms involve a broad range of behavioral defaults, obligations, and injunctions unrelated to strictly causal reasoning. Defeasible reasoning involves rationally compelling but deductively invalid arguments, such as reasoning with rules that allow exceptions. This paper investigates having video game characters use defeasible reasoning to consider injunctive social norms when selecting and planning actions.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Stuart M. Shieber,et al.  Prolog and Natural-Language Analysis , 1987 .

[3]  Ian Horswill.  Architectural Issues for Compositional Dialog in Games , 2014 .

[4]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[5]  David H. D. Warren,et al.  An Efficient Easily Adaptable System for Interpreting Natural Language Queries , 1982, CL.

[6]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[7]  Young U. Ryu.  A formal representation of normative systems: a defeasible deontic reasoning approach , 1992 .

[8]  John L. Pollock,et al.  Rational Cognition in OSCAR , 1999, ATAL.

[9]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[10]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[11]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[12]  Hans Tompits,et al.  A framework for compiling preferences in logic programs , 2002, Theory and Practice of Logic Programming.

[13]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[14]  Andrew Stern,et al.  Façade: An Experiment in Building a Fully-Realized Interactive Drama , 2003 .

[15]  Hector Muñoz-Avila,et al.  SHOP: Simple Hierarchical Ordered Planner , 1999, IJCAI.

[16]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[17]  John L. Pollock,et al.  Defeasible reasoning with variable degrees of justification , 2001, Artif. Intell..

[18]  Marek J. Sergot,et al.  Action and Agency in Norm-Governed Multi-agent Systems , 2008, ESAW.

[19]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[20]  Richard Evans,et al.  Versu—A Simulationist Storytelling System , 2014, IEEE Transactions on Computational Intelligence and AI in Games.

[21]  Penelope Sibun.  Locally organized text generation , 1992 .

[22]  John L. Pollock,et al.  Perceiving and Reasoning about a Changing World , 1998, Comput. Intell..

[23]  Leon Sterling,et al.  The Art of Prolog - Advanced Programming Techniques , 1986 .

[24]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..