Varol Akman

TL;DR: It is concluded that the Turing Test has been, and will continue to be, an influential and controversial topic.

TL;DR: The problem of formalizing context is surveyed and what is needed for an acceptable account of this abstract notion is explored.

TL;DR: A preliminary model of formal contexts based on situation theory is presented and a worked‐out example is given to show the use of contexts in lifting, i.e., how propositions holding in a particular context transform when they are moved to another context.

TL;DR: The authors argue that in addition to the familiar approach using formal contexts, there is now a need in artificial intelligence to study contexts as social constructs, and draw attention to "interpretation" (in the sense of literary theory), viz, the reconstruction of the intended meaning of a literary text that takes into account the context in which the author assumed the reader would place the text.

TL;DR: This work shows how to represent the two domains of the Zoo World and the Traffic World in the input language of CCALC, and how to useCCALC to test these representations.