Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

The philosophy of religion; a critical and speculative treatise of man's religious experience and development in the light of modern science and reflective thinking.

Mode of access: Internet.

Reflective practice at the intersection of the arts, science, and engineering: Ethnographic beginnings of a youth program in transition

Thesis (Master's)--University of Washington, 2016-06

Generalization by symbolic abstraction in cascaded recurrent networks

Generalization performance in recurrent neural networks is enhanced by cascading several networks. By discretizing abstractions induced in one network, other networks can operate on a coarse symbolic level with increased performance on sparse and structural prediction tasks. The level of systematicity exhibited by the cascade of recurrent networks is assessed on the basis of three language domains. (C) 2004 Elsevier B.V. All rights reserved.

Reflective analysis: Techniques for facilitating reflection

This paper describes a number of techniques for facilitating reflective critical analysis as a means of eliciting in-depth reflections on practice. The authors have previously used similar techniques in the research context, to assist practitioners to identify and analyse the basis of their work with clients. The techniques presented in this paper have been adapted for use in social work education, including in class-based and field education contexts, and to professional supervision.

Reflective web interface agent

Web interface agent is used with web browsers to assist users in searching and interactions with the WWW. It is used for a variety of purposes, such as web-enabled remote control, web interactive visualization, and e-commerce activities. User may be aware or unaware of its existence. The intelligence of interface agent consists in its capability of learning and decision-making in performing interactive functions on behalf of a user. However, since web is an open system environment, the reasoning mechanism in an agent should be able to adapt changes and make decisions on exceptional situations, and therefore use meta knowledge. This paper proposes a framework of Reflective Web Interface Agent (RWIA) that is to provide causal connections between the application interfaces and the knowledge model of the interface agent. A prototype is also implemented for the purpose of demonstration.

Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.

Inquiring how a lecturer keeps learning about their teaching:a personal case history on reflective imagination

In order to reverse the use of lecture-based teaching, it is argued that personal reflection can be used as part of the quality assurance process. This paper proposes one response to personal reflection - reflective imagination, which is summarised as an action plan with six activities. It combines two conceptual issues raised in the US, the need to think creatively about learning and the reflective mindset, and one issue raised in the UK, cultivating the entrepreneurial imagination. Reflective imagination is linked to wider social science research, the place of self and reflexivity in scholarship. Finally, a personal history case study is presented which records a visit to Harvard Business School. The visit implements the six activities associated with reflective imagination. This is a method paper exploring reflective imagination.