From owner-cse663-fa08-list@LISTSERV.BUFFALO.EDU Thu Sep 11 14:56:17 2008 Date: Thu, 11 Sep 2008 14:56:02 -0400 From: "William J. Rapaport" Subject: 663: English as a KR language To: CSE663-FA08-LIST@LISTSERV.BUFFALO.EDU ------------------------------------------------------------------------ Subject: Some references on English as a KR language ------------------------------------------------------------------------ 1. John Sowa is involved in a project called Common Logic Controlled English. It is a very controlled fragment (variant?) of English designed to be easy to translate into Common Logic and vice versa. http://www.jfsowa.com/clce/specs.htm http://ontolog.cim3.net/forum/ontolog-forum/2007-03/msg00191.html http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip 2. Solovay, Robert M. (2002), "Fibonacci Numbers", (*) Journal of Formalized Mathematics, Vol. 14 http://www.cs.ualberta.ca/~piotr/Mizar/mirror/http/JFM/Vol14/fib_num.html (*) This is an odd article, written in a highly formalized version of English intended to be comprehensible to any mathematician. For more information on the formal language, called "Mizar", see: http://www.cs.ualberta.ca/~piotr/Mizar/mirror/http/language/