Action selection

Action selection is a way of characterizing the most basic problem of intelligent systems: what to do next. In artificial intelligence and computational cognitive science, "the action selection problem" is typically associated with intelligent agents and animats—artificial systems that exhibit complex behaviour in an agent environment. The term is also sometimes used in ethology or animal behavior.

One problem for understanding action selection is determining the level of abstraction used for specifying an "act". At the most basic level of abstraction, an atomic act could be anything from contracting a muscle cell to provoking a war. Typically for any one action-selection mechanism, the set of possible actions is predefined and fixed.

Most researchers working in this field place high demands on their agents:

  • The acting agent typically must select its action in dynamic and unpredictable environments.
  • The agents typically act in real time; therefore they must make decisions in a timely fashion.
  • The agents are normally created to perform several different tasks. These tasks may conflict for resource allocation (e.g. can the agent put out a fire and deliver a cup of coffee at the same time?)
  • The environment the agents operate in may include humans, who may make things more difficult for the agent (either intentionally or by attempting to assist.)
  • The agents themselves are often intended to model animals or humans, and animal/human behaviour is quite complicated.

For these reasons action selection is not trivial and attracts a good deal of research.

Characteristics of the action selection problem

[edit]

The main problem for action selection is complexity. Since all computation takes both time and space (in memory), agents cannot possibly consider every option available to them at every instant in time. Consequently, they must be biased, and constrain their search in some way. For AI, the question of action selection is what is the best way to constrain this search? For biology and ethology, the question is how do various types of animals constrain their search? Do all animals use the same approaches? Why do they use the ones they do?

One fundamental question about action selection is whether it is really a problem at all for an agent, or whether it is just a description of an emergent property of an intelligent agent's behavior. However, if we consider how we are going to build an intelligent agent, then it becomes apparent there must be some mechanism for action selection. This mechanism may be highly distributed (as in the case of distributed organisms such as social insect colonies or slime mold) or it may be a special-purpose module.

The action selection mechanism (ASM) determines not only the agent's actions in terms of impact on the world, but also directs its perceptual attention, and updates its memory. These egocentric sorts of actions may in turn result in modifying the agent's basic behavioural capacities, particularly in that updating memory implies some form of machine learning is possible. Ideally, action selection itself should also be able to learn and adapt, but there are many problems of combinatorial complexity and computational tractability that may require restricting the search space for learning.

In AI, an ASM is also sometimes either referred to as an agent architecture or thought of as a substantial part of one.

AI mechanisms

[edit]

Generally, artificial action selection mechanisms can be divided into several categories: symbol-based systems sometimes known as classical planning, distributed solutions, and reactive or dynamic planning. Some approaches do not fall neatly into any one of these categories. Others are really more about providing scientific models than practical AI control; these last are described further in the next section.

Symbolic approaches

[edit]

Early in the history of artificial intelligence, it was assumed that the best way for an agent to choose what to do next would be to compute a probably optimal plan, and then execute that plan. This led to the physical symbol system hypothesis, that a physical agent that can manipulate symbols is necessary and sufficient for intelligence. Many software agents still use this approach for action selection. It normally requires describing all sensor readings, the world, all of ones actions and all of one's goals in some form of predicate logic. Critics of this approach complain that it is too slow for real-time planning and that, despite the proofs, it is still unlikely to produce optimal plans because reducing descriptions of reality to logic is a process prone to errors.

Satisficing is a decision-making strategy that attempts to meet criteria for adequacy, rather than identify an optimal solution. A satisficing strategy may often, in fact, be (near) optimal if the costs of the decision-making process itself, such as the cost of obtaining complete information, are considered in the outcome calculus.

Goal driven architectures – In these symbolic architectures, the agent's behaviour is typically described by a set of goals. Each goal can be achieved by a process or an activity, which is described by a prescripted plan. The agent must just decide which process to carry on to accomplish a given goal. The plan can expand to subgoals, which makes the process slightly recursive. Technically, more or less, the plans exploits condition-rules. These architectures are reactive or hybrid. Classical examples of goal driven architectures are implementable refinements of belief-desire-intention architecture like JAM or IVE.

