On Tue, August 2, 2011 4:18, Matthew West said:
> Dear John,
> I disagree with your characterisation of a plan below. (01)
JS>> The word 'law' is a generic term for a wide range of propositions that
>> could also be called axioms, constraints, or requirements. (02)
>> MW: I don't see how a plan is a set of laws. A plan is a set of actions
>> (i.e. spatio-temporal extents, not laws). (03)
JS> The execution of a plan creates a sequence of actions. But the plan
>> itself is the specification of a goal to be achieved and a proposed
>> method for achieving that goal. (04)
> MW: In a 4D analysis a plan is a set of actions (spatio-temporal extents)
> in
> a possible world. The goal to be achieved is a state of affairs in that
> possible world at a point in time. It does not matter that they are in the
> future, the plan is the actions you intend to take, not the desired
> outcome. (05)
I suggest that a plan is something in between these two positions. The
Goal could be considered not to be "part" of the Plan, but an organizing
principle for the Plan. However, the Plan would be a proposed method of
achieving the Goal (through instantiating a set of Action types with a
specific (partial) ordering), and not a set of Actions. The intent is
NOT to engage in specific Actions, but to engage in Actions that meet
constraints of the plan (including inter-action temporal constraints). (06)
> MW: There may well be constraints. (07)
The constraints include the type of action (such as turning left at a
specific intersection instead of breaking an egg) as well as spatial,
temporal, and inter-action constraints. (08)
> These will make some courses of action non-feasible from the position
> you start from. This will make the courses of
> action that violate those constraints a bad choice of plan (not that that
> seems to stop people choosing them). (09)
Are you referring to bad plan design or bad plan execution? (010)
JS>> Most plans, as even the mouse knows, "gang oft agley." Very often,
>> they are not realized as a sequence of actions, or that sequence
>> doesn't terminate in the desired goal. (011)
> MW: Indeed, which is why very often the possible world of the plan turns
> out not to be the actual world we inhabit. (012)
In terms of possible worlds, the possible world of the plan is a loosely
constrained future world with much unspecified. The actual 4D world that
we inhabit (or 3D world that we WILL inhabit) has infinitely more content
(more facts are instantiated) than the possible world of the plan. The
possible world of the plan may or may not be consistent with the 4D/future
3D world of the plan, but it certainly is not the actual world we (will)
inhabit. (013)
JS>> The desired goal can be called a possible world. But more accurately,
>> it is a desired region of the actual world at some time in the future. (014)
Agreed. (015)
> MW: More or less. As I said, a particular state of affairs at a particular
> time. (016)
Recognizing that that particular state of affairs could exist in different
situations that have nothing to do with each other other than what is
specified by the goal. (017)
JS>> The specifications of the plan could be called axioms, constraints,
>> or laws. (018)
> MW: No. (019)
MW & JS are merely using different definitions of the word "constraints"
here. JS is not referring to linear programming constraints. (020)
> What is often the case is that the constraints (resource availability,
> time, materials) are inputs to formulating a feasible plan (I think of
> linear programming in the oil industry). However, the constraints
> are not the plan itself. (021)
The LP constraints are not the plan, but the plan can be conceptualized
as a set of constraints on actions that can be taken to realize the plan. (022)
JS>> The laws can be very tentative. But the critical point that
>> distinguishes laws from the facts is that the laws are constraints on
>> the way a sequence of actions may, can, or must result in some
>> observable facts. If that sequence is what somebody had intended in
>> order to achieve some goal, then it can be called the execution of a
>> plan.
>
> MW: A sequence of action (types) is a method, but not a plan. A plan may
> be a particular execution of a method (but not necessarily). (023)
A Method may be more generic than a Plan. E.g., a method for making a
cake may be a recipe, while a plan for making a cake may involve a
specific oven, set of utensils, flour and eggs from certain bins, a
certain cook, etc. I don't understand how the definition of "plan" can
be the *execution* of a method, which i understand to mean a single
complex event. (024)
-- doug f (025)
>
> Regards
>
>
>
> Matthew West
>
> Information Junction
>
> Tel: +44 1489 880185
>
> Mobile: +44 750 3385279
>
> Skype: dr.matthew.west
>
> <mailto:matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx>
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
>
> <http://www.informationjunction.co.uk/>
> http://www.informationjunction.co.uk/
>
> <http://www.matthew-west.org.uk/> http://www.matthew-west.org.uk/
>
>
>
> This email originates from Information Junction Ltd. Registered in England
> and Wales No. 6632177.
>
> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> Hertfordshire, SG6 3JE.
>
>
>
>
>
> John
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> (026)
=============================================================
doug foxvog doug@xxxxxxxxxx http://ProgressiveAustin.org (027)
"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
- Dr. Martin Luther King Jr.
============================================================= (028)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (029)
|