21 Apr 2009

See also: IRC log






definition of action builtins

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

XML schema

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

<johnhall> bye

Summary of Action Items

[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.135 (CVS log)
$Date: 2009/04/21 17:39:11 $

Scribe.perl diagnostic output

[Delete this section before finalizing the minutes.]
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]