Distributed approaches

[edit]

In contrast to the symbolic approach, distributed systems of action selection actually have no one "box" in the agent which decides the next action. At least in their idealized form, distributed systems have many modules running in parallel and determining the best action based on local expertise. In these idealized systems, overall coherence is expected to emerge somehow, possibly through careful design of the interacting components. This approach is often inspired by artificial neural networks research. In practice, there is almost always some centralised system determining which module is "the most active" or has the most salience. There is evidence real biological brains also have such executive decision systems which evaluate which of the competing systems deserves the most attention, or more properly, has its desired actions disinhibited.

  • ASMO is an attention-based architecture developed by Mary-Anne Williams, Benjamin Johnston and their PhD student Rony Novianto.[1] It orchestrates a diversity of modular distributed processes that can use their own representations and techniques to perceive the environment, process information, plan actions and propose actions to perform.
  • Various types of winner-take-all architectures, in which the single selected action takes full control of the motor system
  • Spreading activation including Maes Nets (ANA)
  • Extended Rosenblatt & Payton is a spreading activation architecture developed by Toby Tyrrell in 1993. The agent's behaviour is stored in the form of a hierarchical connectionism network, which Tyrrell named free-flow hierarchy. Recently exploited for example by de Sevin & Thalmann (2005) or Kadleček (2001).
  • Behavior based AI, was a response to the slow speed of robots using symbolic action selection techniques. In this form, separate modules respond to different stimuli and generate their own responses. In the original form, the subsumption architecture, these consisted of different layers which could monitor and suppress each other's inputs and outputs.
  • Creatures are virtual pets from a computer game driven by three-layered neural network, which is adaptive. Their mechanism is reactive since the network at every time step determines the task that has to be performed by the pet. The network is described well in the paper of Grand et al. (1997) and in The Creatures Developer Resources. See also the Creatures Wiki.

Dynamic planning approaches

[edit]

Because purely distributed systems are difficult to construct, many researchers have turned to using explicit hard-coded plans to determine the priorities of their system.

Dynamic or reactive planning methods compute just one next action in every instant based on the current context and pre-scripted plans. In contrast to classical planning methods, reactive or dynamic approaches do not suffer combinatorial explosion. On the other hand, they are sometimes seen as too rigid to be considered strong AI, since the plans are coded in advance. At the same time, natural intelligence can be rigid in some contexts although it is fluid and able to adapt in others.

Example dynamic planning mechanisms include:

  • Finite-state machines These are reactive architectures used mostly for computer game agents, in particular for first-person shooters bots, or for virtual movie actors. Typically, the state-machines are hierarchical. For concrete game examples, see Halo 2 bots paper by Damian Isla (2005) or the Master's Thesis about Quake III bots by Jan Paul van Waveren (2001). For a movie example, see Softimage.
  • Other structured reactive plans tend to look a little more like conventional plans, often with ways to represent hierarchical and sequential structure. Some, such as PRS's 'acts', have support for partial plans.[2] Many agent architectures from the mid-1990s included such plans as a "middle layer" that provided organization for low-level behavior modules while being directed by a higher level real-time planner. Despite this supposed interoperability with automated planners, most structured reactive plans are hand coded (Bryson 2001, ch. 3). Examples of structured reactive plans include James Firby's RAP System and the Nils Nilsson's Teleo-reactive plans. PRS, RAPs & TRP are no longer developed or supported. One still-active (as of 2006) descendant of this approach is the Parallel-rooted Ordered Slip-stack Hierarchical (or POSH) action selection system, which is a part of Joanna Bryson's Behaviour Oriented Design.

Sometimes to attempt to address the perceived inflexibility of dynamic planning, hybrid techniques are used. In these, a more conventional AI planning system searches for new plans when the agent has spare time, and updates the dynamic plan library when it finds good solutions. The important aspect of any such system is that when the agent needs to select an action, some solution exists that can be used immediately (see further anytime algorithm).

