From Lutz.Schroeder at dfki.de  Fri Aug 12 15:42:23 2011
From: Lutz.Schroeder at dfki.de (=?UTF-8?B?THV0eiBTY2hyw7ZkZXI=?=)
Date: Fri, 12 Aug 2011 15:42:23 +0200
Subject: [Hets-devel] [Hets] #171: sublogics based on theories?
In-Reply-To: <053.d7de7b90b1521096cb424a8957083574@informatik.uni-bremen.de>
References: <044.ff16dc261f0cd4742201733df54f56a8@informatik.uni-bremen.de>
	<053.d7de7b90b1521096cb424a8957083574@informatik.uni-bremen.de>
Message-ID: <4E452DBF.1060403@dfki.de>

Hi,

yes, I think this is still relevant: e.g. it is needed for the CAS 
translation. I don't think it's enough to replace only the empty 
signature with the supplied theory, but the supplied theory should be 
added to every signature (unless every signature explicitly extends the 
empty one...).

Cheers,

Lutz


Am 12.08.2011 15:33, schrieb Hets:
> #171: sublogics based on theories?
> ----------------------+-----------------------------------------------------
>   Reporter:  till      |       Owner:  till
>       Type:  feature   |      Status:  new
>   Priority:  critical  |   Milestone:  0.99
> Component:  logic     |     Version:  0.66
>   Keywords:            |
> ----------------------+-----------------------------------------------------
> Changes (by maeder):
>
>    * owner:  maeder =>  till
>
>
> Comment:
>
>   Is this ticket still relevant? I could implement the syntactic extension
>
>   {{{
>   logic<lid>  theory {...}
>   }}}
>
>   where whenever the empty signature of the logic "lid" is needed the
>   supplied theory following the new keyword "theory" would be used. Maybe a
>   name for this base theory would also be nice to see in the dev.graph.
>

-- 
--------------------------------------
Prof. Dr. Lutz Schr?der
Senior Researcher
DFKI Bremen	
Safe and Secure Cognitive Systems
Cartesium, Enrique-Schmidt-Str. 5
D-28359 Bremen

phone: (+49) 421-218-64216
Fax:   (+49) 421-218-9864216
mail: Lutz.Schroeder at dfki.de
www.dfki.de/sks/staff/lschrode
--------------------------------------


-------------------------------------------------------------
Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern

Gesch?ftsf?hrung:
Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender)
Dr. Walter Olthoff

Vorsitzender des Aufsichtsrats:
Prof. Dr. h.c. Hans A. Aukes

Amtsgericht Kaiserslautern, HRB 2313
-------------------------------------------------------------