Introspective Forgetting
نویسندگان
چکیده
We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
منابع مشابه
An Explicit Representation of Forgetting
A pervasive, yet much ignored, factor in the analysis of processing-failures is the problem of misorganized knowledge. If a system’s knowledge is not indexed or organized correctly, it may make an error, not because it does not have either the general capability or specific knowledge to solve a problem, but rather because it does not have the knowledge sufficiently organized so that the appropr...
متن کاملIntrospective Active Learning for Scalable Semantic Mapping
This paper proposes an active learning framework for semantic mapping in mobile robotics. In particular, our work explores the benefits of an introspective classifier over that of a more traditional non-introspective approach for active data selection. We extend the notion of introspection to a particular sparse Gaussian Process classifier, the Informative Vector Machine (IVM), and show that th...
متن کاملDriven Learning for Driving: How Introspection Improves Semantic Mapping
This paper explores the suitability of commonly employed classification methods to action-selection tasks in robotics, and argues that a classifier’s introspective capacity is a vital but as yet largely under-appreciated attribute. As illustration we propose an active learning framework for semantic mapping in mobile robotics and demonstrate it in the context of autonomous driving. In this fram...
متن کاملInvestigating the relationship between purposeful organizational forgetting and organizational agility with respect to the moderating role of competitive intelligence
The purpose of this study was to investigate the relationship between purposeful organizational forgetting and organizational agility, with respect to the moderating role of competitive intelligence. The research method is applied in terms of purpose and is a survey in terms of its nature. The statistical population of the research is employees of banks in Kashmar. The data collection method wa...
متن کاملA New Model of Reflective Introspective Learning
Systems which introspect about their own processes can improve their reasoning behavior in response to experience using "introspective learning" techniques. Many systems which perform introspective learning analyze and change only an underlying domain task’s reasoning processes. They do not possess the ability to r~ flectively introspect about the introspective task itself. We present a model o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Synthese
دوره 169 شماره
صفحات -
تاریخ انتشار 2008