TY - GEN
T1 - Verifying context-dependent reduction relations for knowledge specifications
AU - Sharpanskykh, Alexei
AU - Treur, Jan
PY - 2010
Y1 - 2010
N2 - Knowledge can be specified at different levels of conceptualisation or abstraction. In this paper, lessons learned on the philosophical foundations of cognitive science are discussed, with a focus on how the relationships of cognitive theories with specific underlying (physical/biological) makeups can be dealt with. It is discussed how these results can be applied to relate different types of knowledge specifications. More specifically, it is shown how different knowledge specifications can be related by means of reduction relations, similar to how specifications of cognitive theories can be related to specifications within physical or biological contexts. By the example of a specific reduction approach, it is shown how the process of reduction can be automated, including mapping of specifications of different types and checking the fulfilment of reduction conditions.
AB - Knowledge can be specified at different levels of conceptualisation or abstraction. In this paper, lessons learned on the philosophical foundations of cognitive science are discussed, with a focus on how the relationships of cognitive theories with specific underlying (physical/biological) makeups can be dealt with. It is discussed how these results can be applied to relate different types of knowledge specifications. More specifically, it is shown how different knowledge specifications can be related by means of reduction relations, similar to how specifications of cognitive theories can be related to specifications within physical or biological contexts. By the example of a specific reduction approach, it is shown how the process of reduction can be automated, including mapping of specifications of different types and checking the fulfilment of reduction conditions.
KW - Automated mapping of specifications
KW - Cognitive science
KW - Reduction relations
UR - http://www.scopus.com/inward/record.url?scp=77957582387&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77957582387&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-11819-7_5
DO - 10.1007/978-3-642-11819-7_5
M3 - Conference contribution
AN - SCOPUS:77957582387
SN - 3642118186
SN - 9783642118180
T3 - Communications in Computer and Information Science
SP - 56
EP - 69
BT - Agents and Artificial Intelligence - International Conference, ICAART 2009, Revised Selected Papers
T2 - 1st International Conference on Agents and Artificial Intelligence, ICAART 2009
Y2 - 19 January 2009 through 21 January 2009
ER -