UvA-DARE ( Digital Academic Repository ) Knowing one ' s limits : logical analysis of inductive inference

Nina Gierasimczuk verbond leertheorie met logica's van kennis en geloof. Ze analyseerde de leertheoretische werkwijze in termen van de dynamisch-epistemische logica. Ze gebruikte leertheorie om strategieen voor geloofsrevisie die gebaseerd zijn op dynamisch-episteische logica te evalueren. Gierasimczuk geeft daarnaast een logische visie op inductieve inferentie en tot syntactische karakteriseringen van leerbaarheid in modale en temporele logica's. Verdere thema's, afkomstig uit de gebieden van berekenbaarheid, speltheorie, en de theorie van meer-agnetsystemen, versterken de verbinding door additionele computationele, logische en filosofische inzichten te geven in processen van epistemische en doxastische verandering.

[1]  Klaus P. Jantke,et al.  Natural Properties of Strategies Identifying Recursive Functions , 1979, J. Inf. Process. Cybern..

[2]  Karl R. Popper,et al.  The Open Society and Its Enemies , 1952 .

[3]  H. Grice.  Logic and conversation , 1975 .

[4]  Arun Sharma,et al.  Team Learning of Recursive Languages , 1996, PRICAI.

[5]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[6]  Hans Rott,et al.  A New Psychologism in Logic? Reflections from the Point of View of Belief Revision , 2008, Stud Logica.

[7]  K. Lehrer.  Knowledge, truth and evidence , 1965 .

[8]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part I , 1964, Inf. Control..

[9]  Kevin T. Kelly.  The Logic of Reliable Inquiry , 1996 .

[10]  Johan van Benthem,et al.  An Essay on Sabotage and Obstruction , 2005, Mechanizing Mathematical Reasoning.

[11]  William A. Ladusaw.  Polarity sensitivity as inherent scope relations , 1980 .

[12]  Nina Gierasimczuk,et al.  Learning and Teaching as a Game: A Sabotage Approach , 2009, LORI.

[13]  J. Benthem,et al.  Logics of communication and change , 2006 .

[14]  P. Vitányi,et al.  Minimum Description Length Model Selection - Problems and Extensions , 2001 .

[15]  H. Rijn,et al.  The Facilitative Effect of Context on Second-Order Social Reasoning , 2010 .

[16]  Alexandru Baltag,et al.  The logic of conditional doxastic actions , 2008 .

[17]  P. Kugel,et al.  Thinking may be more than computing , 1986, Cognition.

[18]  Wolfgang Thomas,et al.  A Game Theoretic Approach to the Analysis of Dynamic Networks , 2008, VerAS@TPHOLs.

[19]  Dexter Kozen,et al.  RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[20]  S. Kleene.  Recursive predicates and quantifiers , 1943 .

[21]  Rosella Gennari,et al.  Mapping Inferences: Constraint Propagation and Diamond Satisfaction , 2002 .

[22]  Philip Ho Hwang,et al.  IS KNOWLEDGE JUSTIFIED TRUE BELIEF , 1980 .

[23]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[24]  Daniel N. Osherson,et al.  Scientific discovery based on belief revision , 1997, Journal of Symbolic Logic.

[25]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[26]  Edmund L. Gettier.  Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.

[27]  Robin Clark,et al.  On the Learnability of Quantifiers (Update of Chapter 19) , 2011 .

[28]  Kevin T. Kelly.  The Learning Power of Belief Revision , 1998, TARK.

[29]  K. Schulz,et al.  Minimal models in semantics and pragmatics : free choice, exhaustivity, and conditionals , 2007 .

[30]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[31]  Carl H. Smith,et al.  The Power of Pluralism for Automatic Program Synthesis , 1982, JACM.

[32]  Nina Gierasimczuk,et al.  Learning by Erasing in Dynamic Epistemic Logic , 2009, LATA.

[33]  Nina Gierasimczuk.  Bridging learning theory and dynamic epistemic logic , 2009, Synthese.

[34]  Stanley Peters,et al.  Quantifiers in language and logic , 2006 .

[35]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[36]  Alexander Petrus Maria van den Bosch,et al.  Rationality in discovery: a study of logic, cognition, computation and neuropharmacology , 2001 .

[37]  Dana Angluin,et al.  Inductive Inference of Formal Languages from Positive Data , 1980, Inf. Control..

[38]  Daniel N. Osherson,et al.  Elements of Scientific Inquiry , 1998 .

[39]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[40]  K. Lehrer.  Theory Of Knowledge , 1990 .

[41]  Alexandru Baltag,et al.  Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades , 2009, TARK '09.

[42]  Thomas Zeugmann,et al.  Recent Developments in Algorithmic Teaching , 2009, LATA.

[43]  E. de Haas,et al.  Logics for OO Information Systems: A Semantic Study of Object Orientation from a Categorial Substructural Perspective , 2001 .

[44]  Jakub Szymanik,et al.  Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model , 2010, Cogn. Sci..

[45]  Kevin T. Kelly.  Learning Theory and Epistemology , 2004 .

[46]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[47]  A. Baltag,et al.  Logics for epistemic programs , 2004 .

[48]  Johan van Benthem,et al.  Toward a Dynamic Logic of Questions , 2009, J. Philos. Log..

[49]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[50]  Jakub Szymanik,et al.  Quantifiers in TIME and SPACE : computational complexity of generalized quantifiers in natural language , 2009 .

[51]  Johan van Benthem,et al.  Bridges between Dynamic Doxastic and Doxastic Temporal Logics , 2008, LOFT.

[52]  Dag Westerståhl,et al.  On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models , 2002, J. Philos. Log..

