Ok, well for example, if you say that the Queen is on a certain square of a chessboard, that is a state and it's also a contraint on the chess game. If you say your coke-can is to the right of the chessboard that is not a state of the chess-game, nor a constraint on it.

Generally the way you represent anything depends on the "game" being played. (Algebraic chess notation or whatever.)

On 7/6/2014 10:32 PM, Piaget Modeler via AGI wrote:
P is a proposition. Can be either a fact or a goal. How do you represent it?

Also, if there is a rule R, that contains Fact Q and Goal P, how do you represent those?

~PM

------------------------------------------------------------------------
Date: Sun, 6 Jul 2014 21:32:26 -0500
From: [email protected]
To: [email protected]
Subject: Re: [agi] Goals vs. Facts

State-transition space.

Or something with a similar name.

The system or agent has a set of states, the goal is to get the system or agent to a goal-state. The "universe" (or whatever you want to call it) has constraints on how those transitions can be made.

So is P a fact that effects constraints on transitions, or is it a goal-state?

-- Dimitry

On 7/6/2014 7:50 PM, Piaget Modeler via AGI wrote:

    Given a proposition P, how have people represented that notion
    that P is a goal of the system versus P being a fact that is true
    in the system?

    Given a rule that references goal P and fact Q, how has that been
    represented in other systems?

    Thoughts?


    ~PM
    *AGI* | Archives <https://www.listbox.com/member/archive/303/=now>
    <https://www.listbox.com/member/archive/rss/303/10215994-5ed4e9d1>
    | Modify <https://www.listbox.com/member/?&;> Your Subscription
    [Powered by Listbox] <http://www.listbox.com>



    ____________________________________________________________




------------------------------------------------------------------------
<http://www.avast.com/>   

This email is free from viruses and malware because avast! Antivirus <http://www.avast.com/> protection is active.


*AGI* | Archives <https://www.listbox.com/member/archive/303/=now> <https://www.listbox.com/member/archive/rss/303/19999924-4a978ccc> | Modify <https://www.listbox.com/member/?&;> Your Subscription [Powered by Listbox] <http://www.listbox.com>



____________________________________________________________
*Want to place your ad here?*
Advertise on United Online
<http://thirdpartyoffers.juno.com/TGL3142/53ba06bcee3de6bc3360st01duc>www.adsonar.com <http://thirdpartyoffers.juno.com/TGL3142/53ba06bcee3de6bc3360st01duc> *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> <https://www.listbox.com/member/archive/rss/303/10215994-5ed4e9d1> | Modify <https://www.listbox.com/member/?&;> Your Subscription [Powered by Listbox] <http://www.listbox.com>



____________________________________________________________



---
This email is free from viruses and malware because avast! Antivirus protection 
is active.
http://www.avast.com
____________________________________________________________
Want to place your ad here?
Advertise on United Online
http://thirdpartyoffers.juno.com/TGL3141/53ba1643b0ab01642388bst01duc


-------------------------------------------
AGI
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424
Modify Your Subscription: 
https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657
Powered by Listbox: http://www.listbox.com

Reply via email to