Modal verbs occur in contexts which convey information about non-actual states of affairs as well as in contexts which convey information about the actual world of the discourse. Modeling the semantic interpretation of non-actual states of affairs is notoriously complicated, sometimes requiring modal logic, belief revision, non-monotonic reasoning, and multi-agent autoepistemic models. This work presents linguistic features which disambiguate those instances of the past tense modal verbs `could’ and `would’ which occur in contexts where the proposition in the scope of the modal is not true in the actual world of the discourse from those instances which presuppose or entail that an event in their scope occurred in the actual world of the discourse. It also illustrates the complexity of the role of modal verbs in semantic interpretation and, consequently, the limitations of state of the art inference systems with respect to modal verbs. The features suggested for improving modal verb interpretation are based on the analysis of corpus data and insights from the linguistic literature.

In creative industries such as design and research it is common to reason about ‘problem-finding’ before tasks or goals can be established. Problem-finding may also continue throughout the problem-solving process, so achieving goals may be an ongoing process of discovery as well as iterative improvement and refinement. This paper considers the design of cognitive systems with complementary processes for both problem-finding and problem-solving. We review a range of approaches that may complement goal-directed reasoning when an artificial system does not or cannot know precisely what it is looking for. We argue that there is a spectrum of approaches that can be used for reasoning in the absence of goals, which make progressively weaker assumptions about the definition and presence goals, and that goal-oriented behavior can be an intermediate result of problem-finding, rather than as a starting point for problem-solving. We demonstrate one such approach based on implicit motives and incentives.

The ViewGen model of belief ascription assumes that each agent involved in a conversation has a belief space which includes models of what other parties to the conversation believe. The distinctive notion is that a basic procedure, called belief ascription, allows belief spaces to be amalgamated so as to model the updating and augmentation of belief environments. In this paper we extend the ViewGen model to a more general account of reference phenomena, in particular by the notion of a reachable ascription set (RAS) that links intensional objects across belief environments so as to locate the most heuristically plausible referent at a given point in a conversation. The key notion is the location and attachment of entities that may be under different descriptions, the consequent updating of the system's beliefs about other agents by default, and the role in that process of a speaker's and hearer's protocols that ensure that the choice is the appropriate one. An important characteristic of this model is that each communicator considers nothing beyond his own belief space. A conclusion we shall draw is that traditional binary distinctions in this area (like de dicto/de re and attributive/referential) neither classify the examples effectively nor do they assist in locating referents, whereas the single procedure we suggest does both. We also suggest ways in which this analysis can also illuminate other traditional distinctions such as referential and attributive use. The description here is not on an implemented system with results but a theoretical tool to be implemented within an established dialogue platform (such as Wilks et al. 2011).

In this paper we develop a model to simulate the evolution of a pollution-free resource gathering technology that is initially less efficient but ultimately reaches parity with polluting technology. We find that for low levels of pollution, pressure exerted by society can indeed encourage the development and use of non-polluting technology, with greater pressure being associated with faster achievement of efficiency parity and lower overall pollution. However, greater pressure is also associated with lower populations and at the highest levels of pressure there are significant risks of population crashes. We find that these results hold for both localized pollution and globalized pollution, with globalized pollution encouraging faster achievement of efficiency parity. For high levels of pollution we find that introducing societal pressure significantly increases the occurrence of population crashes, and thus the strategy is only effective under certain conditions.

This paper presents a training game intended to train crisis management teams to negotiate collaboratively in order to reach the group goal in the best way possible. The importance of the group goal in comparison to their individual goals is touched upon as well, as are various conflicts that can occur during such a negotiation. The game, which is implemented in the Blocks World 4 Teams environment, gives a team a specific scenario and allows them to negotiate a plan of action. This plan of action is then performed by agents, after which the team members will be debriefed on their performance. An experiment, containing multiple rounds to test the effect the game has on participants, is planned in the near future.

This paper proposes a novel agenda for cognitive systems research focused on the "social agency" problem, which concerns acting to produce mental states in other agents in addition to physical states of the world. The capacity for social agency will enable agents to perform a wide array of tasks in close association with people and is a valuable first step towards broader social cognition. We argue that existing cognitive systems have not addressed social agency because they lack a number of the required mechanisms. We describe an initial approach set in a toy scenario based on capabilities native to the ICARUS cognitive architecture. We utilize an analysis of this approach to highlight the open issues required for social agency and to encourage other researchers to address this important problem.

For intelligent agents modeled to emulate people, reference resolution is memory management: when processing an object or event – whether it appears in language or in the simulated physical or cognitive experience of the agent – the agent must determine how that object or event correlates with known objects and events, and must store the new memory with semantically explicit links to related prior knowledge. This paper discusses eventualities for memory-based reference resolution and the modeling strategies used in the OntoAgent environment to permit agents to fully and automatically make reference decisions.

This research aims to define a novel framework to employ engineering and mathematical models to study adaptive dynamics in heterarchial systems. This multi-profile descriptive platform and modeling approach is developed as a composite of conceptual behaviors and structural entity aspects of engineered complex adaptive systems (ECAS). While the US electric power system will be utilized for demonstration and validation, the framework has applicability to the general class of ECASs that are artificially created but highly interactive with natural and behavioral sciences. Conditioned on parameterization of the framework, a theorem will be presented to calibrate current structure and predict future dynamic behaviors of an ECAS. We analyze decentralized heterarchial ECASs to infer emergent behavior of the components, and evolution processes and adaptations of the whole system.

Lane changing can increase or impede the flow of vehicular traffic, depending on traffic density and the lane-changing strategies used by individual drivers. We implement and extend the Nagel-Schreckenberg (N-S) traffic model as an agent-based model to investigate lane-changing behavior on a multi-lane roadway, with the goal of determining which lane changing strategies result in the greatest overall traffic flow. We show that in heavier traffic, an aggressive lane changing policy may be beneficial for overall traffic flow.

The ability to delay intentions and remember them in the proper context is an important ability for general artificial agents. In this paper, we define the functional requirements of an agent capable of fulfilling delayed intentions with its long-term memories. We show that the long-term memories of different cognitive architec- tures share similar functional properties and that these mechanisms can be used to support delayed intentions. Finally, we do a preliminary evaluation of the different memories for fulfilling delayed intentions and show that there are trade-offs between memory types that warrant further research.