We introduce the CUBISM system for the analysis and deep understanding of multi-participant dialogues. CUBISM brings together two typically separate forms of discourse analysis: semantic analysis and sociolinguistic analysis. In the paper proper, we describe and illustrate major components of the CUBISM system, and discuss the challenge posed by the system’s ultimate purpose, which is to automatically detect anomalous changes in participants’ expressed or implied beliefs about the world and each other, including shifts toward or away from cultural and community (...) norms. (shrink)

We introduce the CUBISM system for the analysis and deep understanding of multi-participant dialogues. CUBISM brings together two typically separate forms of discourse analysis: semantic analysis and sociolinguistic analysis. In the paper proper, we describe and illustrate major components of the CUBISM system, and discuss the challenge posed by the system’s ultimate purpose, which is to automatically detect anomalous changes in participants’ expressed or implied beliefs about the world and each other, including shifts toward or away from cultural and community (...) norms. (shrink)

Knowledge Representation and Reasoning (KR&R) is based on the idea that propositional content can be rigorously represented in formal languages long the province of logic, in such a way that these representations can be productively reasoned over by humans and machines; and that this reasoning can be used to produce knowledge-based systems (KBSs). As such, KR&R is a discipline conventionally regarded to range across parts of artificial intelligence (AI), computer science, and especially logic. This standard view of KR&R’s participating fields (...) is correct — but dangerously incomplete. The view is incomplete because, as we explain herein, sophisticated KR&R must rely heavily upon philosophy. Encapsulated, the reason is actually quite straightforward: Sophisticated KR&R must include the representation of not only simple properties, but also concepts that are routine in the formal sciences (theoretical computer science, mathematics, logic, game theory, etc.), and everyday socio-cognitive concepts like mendacity, deception, betrayal, and evil. Because in KR&R the representation of such concepts must be rigorous in order to enable machine reasoning (e.g., machine-generated and machine-checked proofs that a is lying to b) over them, philosophy, devoted as it is in no small part to supplying analyses of such concepts, is a crucial partner in the overall enterprise. To put the point another way: When the knowledge to be represented is such as to require lengthy formulas in expressive formal languages for that representation, philosophy must be involved in the game. In addition, insofar as the advance of KR&R must allow formalisms and processes for representing and reasoning over visual propositional content, philosophy will be a key contributor into the future. (shrink)