Componential explanation in philosophy, cognitive science and computer science
Mahwah, NJ : Lawrence Erlbaum
InSun, R. (ed.), Proceedings of the 28th Annual Conference of the Cognitive Science Society and CogSci'06, pp. 95-100
28th Annual Conference of the Cognitive Science Society and CogSci'06
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
Sun, R. (ed.), Proceedings of the 28th Annual Conference of the Cognitive Science Society and CogSci'06
SubjectCommunication and Media
This paper shows how Componential Explanation as discussed within Cognitive Science and Philosophy of Science relates to Compositional Verification in Computer Science. It is shown how formal techniques and methods developed for Compositional Verification provide a formal basis and automated support for Componential Explanation. The role of formalised interlevel relations is shown to be crucial for formalisation of the analysis on which a componential explanation rests. A case study is used to illustrate the thoroughness of the approach.
This item appears in the following Collection(s)
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.