IRC log of rif-prd on 2009-04-21
Timestamps are in UTC.
- 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