W3C home > Mailing lists > Public > www-tag@w3.org > February 2006

Principle of Least Power (was Re: Agenda of 7 February 2006 TAG teleconference)

From: Henry S. Thompson <ht@inf.ed.ac.uk>
Date: Tue, 07 Feb 2006 19:32:04 +0000
To: noah_mendelsohn@us.ibm.com
Cc: Vincent.Quint@inrialpes.fr, www-tag@w3.org
Message-ID: <f5b3biv2cej.fsf@erasmus.inf.ed.ac.uk>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I realise I'm not altogether happy about the degree of vagueness of
the appeal to 'power' in the current draft.

In particular, I think we need to distinguish between expressiveness
on the one hand and formal complexity on the other, whether worst-case
time/space complexity or formal-language-theory complexity.

Expressive richness is not necessarily 'bad' complexity -- consider
boolean logic expressed with 0, 1 and Shaeffer stroke (== exclusive
or) versus boolean logic expressed with and, or, implication and
negation -- the latter is both more complex and _much_ easier to work
with, but at _no_ additional cost.

I think I'd be much happier if this were made clearer.

ht
- -- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFD6PW0kjnJixAXWBoRAkAHAJ4gB/MGGHUoGcqVgoV1yCkX9bjj1ACdHjPp
bn7ELWrcPIp+XQYX3qIGGTY=
=cRB/
-----END PGP SIGNATURE-----
Received on Tuesday, 7 February 2006 19:32:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:47:38 GMT