On Sun, 2019-10-20 at 11:29 -0700, Kerim Aydin wrote:
> I think this thesis is at least Masters level. I think a really good
> comparison would be to look at ais523's Master and PhD theses to see
> where this falls in between those. If the provided links/search
> don't have those, I'll dig for th
On 10/20/2019 12:56 AM, James Cook wrote:
> On Mon, 14 Oct 2019 at 22:16, Reuben Staley
> wrote:
>>> A1. Appendix 1: Graphs > A2. Appendix 2: Other attachments
>>> A.3 Appendix 3: Code
>>
>> I really appreciate these appendices and submit that the Agoran public
>> take them into account while c
Jason Cobb wrote:
2.6.1 Rule 2152
Rule 2152 ("Mother, May I?") is the rule that defines that pertain to
entities attempting to do things, and (generally people) being punished
for or required to do something. Thus, rules that depend on R2152 could
be considered to be more "pragmatic", dealin
On 10/20/19 3:56 AM, James Cook wrote:
To get a sense of what sort of thesis merits each kind of degree, is
there any practical way to put together an archive of past theses? The
"Blob's Thesis Archive" link on agoranomic.org has been a broken link
since the first time I tried it.
The Herald's m
On 10/20/19 3:51 AM, James Cook wrote:
Thanks for putting this together! Minor comments below.
On Sun, 13 Oct 2019 at 20:19, Jason Cobb wrote:
There is a 3-way tie for having the most direct dependencies: Rule 2532
("Zombies"), Rule 2438 ("Ribbons") and Rule 2581 ("Official Patent
Titles"). R2
On Mon, 14 Oct 2019 at 22:16, Reuben Staley wrote:
> > A1. Appendix 1: Graphs > A2. Appendix 2: Other attachments
> > A.3 Appendix 3: Code
>
> I really appreciate these appendices and submit that the Agoran public
> take them into account while considering which degree to give the H.
> Jason Cobb.
Thanks for putting this together! Minor comments below.
On Sun, 13 Oct 2019 at 20:19, Jason Cobb wrote:
> There is a 3-way tie for having the most direct dependencies: Rule 2532
> ("Zombies"), Rule 2438 ("Ribbons") and Rule 2581 ("Official Patent
> Titles"). R2483 is a great example of pulling to
On 10/15/19 12:47 PM, Kerim Aydin wrote:
This was an interesting loop to look at. I wonder how much of this is
due to rule consolidation? After all, no one sets out to write loops.
For example, Person used to have a standalone Rule (R2150) devoted
entirely to defining a Person (this was when we
On 10/15/2019 10:51 AM, Reuben Staley wrote:
> On 10/14/19 11:01 PM, Kerim Aydin wrote:
>> But are the dependencies you've identified truly circular? Many rules have
>> multiple independent clauses that could very well be separated into smaller
>> rules. If the "circularity" is created by a link
On 10/14/19 11:01 PM, Kerim Aydin wrote:
But are the dependencies you've identified truly circular? Many rules have
multiple independent clauses that could very well be separated into smaller
rules. If the "circularity" is created by a link to two entirely separate
clauses within a rule, that c
On Tuesday, October 15, 2019 2:02 PM, Jason Cobb wrote:
> On 10/15/19 6:53 AM, Timon Walshe-Grey wrote:
> > Further philosophising: if all the rules_were_ combined into one rule,
> > would
> > there be any meaningful semantic difference from the current "ruleset"? Or
> > would
> > Agora cease t
On 10/15/19 10:19 AM, Kerim Aydin wrote:
if a rule reads
better overall by combining several clauses I don't think it's a concern
if that makes the graph circular at the rules-level.
Alright, I agree. My previous statements notwithstanding, I would
certainly prefer the rules be readable than c
On 10/15/2019 6:47 AM, Jason Cobb wrote:
On 10/15/19 1:01 AM, Kerim Aydin wrote:
But are the dependencies you've identified truly circular? Many rules have
multiple independent clauses that could very well be separated into smaller
rules. If the "circularity" is created by a link to two ent
On 10/15/19 6:53 AM, Timon Walshe-Grey wrote:
Agree. Another way of thinking about it is, if all the rules were combined into
one rule (disregarding the necessary rephrasing of various metarules like R1030
and R2240), there would in theory be no mechanical difference, yet all the
circular depende
On 10/15/19 1:01 AM, Kerim Aydin wrote:
But are the dependencies you've identified truly circular? Many rules
have
multiple independent clauses that could very well be separated into
smaller
rules. If the "circularity" is created by a link to two entirely
separate
clauses within a rule, tha
On Tuesday, October 15, 2019 10:30 AM, Timon Walshe-Grey wrote:
> On Tuesday, October 15, 2019 5:01 AM, Kerim Aydin wrote:
> > On 10/14/2019 7:56 PM, Jason Cobb wrote:
> > > However, I would still argue that the rules should, at least ideally,
> > > avoid
> > > circular dependencies, even if onl
On Tuesday, October 15, 2019 5:01 AM, Kerim Aydin wrote:
> On 10/14/2019 7:56 PM, Jason Cobb wrote:
> > However, I would still argue that the rules should, at least ideally, avoid
> > circular dependencies, even if only as a matter of idealism. I've attached
> > to this email an svg file that I di
On 10/14/2019 7:56 PM, Jason Cobb wrote:
However, I would still argue that the rules should, at least ideally, avoid
circular dependencies, even if only as a matter of idealism. I've attached
to this email an svg file that I didn't include in my original submission.
But are the dependencies
On 10/14/19 10:56 PM, Jason Cobb wrote:
I created this file just to see what it looked like, but I didn't
include that in my original thesis
Gah; I didn't include this in my original thesis because I wasn't sure
how useful it would be, but it's interesting enough that I'll include it
in the
On 10/14/19 6:19 PM, Reuben Staley wrote:
On 10/13/19 2:19 PM, Jason Cobb wrote:
The clear solution to these problems was to machine-parse the
ruleset. There are two obvious ways to parse the ruleset - clone the
ruleset repository and parse the individual files and just parsing
the single-file
There is a lot of interesting stuff here. I may have more comments in
the future but for now I want to just point out a few things.
On 10/13/19 2:19 PM, Jason Cobb wrote:
The clear solution to these problems was to machine-parse the ruleset.
There are two obvious ways to parse the ruleset - clo
On 10/14/2019 12:08 PM, Jason Cobb wrote:
On 10/14/19 2:29 PM, Kerim Aydin wrote:
In terms of "late addition", the "Agora is a game of Nomic" was implicit
in the title of R1698 before it was put in R101, "the game never ends"
was in and out of some version of R2449, and of course the operative
On 10/14/19 2:29 PM, Kerim Aydin wrote:
In terms of "late addition", the "Agora is a game of Nomic" was implicit
in the title of R1698 before it was put in R101, "the game never ends"
was in and out of some version of R2449, and of course the operative
terms
(Rules, Players, Fora, Actions) all h
There's a lot of good stuff to chew on here, but I jumped right to this
part because your earlier comment on R101 (when you posted the graph)
intrigued me.
> Second, Rule 101 ("The Game of Agora") must get special treatment. By the
> text parsing strategy, R101 depends on: R2449, R869, R2141, a
24 matches
Mail list logo
