Abstract. Topoi are gradual inference rules, often used by experts in several problem classes: they can be exploited at various phases of a knowledge-based system life cycle. They can be studied at the two levels distinguished by Newelh the knowledge level and the symbol level. Some knowledge elicitation techniques such as rating grids and some knowledge acquisition methods such as KADS and KOD can be exploited in order to facilitate the acquisition of topoi. At the symbol level, different representations and implementations of topoi can be proposed and topoi can be formalized through several qualitative physics formalisms.
IntroductionThe notion of topoi 1 stems from Anscombre and Ducrot's argumentation theory [2]. A topos is a gradual inference rule such as "The more P, the more Q", "The less P, the less Q", ~'The more P, the less Q" or "The less P, the more Q", where P and Q are properties. The first two topoi are called positive topoi and the last two negative topoi. Several researchers studied the interest of such gradual knowledge for argumentation in linguistics [12,41] and for artificial intelligence: in particular, in the framework of knowledge-based systems (KBS), some researchers studied thoroughly the use of topoi for knowledge acquisition [23,27] Let us give a brief description of such research. In [12,41], the authors propose a topoi-based theory of argumentation in natural language. Topoi are seen as gradual rules that are applied to some elements of the signification of a phrase, and help to determine the argumentative orientation of the concerned utterance. A speaker chooses the topoi he supposes shared by his interlocutors. Topoi play an important role for representing expertise. In [41], the author distinguishes descriptive topoi and heuristic topoi and exploits the notion of topoi for explanations of an expert system. In [40], the author relies on the possibility theory and on fuzzy sets in order to reason on gradual rules. The dynamic gradual behaviour of a KBS is represented through a topoi base in [18]. The notion of conditional topoi is introduced in order to avoid conflicts between apparently contradictory topoi. The topoi base is exploited for specification and validation 1 The term "topoi" was chosen as a tribute to Aristotle's topoi.