A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
There exist open games with the same types as unit maps, given by agents with the strategic goal of predicting a future value. Such agents appear in earlier work on selection functions. ... We explore the algebraic properties of these agents via the symmetric monoidal bicategory whose 2-cells are morphisms between open games, and show how the resulting structure approximates a compact closed ... In this paper we consider the agents that arise from the fixpoint selection function. The strategic goal of these agents is to correctly predict a future value. ...arXiv:1803.10131v1 fatcat:s7qnn4l4vbbonamsm544rg2eya
The safest and most effective way of building tokenomics is through formal methods. We offer algebraic modelling based on the theory of interactions between agents and environments. ... The behaviour of each agent, namely, the investor, product users, and traders on an exchange, and a smart contract, which controls the interaction, are defined by the set of actions presented in behaviour ... The algebra of behaviours was also developed by Gilbert and Letichevsky Sr. It is a two-sorted algebra over the actions of agents and behaviours. ...doi:10.31585/jbba-5-1-(4)2022 fatcat:jqz6g6ksr5hqpewaqlou254ucq
If the algebraic sum of the two scores is above +5, predict GESP success. If it is below —5, predict GESP failure. ... The algebraic score of the agent should represent how he is likely to co-operate with the percipient in the experiment, and the algebraic score of the percipient should represent how he is likely to co-operate ...
Agent tree computing models are example prototypes for modeling ontology algebras. ... A computing models based on a novel multi-agent competitive learning with multiplayer game tree plans are applied. Agents are assigned to transform the models to reach goal plans. ... The predictive diagrams  are applied to discover models to the intelligent game trees. ...doi:10.15439/2017f554 dblp:conf/fedcsis/NouraniE17 fatcat:2k23a4lrjvbn5nyquwwmeyvqry
A Bayesian agent learns about the structure of a stationary process from ob- serving past outcomes. ... We prove that his predictions about the near future become ap- proximately those he would have made if he knew the long run empirical frequencies of the process. ... When the focus is the quality of decisions, what matters is not the agents' belief about the true parameter but the quality of his predictions. ...arXiv:1406.6670v1 fatcat:oyi62hgl6vg7hccnpzrbr2t2c4
Robotics, AI, and Humanity
agents, enabling the derivation of theorems characterizing the possibilities and limitations of computational cognitive agents. ... While a thorough foundation for a general theory of cognitive agents is still missing, there is a line of development within AI research which aims at foundational justifications for the design of cognitive ... In order to define the quality of an agent policy, we need generalization of the loss function used to evaluate the predictions of learning agents. ...doi:10.1007/978-3-030-54173-6_3 fatcat:fr5ye4q6f5ejnjsslzsqsizhmi
Lecture Notes in Computer Science
Rajesh Nair Developed a new tool to predict Nuclear Localization Signals that bind DNA Junior Research Scientist (full-time) -The NYU Bioinformatics Group (Sep'02 -June'03) Member of the Valis project ... Carla Piazza, University of Udine, Italy) Designed and built the algebraic model checker Tolque that translates TCTL queries (about semi-algebraic hybrid automata) into quantifier elimination problems ...doi:10.1007/11590156_21 fatcat:7c57b3zny5bn5bgeesy2ck25w4
Lecture Notes in Computer Science
Acknowledgement This work is partially supported by the EU project QUANTICOL, 600708. ... there is spatial heterogeneity in the behaviour of agents. ... For most CAS systems we anticipate that one of the attributes could be the location of the agent. ...doi:10.1007/978-3-319-41579-6_1 fatcat:66ijosu525hxxfwfhk6pyllahq
development of agent-based models and modelling (ABM). ... We know there are many modelling types such as agent-based, micro-simulation and so on which did not feature as such in Lowry's classification but it is also clear that many of the origins of developments ... of these quantities that the predictions needed to meet. ...doi:10.1177/0265813516630803 fatcat:qfyvebnepbfvdmdtdcwmbqc64e
We give a characterization of reflexive Banach algebras involving the Arens product. ... This completes the proof of the theorem. REMARK. It is well known that a semisimple annihilator Banach algebra A is w.c.c. (see  ). Also, A has a dense socle. ... In this paper, all algebras and linear spaces under consideration are over the field C of complex numbers. (1) => (2) . Assume that A is reflexive. ...doi:10.1155/s0161171291000492 fatcat:es5piljhsjdvzeaq2uhmbip7nq
Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03
Using a vector of fundamental emotions, our algebra of emotion allows us to model self-generating emotions (such an interest or anger), have history-sensitive interactions, and accommodate gender differences ... Using NAMS (Negotiating Agents and Marital Stability), a couple who is considering marriage is aided in evaluating their compatibility. ... The elegant expression of the transformations via matrix algebra is the strength of this model. ...doi:10.1145/860722.860803 fatcat:vdtiso4ygzb7vk67esqmbmcllm
Using a vector of fundamental emotions, our algebra of emotion allows us to model self-generating emotions (such an interest or anger), have history-sensitive interactions, and accommodate gender differences ... Using NAMS (Negotiating Agents and Marital Stability), a couple who is considering marriage is aided in evaluating their compatibility. ... The elegant expression of the transformations via matrix algebra is the strength of this model. ...doi:10.1145/860575.860803 dblp:conf/atal/NemaniA03 fatcat:hac3ddyufrasdc5l7nmz3kjovq
The ability to predict the dynamics of ecological systems would support the design and monitoring of control strategies and would help to address pressing global environmental issues. ... To assist in the specification of such models, we introduce MELA, a process algebra for Modelling in Ecology with Location Attributes. ... Glenn Marion wishes to acknowledge funding from the Scottish Government. ...doi:10.4204/eptcs.227.6 fatcat:6jjwsdtdgvftnf2syuuoewuom4
Naval Research Logistics
In particular, this process may permit the scientist to predict the expected wear on, or effectiveness of, an entirely new item; basing his prediction on his knowledge of similar items which have been ... Before I develop the concept of relation to be presented here, I shall outline some dif- ferences between it and the relations of algebra. An algebraic relation is a precise statement. ...
We use an analogy between non-isomorphic mathematical structures defined over the same set and the algebras induced by associative and causal levels of information in order to argue that Reinforcement ... Learning, in its current formulation, is not a causal problem, independently if the motivation behind it has to do with an agent taking actions. ... Even while the intuition behind RL is that of an agent interacting with an environment, it does not mean that the mathematical model of such agent captures the notion of his actions as interventions in ...arXiv:1908.07617v2 fatcat:x2mywagz3vbmfpfgmzda3bnbyq
« Previous Showing results 1 — 15 out of 40,119 results