id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_minrsa6e45eqtd5mwmrhjxf2hq	R. Corlett	Socrates: a flexible toolkit for building logic-based expert systems	1988	11	.pdf	application/pdf	13024	1269	74	propose a solution based on the use o f logic and meta-level first complaint about shells concerning the expressiveness of the knowledge representation language is related Socrates uses a 'logical language' as the main formalism knowledge base in order to store and retrieve logical a knowledge-based system, where the logical language As the first part o f the declaration o f the logical representation language, the knowledge engineer has to declare Th e knowledge engineer declares the sorts o f the logic object-level interpreter handling the logical representation language and the c o r r e s p o n d i n g p r o o f theory. Figure 3 shows an example o f a control regime formulated in the procedural meta-level language. language'of a system: although the knowledge representation and inference process o f Socrates are both logic • The inference rules for the logical language: the set 	./cache/work_minrsa6e45eqtd5mwmrhjxf2hq.pdf	./txt/work_minrsa6e45eqtd5mwmrhjxf2hq.txt