See also: IRC log
set of external schema for PRD including print (and maybe other PRD built-ins)
<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)
And in the conclusion could be completely redefined for the conclusion making it context dependend
what about just not?
<PaulVincent> Negation: not clauses...
neg = classical negation
<cke> I prefer "not" if it works, otherwise "negate", etc.
naf = negation as failure
<cke> not naf, it means that the reverse of true if not false (ternary logic)
<PaulVincent> Knowledge-free "not" = knot
<csma> csma: why is not the And element in the conclusion derived from the And in the condition?
<PaulVincent> Negation terms: "¬" ... can we use not in the PRD schema but PNot in the spec?
what about <Not type="prd:inflatonary">...</Not>?
<cke> or maybe "bnot" for binary not
<cke> or bnot for boolean not
<PaulVincent> I prefer "not" but would accept "Not-p" to discriminate...
infNOt, nafNot, classNot, ...
<csma> Re negation name: Propose to use Not; we will try to find another name if the group objects to Not.
minutes from PRD break-out session are available on the F2F13 web page
This is scribe.perl Revision: 1.135 of Date: 2009/03/02 03:52:20 Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/ Guessing input format: RRSAgent_Text_Format (score 1.00) No ScribeNick specified. Guessing ScribeNick: AdrianP Inferring Scribes: AdrianP WARNING: No "Present: ... " found! Possibly Present: AdrianP IPcaller John_Hall Negation P0 P2 P3 PaulVincent cke csma johnhall You can indicate people for the Present list like this: <dbooth> Present: dbooth jonathan mary <dbooth> Present+ amy WARNING: No meeting title found! You should specify the meeting title like this: <dbooth> Meeting: Weekly Baking Club Meeting WARNING: No meeting chair found! You should specify the meeting chair like this: <dbooth> Chair: dbooth Got date from IRC log name: 21 Apr 2009 Guessing minutes URL: http://www.w3.org/2009/04/21-rif-prd-minutes.html People with action items: WARNING: Input appears to use implicit continuation lines. You may need the "-implicitContinuations" option.[End of scribe.perl diagnostic output]