Others

[edit]
  • CogniTAO is a decision making engine it based on BDI (belief-desire-intention), it includes built in teamwork capabilities.
  • Soar is a symbolic cognitive architecture. It is based on condition-action rules known as productions. Programmers can use the Soar development toolkit for building both reactive and planning agents, or any compromise between these two extremes.
  • Excalibur was a research project led by Alexander Nareyek featuring any-time planning agents for computer games. The architecture is based on structural constraint satisfaction, which is an advanced artificial intelligence technique.
  • ACT-R is similar to Soar. It includes a Bayesian learning system to help prioritize the productions.
  • ABL/Hap
  • Fuzzy architectures The fuzzy approach in action selection produces more smooth behaviour than can be produced by architectures exploiting boolean condition-action rules (like Soar or POSH). These architectures are mostly reactive and symbolic.

Theories of action selection in nature

[edit]

Many dynamic models of artificial action selection were originally inspired by research in ethology. In particular, Konrad Lorenz and Nikolaas Tinbergen provided the idea of an innate releasing mechanism to explain instinctive behaviors (fixed action patterns). Influenced by the ideas of William McDougall, Lorenz developed this into a "psychohydraulic" model of the motivation of behavior. In ethology, these ideas were influential in the 1960s, but they are now regarded as outdated because of their use of an energy flow metaphor; the nervous system and the control of behavior are now normally treated as involving information transmission rather than energy flow. Dynamic plans and neural networks are more similar to information transmission, while spreading activation is more similar to the diffuse control of emotional / hormonal systems.

Stan Franklin has proposed that action selection is the right perspective to take in understanding the role and evolution of mind. See his page on the action selection paradigm. Archived 2006-10-09 at the Wayback Machine

AI models of neural action selection

[edit]

Some researchers create elaborate models of neural action selection. See for example:

Catecholaminergic Neuron Electron Transport (CNET)

[edit]

The locus coeruleus (LC) is one of the primary sources of noradrenaline in the brain, and has been associated with selection of cognitive processing, such as attention and behavioral tasks.[3][4][5][6] The substantia nigra pars compacta (SNc) is one of the primary sources of dopamine in the brain, and has been associated with action selection, primarily as part of the basal ganglia.[7][8][9][10][11]  CNET is a hypothesized neural signaling mechanism in the SNc and LC (which are catecholaminergic neurons), that could assist with action selection by routing energy between neurons in each group as part of action selection, to help one or more neurons in each group to reach action potential.[12][13] It was first proposed in 2018, and is based on a number of physical parameters of those neurons, which can be broken down into three major components:

1) Ferritin and neuromelanin are present in high concentrations in those neurons, but it was unknown in 2018 whether they formed structures that would be capable of transmitting electrons over relatively long distances on the scale of microns between the largest of those neurons, which had not been previously proposed or observed.[14] Those structures would also need to provide a routing or switching function, which had also not previously been proposed or observed.  Evidence of the presence of ferritin and neuromelanin structures in those neurons and their ability to both conduct electrons by sequential tunneling and to route/switch the path of the neurons was subsequently obtained.[15][16][17]

2) ) The axons of large SNc neurons were known to have extensive arbors, but it was unknown whether post-synaptic activity at the synapses of those axons would raise the membrane potential of those neurons sufficiently to cause the electrons to be routed to the neuron or neurons with the most post-synaptic activity for the purpose of action selection.  At the time, prevailing explanations of the purpose of those neurons was that they did not mediate action selection and were only modulatory and non-specific.[18] Prof. Pascal Kaeser of Harvard Medical School subsequently obtained evidence that large SNc neurons can be temporally and spatially specific and mediate action selection.[19]  Other evidence indicates that the large LC axons have similar behavior.[20][21]

