{"type":"ScholarlyArticle","title":"Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems","authors":[{"name":"Joseph C. Osborn","slug":"joseph-c-osborn","given":"Joseph C.","family":"Osborn","affiliation":"University of California at Santa Cruz"}],"abstract":"All projects in AI begin by selecting or devising knowledge representations suitable for the project's functional requirements.  Interactive systems (including games) have semiotic considerations on top of their functional requirements: they must be legible to users, players, and their own designers.  AI working within or around interactive systems must acknowledge and support the concerns of human users.  These concerns are generally phrased as inductive bias or domain knowledge and handled in an ad hoc way; I argue that it is possible and useful to represent them explicitly within a unifying approach.  This work refines and extends operational logics, an interpretive framework describing how interactive systems communicate their own mechanisms to users.  Making this move yields formal notations for interactive systems that are useful for humans and machines, with applications in modeling, verification, general game-playing, reverse-engineering, and automatic self-documentation.","doi":"10.24963/ijcai.2017/759","url":"https://ijcai.org/proceedings/2017/759","pdf":"https://ijcai.org/proceedings/2017/0759.pdf","markdown":"https://ijcai.org/proceedings/2017/759.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/759","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":759,"pages":{"first":5199,"last":5200},"keywords":["Artificial Intelligence: formal methods","Artificial Intelligence: knowledge representation"],"videos":[],"references":[{"position":1,"raw":"[Agre, 1997] Philip Agre. Computation and Human Experi- ence. Cambridge University Press, 1997.","title":"Computation and Human Experience","authors":"Philip Agre","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alur et al., 1995] Rajeev Alur, Costas Courcoubetis, Nico- las Halbwachs, Thomas A Henzinger, P-H Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. The algorithmic analysis of hybrid systems. The- oretical computer science, 1995.","title":"The algorithmic analysis of hybrid systems","authors":"Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, P-H Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine","year":"1995","venue":"Theoretical computer science","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Fasterholdt et al., 2016] Martin Fasterholdt, Martin Pichlmair, and Christoffer Holmgård. You say jump, i say how high? operationalising the game feel of jumping. In Proceedings of the First International Joint Conference of DiGRA and FDG, 2016.","title":"You say jump, i say how high? operationalising the game feel of jumping","authors":"Martin Fasterholdt, Martin Pichlmair, Christoffer Holmgård","year":"2016","venue":"Proceedings of the First International Joint Conference of DiGRA and FDG","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Martens et al., 2016] Chris Martens, Adam Summerville, Michael Mateas, Joseph Osborn, Sarah Harmon, Noah Wardrip-Fruin, and Arnav Jhala. Proceduralist readings, procedurally. In Twelfth Artificial Intelligence and Inter- active Digital Entertainment Conference, 2016.","title":"Proceduralist readings, procedurally","authors":"Chris Martens, Adam Summerville, Michael Mateas, Joseph Osborn, Sarah Harmon, Noah Wardrip-Fruin, Arnav Jhala","year":"2016","venue":"Twelfth Artificial Intelligence and Interactive Digital Entertainment Conference","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Mateas and Wardrip-Fruin, 2009] Michael Mateas and Noah Wardrip-Fruin. Defining operational logics. In Pro- ceedings of the 2009 Digital Games Research Association Conference, 2009.","title":"Defining operational logics","authors":"Wardrip-Fruin ; Mateas, Michael Mateas, Noah Wardrip-Fruin","year":"2009","venue":"Proceedings of the 2009 Digital Games Research Association Conference","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Murphy, 2016] Tom Murphy, VII. The glEnd() of Zelda. SIGBOVIK, April 2016.","title":"The glEnd() of Zelda. SIGBOVIK","authors":"Tom Murphy, Vii","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Osborn et al., 2015] Joseph C Osborn, Dylan Lederle- Ensign, Noah Wardrip-Fruin, and Michael Mateas. Com- bat in games. In Proceedings of the 10th International Conference on the Foundations of Digital Games, 2015.","title":"Combat in games","authors":"Dylan Joseph C Osborn, Noah Lederle-Ensign, Michael Wardrip-Fruin, Mateas","year":"2015","venue":"Proceedings of the 10th International Conference on the Foundations of Digital Games","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Osborn et al., 2017] Joseph C. Osborn, Noah Wardrip- Fruin, and Michael Mateas. Refining operational logics. In Proceedings of the 12th International Conference on the Foundations of Digital Games, 2017.","title":"Refining operational logics","authors":"Joseph C Osborn, Noah Wardrip-Fruin, Michael Mateas","year":"2017","venue":"Proceedings of the 12th International Conference on the Foundations of Digital Games","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Smith et al., 2010] Adam M. Smith, Mark J. Nelson, and Michael Mateas. Ludocore: A logical game engine for modeling videogames. In Proceedings of IEEE Confer- ence on Computational Intelligence and Games, 2010.","title":"Ludocore: A logical game engine for modeling videogames","authors":"Adam M Smith, Mark J Nelson, Michael Mateas","year":"2010","venue":"Proceedings of IEEE Conference on Computational Intelligence and Games","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Summerville et al., 2017] Adam Summerville, Morteza Behrooz, Michael Mateas, and Arnav Jhala. What does that ?-block do? learning latent causal affordances from mario play traces. Proceedings of the first What's Next for AI in Games Workshop at AAAI 2017, 2017.","title":"What does that ?-block do? learning latent causal affordances from mario play traces","authors":"Adam Summerville, Morteza Behrooz, Michael Mateas, Arnav Jhala","year":"2017","venue":"Proceedings of the first What's Next for AI in Games Workshop at AAAI 2017","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}