Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Computer vision wikipedia , lookup
Human-Computer Interaction Institute wikipedia , lookup
Technological singularity wikipedia , lookup
Computer Go wikipedia , lookup
Artificial intelligence in video games wikipedia , lookup
Ethics of artificial intelligence wikipedia , lookup
Embodied cognitive science wikipedia , lookup
Intelligence explosion wikipedia , lookup
Philosophy of artificial intelligence wikipedia , lookup
History of artificial intelligence wikipedia , lookup
Existential risk from artificial general intelligence wikipedia , lookup
Componential Explanation in Philosophy, Computer Science and AI Tibor Bosse1, Catholijn M. Jonker2, and Jan Treur1 1 2 Vrije Universiteit Amsterdam, Department of Artificial Intelligence De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands Email: {tbosse, treur}@cs.vu.nl URL: http://www.cs.vu.nl/~{tbosse, treur} Radboud Universiteit Nijmegen, Nijmegen Institute of Cognition and Information, Montessorilaan 3, 6525 HR Nijmegen, The Netherlands Email: [email protected] URL: http://www.nici.ru.nl/~catholj Abstract It is shown how Componential Explanation as discussed within Philosophy relates to Compositional Verification in Computer Science and Artificial Intelligence. The paper shows how a formal approach to Compositional Verification and some of the formal techniques developed for Computer Science and Artificial Intelligence can provide a formal basis and automated support for the notion of Componential Explanation as proposed in Philosophy. The role of interlevel relations is shown to be crucial in the formal analysis on which a componential explanation rests. A case study is presented to show the thoroughness of the approach and the level of detail needed to come up with a formal analysis that can serve as the basis of a componential explanation. Keywords componential explanation, compositional verification, function, component, interlevel relation