3) Several sources of electrons or excitons to provide the energy for the mechanism were hypothesized in 2018 but had not been observed at that time.  Dioxetane cleavage (which can occur during somatic dopamine metabolism by quinone degradation of melanin) was contemporaneously proposed to generate high energy triplet state electrons by Prof. Doug Brash at Yale, which could provide a source for electrons for the CNET mechanism.[22][23][24]

While evidence of a number of physical predictions of the CNET hypothesis has thus been obtained, evidence of whether the hypothesis itself is correct has not been sought. One way to try to determine whether the CNET mechanism is present in these neurons would be to use quantum dot fluorophores and optical probes to determine whether electron tunneling associated with ferritin in the neurons is occurring in association with specific actions.[6][25][26]

See also

[edit]

References

[edit]
  1. ^ Samsonovich, A. V. "Attention in the ASMO cognitive architecture." Biologically Inspired Cognitive Architectures (2010): 98. Archived 2022-11-06 at the Wayback Machine
  2. ^ Karen L. Myers. "PRS-CL: A Procedural Reasoning System". Artificial Intelligence Center. SRI International. Retrieved 2013-06-13.
  3. ^ Sara, Susan J (December 2015). "Locus Coeruleus in time with the making of memories". Current Opinion in Neurobiology. 35: 87–94. doi:10.1016/j.conb.2015.07.004. ISSN 0959-4388. PMID 26241632. S2CID 206952441.
  4. ^ Poe, Gina R.; Foote, Stephen; Eschenko, Oxana; Johansen, Joshua P.; Bouret, Sebastien; Aston-Jones, Gary; Harley, Carolyn W.; Manahan-Vaughan, Denise; Weinshenker, David; Valentino, Rita; Berridge, Craig; Chandler, Daniel J.; Waterhouse, Barry; Sara, Susan J. (2020-09-17). "Locus coeruleus: a new look at the blue spot". Nature Reviews Neuroscience. 21 (11): 644–659. doi:10.1038/s41583-020-0360-9. ISSN 1471-003X. PMC 8991985. PMID 32943779.
  5. ^ McBurney-Lin, Jim; Yang, Hongdian (2022-09-04). "The locus coeruleus mediates behavioral flexibility". Cell Reports. 41 (4): 111534. bioRxiv 10.1101/2022.09.01.506286. doi:10.1016/j.celrep.2022.111534. PMC 9662304. PMID 36288712. S2CID 252187005. Retrieved 2022-11-13.
  6. ^ a b Feng, Jiesi; Zhang, Changmei; Lischinsky, Julieta; Jing, Miao; Zhou, Jingheng; Wang, Huan; Zhang, Yajun; Dong, Ao; Wu, Zhaofa (2018-10-23). "A genetically encoded fluorescent sensor for rapid and specificin vivodetection of norepinephrine". doi:10.1101/449546. {{cite journal}}: Cite journal requires |journal= (help)
  7. ^ Varazzani, C.; San-Galli, A.; Gilardeau, S.; Bouret, S. (2015-05-20). "Noradrenaline and Dopamine Neurons in the Reward/Effort Trade-Off: A Direct Electrophysiological Comparison in Behaving Monkeys". Journal of Neuroscience. 35 (20): 7866–7877. doi:10.1523/jneurosci.0454-15.2015. ISSN 0270-6474. PMC 6795183. PMID 25995472. S2CID 6531661.
  8. ^ Fan, D.; Rossi, M. A.; Yin, H. H. (2012-04-18). "Mechanisms of Action Selection and Timing in Substantia Nigra Neurons". Journal of Neuroscience. 32 (16): 5534–5548. doi:10.1523/jneurosci.5924-11.2012. ISSN 0270-6474. PMC 6703499. PMID 22514315.
  9. ^ Partanen, Juha; Achim, Kaia (2022-09-06). "Neurons gating behavior—developmental, molecular and functional features of neurons in the Substantia Nigra pars reticulata". Frontiers in Neuroscience. 16: 976209. doi:10.3389/fnins.2022.976209. ISSN 1662-453X. PMC 9485944. PMID 36148148.
  10. ^ Stephenson-Jones, Marcus; Samuelsson, Ebba; Ericsson, Jesper; Robertson, Brita; Grillner, Sten (July 2011). "Evolutionary Conservation of the Basal Ganglia as a Common Vertebrate Mechanism for Action Selection". Current Biology. 21 (13): 1081–1091. Bibcode:2011CBio...21.1081S. doi:10.1016/j.cub.2011.05.001. ISSN 0960-9822. PMID 21700460. S2CID 9327412.
  11. ^ Guatteo, Ezia; Cucchiaroni, Maria Letizia; Mercuri, Nicola B. (2009), "Substantia Nigra Control of Basal Ganglia Nuclei", Birth, Life and Death of Dopaminergic Neurons in the Substantia Nigra, no. 73, Vienna: Springer Vienna, pp. 91–101, doi:10.1007/978-3-211-92660-4_7, ISBN 978-3-211-92659-8, PMID 20411770, retrieved 2022-11-13
  12. ^ Rourk, Christopher John (September 2018). "Ferritin and neuromelanin "quantum dot" array structures in dopamine neurons of the substantia nigra pars compacta and norepinephrine neurons of the locus coeruleus". Biosystems. 171: 48–58. Bibcode:2018BiSys.171...48R. doi:10.1016/j.biosystems.2018.07.008. ISSN 0303-2647. PMID 30048795. S2CID 51722018.
  13. ^ Rourk, Christopher J. (2020), "Functional neural electron transport", Quantum Boundaries of Life, Advances in Quantum Chemistry, vol. 82, Elsevier, pp. 25–111, doi:10.1016/bs.aiq.2020.08.001, ISBN 9780128226391, S2CID 229230562, retrieved 2022-11-13
  14. ^ Tribl, Florian; Asan, Esther; Arzberger, Thomas; Tatschner, Thomas; Langenfeld, Elmar; Meyer, Helmut E.; Bringmann, Gerhard; Riederer, Peter; Gerlach, Manfred; Marcus, Katrin (August 2009). "Identification of L-ferritin in Neuromelanin Granules of the Human Substantia Nigra". Molecular & Cellular Proteomics. 8 (8): 1832–1838. doi:10.1074/mcp.m900006-mcp200. ISSN 1535-9476. PMC 2722774. PMID 19318681. S2CID 23650245.
  15. ^ Rourk, Christopher J. (May 2019). "Indication of quantum mechanical electron transport in human substantia nigra tissue from conductive atomic force microscopy analysis". Biosystems. 179: 30–38. Bibcode:2019BiSys.179...30R. doi:10.1016/j.biosystems.2019.02.003. ISSN 0303-2647. PMID 30826349. S2CID 73509918.
  16. ^ Rourk, Christopher; Huang, Yunbo; Chen, Minjing; Shen, Cai (2021-06-16). "Indication of Highly Correlated Electron Transport in Disordered Multilayer Ferritin Structures". doi:10.31219/osf.io/7gqmt. S2CID 241118606. Retrieved 2022-11-13. {{cite journal}}: Cite journal requires |journal= (help)
  17. ^ Friedrich, I.; Reimann, K.; Jankuhn, S.; Kirilina, E.; Stieler, J.; Sonntag, M.; Meijer, J.; Weiskopf, N.; Reinert, T.; Arendt, T.; Morawski, M. (2021-03-22). "Cell specific quantitative iron mapping on brain slices by immuno-µPIXE in healthy elderly and Parkinson's disease". Acta Neuropathologica Communications. 9 (1): 47. doi:10.1186/s40478-021-01145-2. ISSN 2051-5960. PMC 7986300. PMID 33752749. S2CID 232322739.
  18. ^ Schultz, Wolfram (2016-02-02). "Reward functions of the basal ganglia". Journal of Neural Transmission. 123 (7): 679–693. doi:10.1007/s00702-016-1510-0. ISSN 0300-9564. PMC 5495848. PMID 26838982. S2CID 3894133.
  19. ^ Liu, Changliang; Goel, Pragya; Kaeser, Pascal S. (2021-04-09). "Spatial and temporal scales of dopamine transmission". Nature Reviews Neuroscience. 22 (6): 345–358. doi:10.1038/s41583-021-00455-7. ISSN 1471-003X. PMC 8220193. PMID 33837376.
  20. ^ Behl, Tapan; Kaur, Ishnoor; Sehgal, Aayush; Singh, Sukhbir; Makeen, Hafiz A.; Albratty, Mohammed; Alhazmi, Hassan A.; Bhatia, Saurabh; Bungau, Simona (July 2022). "The Locus Coeruleus – Noradrenaline system: Looking into Alzheimer's therapeutics with rose coloured glasses". Biomedicine & Pharmacotherapy. 151: 113179. doi:10.1016/j.biopha.2022.113179. ISSN 0753-3322. PMID 35676784. S2CID 249137521.
  21. ^ Breton-Provencher, Vincent; Drummond, Gabrielle T.; Sur, Mriganka (2021-06-07). "Locus Coeruleus Norepinephrine in Learned Behavior: Anatomical Modularity and Spatiotemporal Integration in Targets". Frontiers in Neural Circuits. 15: 638007. doi:10.3389/fncir.2021.638007. ISSN 1662-5110. PMC 8215268. PMID 34163331.
  22. ^ Brash, Douglas E.; Goncalves, Leticia C.P.; Bechara, Etelvino J.H. (June 2018). "Chemiexcitation and Its Implications for Disease". Trends in Molecular Medicine. 24 (6): 527–541. doi:10.1016/j.molmed.2018.04.004. ISSN 1471-4914. PMC 5975183. PMID 29751974.
  23. ^ Sulzer, David; Cassidy, Clifford; Horga, Guillermo; Kang, Un Jung; Fahn, Stanley; Casella, Luigi; Pezzoli, Gianni; Langley, Jason; Hu, Xiaoping P.; Zucca, Fabio A.; Isaias, Ioannis U.; Zecca, Luigi (2018-04-10). "Neuromelanin detection by magnetic resonance imaging (MRI) and its promise as a biomarker for Parkinson's disease". npj Parkinson's Disease. 4 (1): 11. doi:10.1038/s41531-018-0047-3. ISSN 2373-8057. PMC 5893576. PMID 29644335.
  24. ^ Premi, S.; Wallisch, S.; Mano, C. M.; Weiner, A. B.; Bacchiocchi, A.; Wakamatsu, K.; Bechara, E. J. H.; Halaban, R.; Douki, T.; Brash, D. E. (2015-02-19). "Chemiexcitation of melanin derivatives induces DNA photoproducts long after UV exposure". Science. 347 (6224): 842–847. Bibcode:2015Sci...347..842P. doi:10.1126/science.1256022. ISSN 0036-8075. PMC 4432913. PMID 25700512.
  25. ^ Pisano, Filippo; Pisanello, Marco; Lee, Suk Joon; Lee, Jaeeon; Maglie, Emanuela; Balena, Antonio; Sileo, Leonardo; Spagnolo, Barbara; Bianco, Marco; Hyun, Minsuk; De Vittorio, Massimo; Sabatini, Bernardo L.; Pisanello, Ferruccio (November 2019). "Depth-resolved fiber photometry with a single tapered optical fiber implant". Nature Methods. 16 (11): 1185–1192. doi:10.1038/s41592-019-0581-x. ISSN 1548-7091. PMID 31591577. S2CID 203848191.
  26. ^ Garg, Mayank; Vishwakarma, Neelam; Sharma, Amit L.; Singh, Suman (2021-07-08). "Amine-Functionalized Graphene Quantum Dots for Fluorescence-Based Immunosensing of Ferritin". ACS Applied Nano Materials. 4 (7): 7416–7425. doi:10.1021/acsanm.1c01398. ISSN 2574-0970. S2CID 237804893.

Further reading

[edit]
[edit]