Abstract Logical forgetting is removing some variables from a formula while maintaining its consequences on the remaining variables. This removal may require exponential time arbitrary propositional Horn formulae, but it only takes polynomial single-head definite formulae. Single-head means that no variable head of multiple clauses. An algorithm to make if possible shown. It enlarges set formul...

The nature of forgetting in short-term memory remains a disputed topic, with much debate focussed upon whether decay plays a fundamental role (Berman et al., 2009; Altmann and Schunn, 2012; Barrouillet et al., 2012; Neath and Brown, 2012; Oberauer and Lewandowsky, 2013; Ricker et al., 2014) but much less focus on other plausible mechanisms. One such mechanism of long-standing in auditory memory...

Children's remarkable ability to map linguistic labels to referents in the world is commonly called fast mapping. The current study examined children's (N = 216) and adults' (N = 54) retention of fast-mapped words over time (immediately, after a 1-week delay, and after a 1-month delay). The fast mapping literature often characterizes children's retention of words as consistently high across tim...

As critical as waking brain function is to learning and memory, an established literature now describes an equally important yet complementary role for sleep in information processing. This overview examines the specific contribution of sleep to human hippocampal memory processing; both the detriments caused by a lack of sleep, and conversely, the proactive benefits that develop following the p...

A high performance RLS lattice filter with the estimation of an unknown order and forgetting factor of identified system was developed and implemented as a PCORE coprocessor for Xilinx EDK. The coprocessor implemented in FPGA hardware can fully exploit parallelisms in the algorithm and remove load from a microprocessor. The EDK integration allows effective programming and debugging of hardware ...

In this paper, we propose the new fixedsize ordinally-forgetting encoding (FOFE) method, which can almost uniquely encode any variable-length sequence of words into a fixed-size representation. FOFE can model the word order in a sequence using a simple ordinally-forgetting mechanism according to the positions of words. In this work, we have applied FOFE to feedforward neural network language mo...

The inconsistency of the battery pack will cause “barrel effect“ when is working. with lower power first reach discharge cut-off condition, resulting in not being fully discharged, reducing utilization rate. This paper uses state charge (SOC) as an equilibrium variable and forgetting factor recursive least square–extended Kalman filter (FFRLS-EKF) method to estimate SOC. Using a balanced topolo...

In this paper, we propose the new fixedsize ordinally-forgetting encoding (FOFE) method, which can almost uniquely encode any variable-length sequence of words into a fixed-size representation. FOFE can model the word order in a sequence using a simple ordinally-forgetting mechanism according to the positions of words. In this work, we have applied FOFE to feedforward neural network language mo...

Research from the past decades has shown that retrieval of a specific memory (e.g., retrieving part of a previous vacation) typically attenuates retrieval of other memories (e.g., memories for other details of the event), causing retrieval-induced forgetting. More recently, however, it has been shown that retrieval can both attenuate and aid recall of other memories (K.-H. T. Bäuml & A. Samenie...