16:56:58 <RRSAgent> RRSAgent has joined #rif-prd
16:56:58 <RRSAgent> logging to http://www.w3.org/2009/04/21-rif-prd-irc
16:57:08 <csma> rrsagent, make log public
16:57:16 <csma> rrsagent, make minutes
16:57:16 <RRSAgent> I have made the request to generate http://www.w3.org/2009/04/21-rif-prd-minutes.html csma
17:00:27 <AdrianP> AdrianP has joined #rif-prd
17:00:38 <Zakim> SW_RIF(PRD)1:00PM has now started
17:00:45 <Zakim> +??P0
17:00:54 <csma> zakim, ??P0 is me
17:00:54 <Zakim> +csma; got it
17:01:36 <johnhall> johnhall has joined #rif-prd
17:02:42 <Zakim> +John_Hall
17:03:30 <Zakim> +??P2
17:03:37 <AdrianP> Zakim, ??P2 is me
17:03:37 <Zakim> +AdrianP; got it
17:04:00 <johnhall> zakim, mute me
17:04:00 <Zakim> John_Hall should now be muted
17:10:54 <Zakim> +??P3
17:11:12 <cke> cke has joined #rif-prd
17:15:45 <csma> Topic: definition of action builtins
17:16:27 <AdrianP> set of external schema for PRD including print (and maybe other PRD built-ins)
17:16:31 <csma> csma to remove definition of Iexecute, and use Iexternal instead (updating the definition of Iexternal in section 2 to refer to section 6 for action builtins)
17:20:57 <PaulVincent> PaulVincent has joined #rif-prd
17:21:52 <Zakim> +[IPcaller]
17:22:03 <AdrianP> And in the conclusion could be completely redefined for the conclusion making it context dependend
17:22:26 <PaulVincent> Zakim, [IPcaller] is me
17:22:26 <Zakim> +PaulVincent; got it
17:24:35 <csma> topic: XML schema
17:25:26 <AdrianP> what about just not?
17:25:32 <PaulVincent> Negation: not clauses...
17:25:44 <AdrianP> neg = classical negation
17:26:19 <cke> I prefer "not" if it works, otherwise "negate", etc.
17:26:25 <AdrianP> naf = negation as failure
17:27:02 <cke> not naf, it means that the reverse of true if not false (ternary logic)
17:27:10 <PaulVincent> Knowledge-free "not" = knot
17:27:22 <csma> csma: why is not the And element in the conclusion derived from the And in the condition?
17:29:20 <PaulVincent> Negation terms: "¬" ... can we use not in the PRD schema but PNot in the spec?
17:31:20 <AdrianP> what about <Not type="prd:inflatonary">...</Not>?
17:31:50 <cke> or maybe "bnot" for binary not
17:32:01 <cke> or bnot for boolean not
17:32:15 <PaulVincent> I prefer "not" but would accept "Not-p" to discriminate... 
17:32:46 <AdrianP> infNOt, nafNot, classNot, ...
17:35:29 <csma> Re negation name: Propose to use Not; we will try to find another name if the group objects to Not.
17:35:41 <csma> rrsagent, make minutes
17:35:41 <RRSAgent> I have made the request to generate http://www.w3.org/2009/04/21-rif-prd-minutes.html csma
17:36:16 <Zakim> -csma
17:36:17 <csma> csma has left #rif-prd
17:38:38 <AdrianP> minutes from PRD break-out session are available on the F2F13 web page
17:38:58 <johnhall> bye
17:38:59 <Zakim> -AdrianP
17:39:00 <Zakim> -PaulVincent
17:39:02 <johnhall> johnhall has left #rif-prd
17:39:03 <Zakim> -??P3
17:39:05 <AdrianP> rrsagent, make minutes
17:39:05 <RRSAgent> I have made the request to generate http://www.w3.org/2009/04/21-rif-prd-minutes.html AdrianP
17:39:06 <Zakim> -John_Hall
17:39:07 <Zakim> SW_RIF(PRD)1:00PM has ended
17:39:08 <Zakim> Attendees were csma, John_Hall, AdrianP, PaulVincent
19:43:44 <Zakim> Zakim has left #rif-prd