Having problems with message search?
mKR/mKE is not yet available as a web service,
but you can order pizza from your PC using this
mKR method
# KEHOME/test/buy.html
# Jun/7/2009
buy is method with
format = [product:1],
meaning = {
let browser = C:/Program Files/Internet Explorer/iexplore.exe;
let google = 'http://www.google.com/products?q=';
! "${browser}" "${google}$1" done;
};
# Jun/7/2009
buy is method with
format = [product:1],
meaning = {
let browser = C:/Program Files/Internet Explorer/iexplore.exe;
let google = 'http://www.google.com/products?q=';
! "${browser}" "${google}$1" done;
};
To execute from command prompt
$ ke -s
ke$ do read from test/buy.html done;
ke$ do buy od pizza done;
ke$ exit;
$
Dick McCullough
http://mkrmke.org
http://mkrmke.org
----- Original Message -----From: paola.dimaio@...To: [ontolog-forum]Sent: Sunday, June 07, 2009 2:38 AMSubject: Re: [ontolog-forum] Semantic v. Pragmatic Web
Use the mKR language to buy your pizza.
it would be good to see some mkr based web service
lots of basil on mine please
PDMDick McCullough
http://mkrmke.org----- Original Message -----From: "Sean Barker" <sean.barker@...>To: "Ontolog-Forum-Bounces" <ontolog-forum@...>Sent: Sunday, June 07, 2009 1:11 AMSubject: [ontolog-forum] Semantic v. Pragmatic Web> In the theoy of the sematic web, I can identify whether a particular pizza
> is the one I want to buy, and in theory I could identify if I've already
> ordered one (There exists order...), however I see no logical way of
> actually buying it. That is, holding fast to the distinction between
> semantics and pragmatics implies that semantic web must necessarily
> incomplete, because logic does not deal with performative utterenaces, such
> as "I'd like to buy a pizza".
>
> 1) Is this true?
>
> 2) If it is true, is this a design feature of the web?
>
> 3) If it is not true, how are pragmatics assert in FOL?
>
> Note: I tend to assume that it is not true on the basis of the following
> program fragment intermixing VDM and Pascal
>
> VDM: TRUE
> Pascal: x:= 3;
> VDM: (x = 3)
>
> That is VDM could assert pre- and post-conditions, but was not itself
> executable. At the time I looked at this there was some discussion of
> executable specifications, but I didn't follow this up.
>
> Sean Barker
> Bristol, UK
>
Offline 
Send Email