[53]  A. Baltag,et al.  Dynamic Belief Revision over Multi-Agent Plausibility Models , 2006 .

[54]  H. Rott.  Stability, Strength and Sensitivity: Converting Belief into Knowledge , 2004 .

[55]  Yasuhito Mukouchi,et al.  Characterization of Finite Identification , 1992, AII.

[56]  Johan van Benthem,et al.  Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.

[57]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[58]  Dexter Kozen,et al.  Results on the Propositional µ-Calculus , 1982, ICALP.

[59]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

[60]  Wolfgang Thomas,et al.  The Complexity of Reachability in Randomized Sabotage Games , 2009, FSEN.

[61]  Ron van der Meyden,et al.  Finite State Implementations of Knowledge-Based Programs , 1996, FSTTCS.

[62]  Dieter Hutter,et al.  Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday , 2005, Mechanizing Mathematical Reasoning.

[63]  Raymond M. Smullyan,et al.  Undecidability and recursive inseparability , 1958 .

[64]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[65]  Thomas Zeugmann,et al.  Types of monotonic language learning and their characterization , 1992, COLT '92.

[66]  Kevin T. Kelly,et al.  Reliable Belief Revision , 1997 .

[67]  Kenneth Wexler,et al.  Formal Principles of Language Acquisition , 1980 .

[68]  Kevin T. Kelly.  Ockham's Razor, Truth, and Information , 2007 .

[69]  Rolf Wiehagen,et al.  Learning by Erasing , 1996, ALT.

[70]  J. Hintikka.  Knowledge and belief , 1962 .

[71]  Simulating scientific inquiry with the card game eleusis , 1979 .

[72]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[73]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[74]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

[75]  J. Benthem,et al.  Diversity of Logical Agents in Games , 2004 .

[76]  Bart Geurts,et al.  Reasoning with quantifiers , 2003, Cognition.

[77]  Hans Joerg Tiede,et al.  Identifiability in the Limit of Context-Free Generalized Quantifiers , 1999 .

[78]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[79]  Nina Gierasimczuk.  Identification through Inductive Verification , 2007, TbiLLC.

[80]  Iris van Rooij,et al.  The Tractable Cognition Thesis , 2008, Cogn. Sci..

[81]  Oliver Board,et al.  Dynamic interactive epistemology , 2004, Games Econ. Behav..

[82]  Nina Gierasimczuk,et al.  Can Doxastic Agents Learn? On the Temporal Structure of Learning , 2009, LORI.

[83]  Guillaume Aucher,et al.  An Internal Version of Epistemic Logic , 2010, Stud Logica.

[84]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[85]  Wolfgang Spohn,et al.  A general non-probabilistic theory of inductive reasoning , 2013, UAI.

[86]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[87]  Ron van der Meyden,et al.  Complete Axiomatizations for Reasoning about Knowledge and Branching Time , 2003, Stud Logica.

[88]  Robert Stalnaker,et al.  Iterated Belief Revision , 2009, Knowledge and Conditionals.

[89]  J. Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[90]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[91]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[92]  Vincent F. Hendricks,et al.  Active Agents , 2003, J. Log. Lang. Inf..

[93]  Carl Smith.  Review of Systems that Learn (second edition) by Jain, Osherson, Royer, Sharma , 2000, SIGA.

[94]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

[95]  M. E. Counihan,et al.  Looking for logic in all the wrong places: An investigation of language, literacy and logic in reasoning , 2008 .

[96]  Johan van Benthem,et al.  Epistemic dynamics and protocol information , 2009 .

[97]  Hilary Putnam,et al.  Trial and error predicates and the solution to a problem of Mostowski , 1965, Journal of Symbolic Logic.

[98]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[99]  Christof Löding,et al.  Solving the Sabotage Game Is PSPACE-Hard , 2003, MFCS.

[100]  Johan van Benthem,et al.  Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.

[101]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[102]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[103]  Yanjing Wang,et al.  Epistemic Modelling and Protocol Dynamics , 2010 .

[104]  Nina Gierasimczuk,et al.  Games for Learning: A Sabotage Approach , 2009, MALLOW.

[105]  Nina Gierasimczuk,et al.  Finite identification from the viewpoint of epistemic update , 2011, Inf. Comput..

[106]  Rineke Verbrugge,et al.  Logic and Social Cognition , 2009, J. Philos. Log..

[107]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[108]  C. Degrémont.  The temporal mind : observations on the logic of belief change in interactive systems , 2010 .

[109]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part II , 1964, Inf. Control..

[110]  Thomas Zeugmann,et al.  Set-driven and rearrangement-independent learning of recursive languages , 1994, Mathematical systems theory.

[111]  Nina Gierasimczuk,et al.  The Problem of Learning the Semantics of Quantifiers , 2007, TbiLLC.

[112]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[113]  Isaac Levi,et al.  The Enterprise Of Knowledge , 1980 .

[114]  Guido Governatori,et al.  A computationally grounded logic of knowledge, belief and certainty , 2005, AAMAS '05.

[115]  Alexandru Baltag,et al.  Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points , 2009, WoLLIC.

[116]  J. Benthem.  Essays in Logical Semantics , 1986 .

[117]  Vincent F. Hendricks.  The Convergence of Scientific Knowledge: A View from the Limit , 2001 .

[118]  Jan Grabowski,et al.  Inductive Inference of Functions from Noised Observations , 1986, AII.

[119]  Kevin T. Kelly.  Iterated Belief Revision, Reliability, and Inductive Amnesia , 1999 .

[120]  Danny Dolev,et al.  Cheating husbands and other stories: A case study of knowledge, action, and communication , 1986, Distributed Computing.

[121]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[122]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[123]  V. Balakrishnan,et al.  Graph Theory , 1997 .