Talk:Event calculus
| WikiProject Computer science | ||||||||||||||||||||||||
|
||||||||||||||||||||||||
Contents
Relation to the situation calculus?[edit]
cf [1], [2] Pgr94 (talk) 13:18, 15 April 2008 (UTC)
Reversion of likely Hewitt-spam[edit]
It appears that Carl Hewitt may have visited this page...--EngineerScotty (talk) 21:44, 17 August 2009 (UTC)
Criticism[edit]
The following content was deleted by someone.
(Deleted for readability; see the diff. —Piet Delport (talk) 2009-10-28 15:25)
68.170.176.166 (talk) 19:07, 20 August 2009 (UTC)
Why does Hewitt direct his criticism at the event calculus, when the same objections could be raised against the situation calculus, the fluent calculus, and many similar formalisations of change in AI? Have his criticisms been peer reviewed and published in a respected journal? Is this another case of his arbitrarily picking on one paradigm, logic programming, and claiming it has faults, when his criticism would apply equally well to numerous other paradigms? Logperson (talk) 06:48, 22 August 2009 (UTC)
- Sounds like you agree with Hewitt's criticism. You are correct that similar objections could be raised against the situation calculus. However, they apply particularly strongly to the event calculus.71.198.220.76 (talk) 16:35, 22 August 2009 (UTC)
- So why was the published criticism deleted from the article?71.198.220.76 (talk) 20:09, 23 August 2009 (UTC)
- Is there any reason that the criticism should not be restored? 71.198.220.76 (talk) 17:45, 2 September 2009 (UTC)
- The criticism is not really published, as far as I can tell. It is on the Arxiv, which presumably means it has not yet been peer-reviewed. 147.123.40.25 (talk) 08:17, 6 September 2009 (UTC)
Even DBLP and Google Scholar count ArXiv publications these days. The criticism cited in Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking ArXiv 0906.2756 of the Event Calculus is interesting on the grounds that "the fundamental assumption [1] of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default." 68.170.176.166 (talk) 21:18, 1 November 2009 (UTC)
- ^ The fundamental assumption is "Time-varying properties hold at particular time-points if they have been initiated by an action at some earlier time-point, and not terminated by another action in the meantime."
The following example was cited:
- Consider the following property: “Drive safely.” There may be no event which clearly delineates the transition from safe driving to unsafe driving in case of a collision although it is agreed that some “unsafe driving” occurred before the collision.
It seems like an important criticism.171.66.32.134 (talk) 01:13, 12 November 2009 (UTC)
- The criticism published by Professor Hewitt is specific to the event calculus. 76.254.235.105 (talk) 20:39, 20 September 2009 (UTC)
Wording[edit]
did you really intend to mean "f will be false and not true after t." ? (see section "Fluents and actions") —Preceding unsigned comment added by 140.93.1.136 (talk) 09:10, 5 March 2010 (UTC)
Events not just actions[edit]
If I understand correctly, one of the motivations of the event calculus was to formalize representation and reasoning about both external events and agent-generated actions. This article does not reflect that wider purpose. Logperson (talk) 15:32, 22 September 2014 (UTC)
