S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search, we developed and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available subsystems (cf. [3]) Periodically, it assesses the state of the proof search process, evaluates the progress, chooses a promising direction for further search and redistributes the available resources accordingly. If the current search direction becomes increasingly less promising then backtracking to the previous ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search we developed and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available subsystems (cf. Zilberstein (1995)) Periodically, it assesses the state of the proof search process, evaluates the progress, chooses a promising direction for further search and redistributes the available resources accordingly. If the current search direction becomes increasingly less promising then backtracking to the previous ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....wit a particular environment. We adopt the term resource to describe the mostly quantitative constraints imposed onto the agent either by its environment (external resources, such as tools, fuel, workspace, etc. or by its computation device (internal resources, such as time and memory) Along [20], there are three options to realise bounded rationality based on this notion. Resource adapted systems (see [16] are built with a pre compiled reflection of supported by a grant from the Deutsche Forschungsgemeinschaft (DFG) 1 We speak of complex decisions as long term intentions that are ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search we developed and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available subsystems (cf. Zilberstein (1995)) Periodically, it assesses the state of the proof search process, evaluates the progress, chooses a promising direction for further search and redistributes the available resources accordingly. If the current search direction becomes increasingly less promising then backtracking to the previous ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search we developed and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available subsystems (cf. Zilberstein (1995)) Periodically, it assesses the state of the proof search process, evaluates the progress, chooses a promising direction for further search and redistributes the available resources accordingly. If the current search direction becomes increasingly less promising then backtracking to the previous ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search we developed and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available subsystems (cf. Zil95] Periodically, it assesses the state of the proof search process, evaluates the progress, chooses a promising direction for further search and redistributes the available resources accordingly. If the current search direction becomes increasingly less promising then backtracking to the previous ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search we developed and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available subsystems (cf. Zil95] Periodically, it assesses the state of the proof search process, evaluates the 10 progress, chooses a promising direction for further search and redistributes the available resources accordingly. If the current search direction becomes increasingly less promising then backtracking to the ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, 1995. 33

.... a) Whereas it looks quite simple at a first glance this little higher order (HO) problem cannot be solved by most automatic HO theorem provers known to the authors, since it requires the application of 2 In this paper we adopt the notions of resource adapted and resource adaptive as defined in [13], where the former means that agents behave with respect to some initially set resource distribution. According to the latter concept agents have an explicit notion of resources themselves, enabling them to actively participate in the dynamic allocation of resources. 2 the extensionality ....

....of our system are: i) The available computation time and memory space. ii) Classification knowledge on the single agents and the agent societies. iii) Criteria and algorithms available to the classification agent. Our approach can be considered as an instance of a boundedly rational system [13, 11]. The work is also related to [6] which presents an abstract resource concept for multi layered agent architectures. 8] describes a successful application of this framework within the Robocup simulation. 5 A higher order theorem prover integrated to Omega mega. 12 Consequently some future ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995. 14

....of computation time and memory space. In order to prevent this, and furthermore, to guide the proof search we propose to develop and employ a resource management concept in proof search. Resource management is a technique which distributes the available resources amongst the available agents (cf. [28]) Periodically, it assesses the state of the proof search process, evaluates the progress and redistributes the available resources accordingly. Hence, only successful or promising proof attempts will be allowed to continue searching for a proof. This process is repeated until a proof is found, ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995. 12

....on a ND calculus [12] we want to point out that our mechanism is in no way restricted to a specific logic or calculus, and can easily be adapted to other interactive theorem proving contexts as well. 2 In this paper we adopt the notions of resource adapted and resource adaptive as defined in [21], where the former notion means that agents behave with respect to some initially set resource distribution. According to the latter concept agents have an explicit notion of resources themselves, enabling them to actively participate in the dynamic allocation of resources. in [5] In Sec. 4 we ....

....of our system are: i) The available computation time and memory space. ii) Classification knowledge on the single agents and the agent societies. iii) Criteria and algorithms available to the classification agent. Our approach can be considered as an instance of a boundedly rational system [21, 20]. The work is also related to [13] which presents an abstract resource concept for multi layered agent architectures. 16] describes a successful application of this framework within the Robocup simulation. Consequently some future work should include a closer comparison of our mechanism with this ....

S. Zilberstein. Models of Bounded Rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....the complexity and time needed for decision making in time constrained situation, we compile the results of deliberative decision making into a set of reactive condition action rules with numerous machine learning algorithms. An autonomous agent can use the compiled knowledge [ Russell, 1989; Zilberstein, 1995 ] and either eliminate the deliberative decision making all together, or constrain the number of alternative actions considered by excluding the ones that are likely to be suboptimal. We propose an adaptive and deliberative agent (ADA) architecture, as consisting of compiled and deliberative ....

S. Zilberstein. Models of bounded rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....investigated [SKM] The relevant resources are, in addition to time and memory space, user availability as well as the frequency of user interaction. At this issue, the proof planner of Omega mega is conceived in such a way that it has a resource adaptive behaviour. Following the terminology in [Zil95] the planner has to act with bounded rationality by adaptation. This property of the planner is achieved by a planner modus which defines the planner behaviour depending on which and how many resources are available. Each of the modi mentioned above possesses some parameters for resource ....

Sh. Zilberstein. Models of bounded rationality. In AAAI Fall Symposium on Rational Agency, Cambridge, Massachusetts, November 1995.

....our agents are not omniscient, we do not consider emotional agents 5 , nor do we consider the problem of bounded social rationality. Thus, just as rationality is the ideal for individual agents and bounded rationality allows more tractable agents to be constructed (Russell and Wefald, 1991; Zilberstein, 1995), so we first need to uncover the ideal for responsible agents before we can start building more tractable responsible agents. In terms of the knowledge dimension, our work is primarily concerned with identifying the social structures and social goals which need to be in place for responsible ....

Zilberstein S, (1995) "Models of Bounded Rationality" Proc AAAI-95 Fall Symposium Series Rational Agency: Concepts, Theories, Models and Applications.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC