Re: SUO: Re: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Mor phism, Paradigm, Prototype, Simulation
- To: Jack Park <jackpark@VERTICALNET.COM>, Jon Awbrey <jawbrey@oakland.edu>
- Subject: Re: SUO: Re: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Mor phism, Paradigm, Prototype, Simulation
- From: apease <apease@teknowledge.com>
- Date: Mon, 30 Oct 2000 19:02:33 -0800
- Cc: Stand Up Ontology <standard-upper-ontology@ieee.org>
- In-Reply-To: <028001c042a5$c4285af0$8165a8c0@isadra.com>
- Sender: owner-standard-upper-ontology@ieee.org
Jack,
A discussion of qualitative physics would be perfectly appropriate on
this forum. In particular, it would be good to agree on a set of
definitions covering the items Ken Forbus gives in one example at
http://www.qrg.ils.nwu.edu/ideas/qptidea.htm
(defProcess (heat-flow ?src ?dst ?path) ;; The physical process being defined
Individuals ((?src :conditions (Quantity (heat ?src))) ;; Kinds of
entities
(?dst :conditions (Quantity (heat ?dst))) ;; it occurs among
(?path :type Heat-Path
:conditions (Heat-Connection ?path ?src ?dst)))
Preconditions ((Heat-Aligned ?path)) ;; Non-dynamical antecedents
QuanityConditions ((greater-than (A (temperature ?src)) ;; Dynamical
(A (temperature ?dst)))) ;; antecedents
Relations ((Quantity flow-rate) ;; Consequences
(Q= flow-rate (- (temperature ?src) (temperature ?dst))))
Influences ((I+ (heat ?dst) (A flow-rate)) ;; Direct causal effects
(I- (heat ?src) (A flow-rate))))
Such items would include at a minimum the notions of rates and quantities
and the influence that some quantities have upon others in the context of a
given physical system (either class of systems or particular instance).
Adam
At 02:15 PM 10/30/2000 -0500, Jack Park wrote:
>Jon,
>I would be very interested to persue a discussion of qualitative physics.
>Would that need to be conducted on a different venue?
>Jack Park
>
>----- Original Message -----
>From: Jon Awbrey <jawbrey@oakland.edu>
><snippage>
>OK, this part I think I get, as I did spend some time studying
>the "Qualitative Physics" of Ken Forbus, Ben Kuipers, and others.
>But that was a long time ago, and my present approach to these
>issues has evolved quite a bit since then. Let me know if you
>want to talk about that.
>
>
>
>============================================================================
>This message is intended only for the use of the Addressee(s) and may
>contain information that is PRIVILEGED and CONFIDENTIAL. If you are not
>the intended recipient, dissemination of this communication is prohibited.
>If you have received this communication in error, please erase all copies
>of the message and its attachments and notify postmaster@verticalnet.com
>immediately.
>============================================================================
-----------------
Adam Pease
Teknowledge
(650) 424-0500 x571
- Prev by Date:
SUO: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Morphism, Paradigm, Prototype, Simulation
- Next by Date:
Re: SUO: Re: Re: Variables, Of A Sort
- Prev by thread:
SUO: Re: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Morphism, Paradigm, Prototype, Simulation
- Next by thread:
SUO: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Morphism, Paradigm, Prototype, Simulation
- Index(es):