Graduate studies at Western
Theory and Decision 46 (1):1-21 (1999)
|Abstract||If we express our knowledge in sentences, we will find that these sentences are linked in complex patterns governed by our observations and our inferences from these observations. These inferences are to a large extent driven by logical rules. We ask whether the structure logic imposes on our knowledge restricts what we forget and what we remember. The model is a two period S5 logic. In this logic, we propose a memory loss operator: the agent forgets a sentence pif and only if he knows pat time 1 and he does not know pat time 2. Equipped with the operator, we prove theorems on the relation between knowledge and memory loss. The main results point to classes of formulas that an agent cannot forget, and classes of formulas he must forget. A desirable feature is that most results hold in the S4 logic. The results illustrate bounds to memory loss, and thus to bounded rationality. We apply the model to single-agent conventions: conventions made between an agent and himself|
|Keywords||Bounded rationality Imperfect recall Memory loss operator Redundancy Reasoning through time Single-agent conventions|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib (2009). Verifying Time, Memory and Communication Bounds in Systems of Reasoning Agents. Synthese 169 (2):385 - 403.
Bruno S. Frey (2005). ''Just Forget It.'' Memory Distortions as Bounded Rationality. Mind and Society 4 (1):13-25.
Christopher Cherniak (1983). Rationality and the Structure of Memory. Synthese 57 (November):163-86.
Thomas Ågotnes & Dirk Walther (2009). A Logic of Strategic Ability Under Bounded Memory. Journal of Logic, Language and Information 18 (1):55-77.
Ella Buceniece (2008). To Remember Memory. Proceedings of the Xxii World Congress of Philosophy 21:15-24.
Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini (2007). Verifying Space and Time Requirements for Resource-Bounded Agents. In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer.
E. Daprati, D. Nico, N. Franck & A. Sirigu (2003). Being the Agent: Memory for Action Events. Consciousness and Cognition 12 (4):670-683.
Joshua Sack (2008). Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17 (2):183-216.
J. Campbell (1997). The Structure of Time in Autobiographical Memory. European Journal of Philosophy 5 (2):105-17.
Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling (2010). Reasoning Processes in Propositional Logic. Journal of Logic, Language and Information 19 (3):283-314.
Tahseen Béa (2008). Memory of Touch. International Studies in Philosophy Monograph Series:5-82.
Russell J. A. Kilbourn (2010). Cinema, Memory, Modernity: The Representation of Memory From the Art Film to Transnational Cinema. Routledge.
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips (2013). Reasoning About Truth in First-Order Logic. Journal of Logic, Language and Information 22 (1):115-137.
Sorry, there are not enough data points to plot this chart.
Added to index2010-09-02
Total downloads1 ( #293,975 of 754,244 )
Recent downloads (6 months)0
How can I increase my downloads?