Inconsistency Robustness 2011 http://www.robust11.org Inconsistency robustness is information system performance in the face of continually pervasive inconsistencies---a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination attempting to sweep them under the rug. Inconsistency robustness is both an observed phenomenon and a desired feature: • It is an observed phenomenon because large information systems are required to operate in an environment of pervasive inconsistency. How are they doing? • It is a desired feature because we need to improve the performance of large information systems. The concept of information systems is intended be applicable to all kinds of socio-technical systems, programs, projects and organizations including biological organisms and ecosystems because information is taken to be a generalization of physical information in Relational Physics [Rovelli 2008]. (For example the pen sitting on a table in front of me has information in the sense that it points this way or that, which can be causally affected by using my hand to attempt to rotate the pen.) Thus it is possible to study the information systems of "how dinner is prepared and consumed" as well as "how constitutional amendments are campaigned in California." The discipline of Inconsistency Robustness studies the performance of information systems processing ever growing and changing inconsistent information.
Contents Inconsistency Robustness 2014 .............................................................................................................. 2 Inconsistency Robustness 2011 .............................................................................................................. 2 Published Refereed Articles ................................................................................................................. 2 Refereeing ............................................................................................................................................... 3 Invited Speakers ..................................................................................................................................... 4 Panels ...................................................................................................................................................... 4 Photos ...................................................................................................................................................... 5 Schedule .................................................................................................................................................. 6 References .............................................................................................................................................. 7 Acknowledgements ................................................................................................................................ 7
Page 1 of 7
Inconsistency Robustness 2014 The International Society for Inconsistency Robustness is planning to conduct a follow-on Symposium in 2014. See http://www.ir14.org
Inconsistency Robustness 2011 The symposium was held at Stanford in August 2011
Published Refereed Articles Accepted articles for the Symposium were refereed according to the standards of archival refereed journals (see section below).
Active Learning by Outlier Detection. Neil Rubens.
Actor Model of Computation: Scalable Robust Information Systems. Carl Hewitt
Depdendability Case for Open Systems Lifecycle Dependability. Yutaka Matsuno, Jin Nakazawa and Makoto Takeyama.
Evolution of Inconsistent Ontologies in Physics. Jos Lehmann, Alan Bundy and Michael Chan
Formalizing common sense for inconsistency-robust information integration using Direct LogicTM and the Actor Model. Carl Hewitt
Inconsistency Robustness for Scalability in Interactive Concurrent-Update In-Memory MOLAP Cubes. Sam Adams, Doug Kimelman and David Ungar
Modeling Ungrammaticality in a Precise Grammar of English. Dan Flickinger
Politics and Pragmatism in Scientific Ontology Construction. Mike Travers
Representing Inconsistency. Francesco Berto
Rules versus Standards: Competing Notions of Inconsistency Robustness in the Supreme Court and Federal Circuit. Stefania Fusco and David Olson
The Singularity is Here. Fanya S. Montalvo
Two sources of explosion. Eric Kao.
Page 2 of 7
Refereeing The program committee is (affiliations are only for identification):[1] • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • •
Fei Xia, Washington Linguistics Mary-Anne Williams, Sydney Innovation and Enterprise Research Lab Mario Tokoro, Sony CSL Jamie Taylor, Google Michael Strube, NLP Group HITS gGmbH Markus Strohmaier, Graz CS Tom Stace, Queensland Physics Yuval Shachar, Ben-Gurion Information Systems Engineering Erik Sandewall, Linköping Computer and Information Science Martha Russell, Stanford Media X Neil Rubens, Electro-Communications Information Systems Carlo Rovelli, Marseille Centre de Physique Theorique de Luminy Greg Restall, Melbourne Philosophy Kay Prüfer, Max-Planck Institute for Evolutionary Anthropology Stanley Peters, Stanford CSLI Peter Neumann, SRI Fanya S. Montalvo, independent consultant Subhasish Mitra, Stanford CS and EE Joao Marcos, Rio Grande de Norte Informatics and Applied Mathematics Ben Kuipers, Michigan CS Andrei Khrennikov, Linnaeus Applied Mathematics Mike Huhns, South Carolina Electrical & Computer Engineering Chuck House, Stanford Media X Robert Hoehndorf, Cambridge Genetics Carl Hewitt (chair) Deborah Hensler, Stanford Law Ted Goldstein, UCSC Bioinformatics and Biomolecular Engineering Elihu M. Gerson, Tremont Research Institute Mike Genesereth, Stanford CS Stefania Fusco, Santa Clara Law Yossi Feinberg, Stanford Graduate School of Business John Duffy, George Washington Law Giacomo Mauro D'Ariano, Pavia Quantum Information, Mechanics, & Optics Rainer Brendle, SAP Francesco Berto, Aberdeen Philosophy Gil Alterovitz, MIT EECS and Harvard Medical School
Page 3 of 7
Invited Speakers Invited keynote speakers: 1. Hugo Mercier. Reasoning: designed to check inconsistencies in social contexts 2. Edwina Rissland. What to do about Inconsistent Cases Invited after dinner speakers: 1. Chuck House. Personally dealing with inconsistency robustness 2. Patrick Suppes. What physical mechanisms of computation does the brain use?
Panels
Big Data. Elihu M. Gerson, Dave Ungar
Law. Stefania Fusco, Anne Gardner, David Olson, Edwina Rissland
Persuasion and Advertising. Adam Beberg, Dean Eckles, Timothy Kasbe, Davis Masten, Martha Russell, Lucy Zhang
Privacy and Security. Chris Conley, Carl Hewitt, Alan Karp, Monica Lam, Peter Neumann
Research and Standards. Blaine Garst, Carl Hewitt, Erik Meijer, Mark S. Miller, Jeff Rulifson
The Singularity and Other Possible Futures. Cindy Mason, Fanya S. Montalvo, Melanie Swan, Mike Travers
Page 4 of 7
Photos Mouse over images below to display captions:[2]
I
Page 5 of 7
Schedule Schedule
Tues.
Wed.
Thur.
“Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic and the Actor Model” Carl Hewitt
“Actor Model of Computation: Scalable Robust Information Systems” Carl Hewitt
General
General
General
Discussion
Discussion
Discussion
Break
Break
Break
Inconsistency Robustness 2011 9:30 Introduction
10:30
11:00 11:30
12:00
“The Singularity is Here” Standards &
Persuasion &
Fanya S. Montalvo
Research
Advertising
The Singularity & Other Possible Futures
1:00
Lunch
Lunch
Lunch
2:00
Hugo Mercier. “Reasoning: designed to check inconsistencies in social contexts”
Edwina Rissland. “What to do about Inconsistent Cases”
Inconsistency Robustness for Scalability in Interactive Concurrent-Update In-Memory MOLAP Cubes” Adams, Kimelman and Ungar
2:30
Big Data
3:15
Break
Break
Break
3:45
“Evolution of Inconsistent Ontologies in Physics” Jos Lehmann, Alan Bundy and Michael Chan.
“Rules versus Standards: Competing Notions of Inconsistency Robustness in the Supreme Court and Federal Circuit” Stefania Fusco and David Olson
“Two sources of explosion”
4:15
4:30
4:45
Politics and Pragmatism in Scientific Ontology Construction”
Eric Jui-Yi Kao “Dependability Case for Open Systems Lifecycle” Yutaka Matsuno, Jin Nakazawa and Makoto Takeyama.
“Modeling Ungrammaticality in a Precise Grammar of English” Dan Flickinger
Mike Travers
“Active Learning by Outlier Detection” Neil Rubens
5:15
Break
Break
5:30
Law
Privacy & Security
6:15
Dinner
Dinner
7:15
Patrick Suppes. “What physical mechanisms of computation does the brain use?”
Chuck House. “Personally dealing with inconsistency robustness”
Page 6 of 7
References 1. Additional referees included Yvan Bedard, Walter Carnielli, Blaine Garst, Mauro Gaspari, H. V. Jagadish, Alan Karp, Solmaz Kolahi, Aaron Merlob, Tapio Niemi, Jyrki Nummenmaa, Martin Perl, Byung-Kwon Park, Sabine Loudcher Rabaseda, Mike Travers, and Amin Zollanvari. 2. Photo credits: Roc Noir http://www.rocnoir.com 3. Terminology used by Charles Darwin.
Acknowledgements The generous support of Blaine Garst and Stanford CSLI, EPGY and Media X is gratefully acknowledged. Diane Heckman and Nathanial Garst provided logistic support. Adelaide Dawes provided administrative and preprint production support. Using "platypi"[3] as the mascot was suggested by Fanya S. Montalvo.
Page 7 of 7