Metaphorical Mapping Consistency via Dynamic Logic Programming



In this paper we explore a symbiosis between Dynamic Logic Programming and Metaphor to solve the problem of
inconsistency in metaphorical knowledge integration. The problem of solving inconsistencies that may arise when
knowledge from two different domains is combined, given a metaphorical mapping, is crucial, be it at the stage where
we want to evaluate the appropriateness of the mapping function, or at a subsequent stage when we want to reason with
the combined knowledge. We propose, in a formal and rigorous manner, a transformation and its semantics that solves
the problem of inter-domain inconsistencies by employing the principle of inertia to the rules of the source domain. This
work is part of an ongoing larger project, Dr. Divago, whose final goal is to develop a system to perform automatic
creative reasoning.


Dynamic Logic Programming




AISB'00, April 2000

PDF File

Cited by

Year 2002 : 2 citations

 Denecker, Marc and Kakas, Antonis. "Abduction in Logic Programming". In: Antonis C. Kakas, Fariba Sadri (Eds.), Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. pp. 402-436. LNCS 2407 Springer 2002, ISBN 3-540-43959-5

 Gervás, P. "Linguistic creativity at different levels of decision in sentence productionâ?. Proceedings of the AISB'02 Symposium on AI and Creativity in Arts and Science, 3rd-5th April 2002, London, UK.

Year 2001 : 1 citations

 Wissink, Geert. "Creativity and Cognition". University of Amsterdam. Msc thesis. 2001