W3C home > Mailing lists > Public > www-math@w3.org > April 2002

Re: inference rule markup in W3C specs?

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 17 Apr 2002 19:43:04 -0500
Message-Id: <p05101519b8e3c480e709@[]>
To: Andrea Asperti <asperti@CS.UniBO.IT>
Cc: connolly@w3.org, www-math@w3.org, www-rdf-logic@w3.org
>MathML supports implication, and the difference between an implication
>and an inference rule is quite smooth (it is most a matter of notation).

That is rather a debatable claim, in general. And even if you do 
write them as implications, you need something like modus ponens to 
actually use the implications.

>If you strongly plea for having a specific markup for inference rules,
>I guess the issue could be considered inside MathML.
>Since we have MathML, it would be nice to be able to use it wherever
>it makes sense (i.e. in every context where you need some mathematical
>More generally, the MathML WG is becoming sensible to the problem
>of extending the content language beyond the K12 fragment.
>My only fear, in this case, is that the "intended domain" is not
>so clear to suggest a sufficiently standard and uniform content markup.

There are some very general-purpose notions of 'inference rule' 
floating about.  The basic idea is that one wants to be able to write 
expressions that 'match' some other expressions based on syntactic 
criteria and then rearrange some of the matched parts into a new 
well-formed expression. In an ideal world this could be stated in 
terms of the abstract syntactic categories involved, but that might 
be a little too much to ask.

>Do you have a clear idea of what you need? For instance, what
>kind of datatypes would you like to consider? Would you like
>to work in a typed or an untyped formal setting? etc. etc.

I would say, all the above. Is that impractical?

Pat Hayes
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Wednesday, 17 April 2002 20:43:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:32 UTC