Most of the work in agent-based social simulation has assumed highly simplified agent models, with little attention being paid to the details of individual cognition. Here, in an effort to counteract that trend, we substitute a realistic cognitive agent model (CLARION) for the simpler models previously used in an organizational design task. On that basis, an exploration is made of the interaction between the cognitive parameters that govern individual agents, the placement of agents in different (...) organizational structures, and the performance of the organization. It is suggested that the two disciplines, cognitive modeling and social simulation, which have so far been pursued in relative isolation from each other, can be profitably integrated. (shrink)

Baars (1988, 1997) has proposed a psychological theory of consciousness, called global workspace theory. The present study describes a software agent implementation of that theory, called ''Conscious'' Mattie (CMattie). CMattie operates in a clerical domain from within a UNIX operating system, sending messages and interpreting messages in natural language that organize seminars at a university. CMattie fleshes out global workspace theory with a detailed computational model that integrates contemporary architectures in cognitive science and artificial intelligence. Baars (1997) lists the (...) psychological ''facts that any complete theory of consciousness must explain'' in his appendix to In the Theater of Consciousness; global workspace theory was designed to explain these ''facts.'' The present article discusses how the design of CMattie accounts for these facts and thereby the extent to which it implements global workspace theory. (shrink)

This paper evaluates the current use of the Principal Agent Model (PAM) in accounting and finance, focusing on the agent'ss use of private information. The agent'ss behavioral norms in the the PAM deviate from commonly held ethical values in society, from models of man in conventional economic theory, and also from behavioral foundations of related business school fields like corporate strategy, business ethics, and human resource management. Still, it would be unwise to reject the PAM solely (...) because of its distasteful ethical assumptions. The model does appear to have predictive power, but its descriptive or normative qualities remain unexplored. The popularity of the PAM, with its extreme model of man, raises fundamental questions about the impact of this model on business school stakeholders and society at large. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements (...) of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route networks with the qualitative information necessary to evaluate and optimize route descriptions with regard to ambiguities in them. We identify different agent models that differ in how agents are assumed to process route descriptions while navigating through route (...) networks and discuss which agent models can be translated into PDL programs. Further, we analyze the computational complexity of matching route descriptions and paths in route networks in dependency of the agent model. Finally, we empirically evaluate the influence of the agent model on the optimization and the processing of route instructions. (shrink)

This book brings together contributions from leading researchers in the field of agent-based modelling and simulation. This approach has grown out of some recent and innovative ideas in the social sciences, computer sciences, life sciences, physics and game theory. It is proving helpful in understanding complexity in many domains. The opportunities it offers to explore the experimental approach to social and human behaviour is proving of theoretical and empirical value across a wide range of fields. With contributions from researchers (...) whose work has served to define this new field such as Nigel Gilbert, Robert Axtell (in economics and social science) and Jacques Ferber (in multi-agent systems), as well as practitioners who are working at the cutting edge of the new domain, this collection of essays has been assembled by two of its leading exponents: Frédéric Amblard and Denis Phan. The research, case studies and theoretical approaches discussed in this book are designed to introduce beginners and experts alike to the current state of play in this new and exciting field of social science. (shrink)

I argue for an intentional conception of representation in science that requires bringing scientific agents and their intentions into the picture. So the formula is: Agents (1) intend; (2) to use model, M; (3) to represent a part of the world, W; (4) for some purpose, P. This conception legitimates using similarity as the basic relationship between models and the world. Moreover, since just about anything can be used to represent anything else, there can be no unified ontology of (...) models. This whole approach is further supported by a brief exposition of some recent work in cognitive, or usage-based, linguistics. Finally, with all the above as background, I criticize the recently much discussed idea that claims involving scientific models are really fictions. (shrink)

Les modèles basés sur des agents en interactions, constituent des systèmes sociaux complexes, qui peuvent être simulés par informatiques. Ils se répandent dans les sciences économiques et sociales - comme dans la plupart des sciences des systèmes complexes. Des énigmes épistémologiques (ré)apparaissent. On a souvent opposé modèles et investigations empiriques : d’un côté, on considère les sciences empiriques fondées sur une observation méthodique (enquêtes, expériences) tandis que de l’autre, on conçoit les approches théoriques et la modélisation comme s’appuyant sur une (...) approche conceptuelle ou hypothético-déductive. la simulation a de son coté souvent été comparée à une forme d’expérience ou à une méthode intermédiaire entre la théorie et l’expérience. Tesfatsion a parlé de « laboratoire computationnel » comme d’une manière d’étudier « les comportements des systèmes complexes au moyen d’expériences sous contrôle qu’on peut répéter (réplicable)» et Axelrod a proclamé que la simulation serait « une troisième manière de pratiquer la science dans les sciences sociales », entre l’induction et la déduction. Nous introduisons de nouveaux concepts épistémologiques afin de montrer dans quelle mesure les auteurs ont raison lorsqu'ils se concentrent sur une signification empirique, instrumentale ou conceptuelle de leur modèle ou simulation. La première partie du chapitre discute plus particulièrement de l'épistémologie des modèles économiques à partir des travaux d’Hausman, Guala, Mäki, Sugden, Schelling etc. pour expliquer les divergences entre modèles et simulations. En distinguant entre modèles et simulations, comme entre entre types de modèles, types de simulations informatiques et types d'empiricité obtenue par une simulation, la seconde partie donne la possibilité de comprendre plus précisément - et ensuite de justifier - la diversité des positions épistémologiques présentées dans la première partie. En utilisant les notion de sous-symbolisation (due à Smolensky) et, de hiérarchie dénotationnelle (due à Goodman), une attention particulière est accordée à la multiplicité des pouvoirs dénotationnels des symboles en jeu dans les modèles complexes et les simulations informatiques. Selon cette grille d'analyse, on peut déterminer, dans chaque cas particulier son statut épistémique et la crédibilité qui peut y être associée. -/- Ce chapitre est une traduction (par Gilles Campagnolo) réviséee et augmentée par les auteurs de : Agent-Based Models and Simulations in Economics and Social Sciences: From Conceptual Exploration to Distinct Ways of Experimenting, Journal of Artificial Societies and Social Simulation 13 (1) 5 DOI: 10.18564/jasss.1532. (shrink)

Model-driven engineering provides abstractions and notations to improve the understanding and to support modeling, coding, and verification of applications for specific domains. Ontologies, on the...

Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a coalition of agents. Existing approaches to reasoning about coalitional ability are usually focused on games or transition systems, which are described in terms of states and actions. Such approaches however often neglect a key feature of multi-agent systems, namely that the actions of the agents require resources. In this paper, we describe a logic for reasoning about coalitional ability under resource constraints in (...) the probabilistic setting. We extend Resource-bounded Alternating-time Temporal Logic (RB-ATL) with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic resource-bounded ATL (pRB-ATL). We implement model-checking algorithms and present experimental results using simple multi-agent model-checking problems of increasing complexity. (shrink)

This volume brings together contributions from leading researchers in the field of agent-based modelling and simulation. This approach has grown out of some recent and innovative ideas in the social sciences, computer sciences, life sciences, physics and game theory. It is proving helpful in understanding complexity in many domains. The opportunities it offers to explore the experimental approach to social and human behaviour is proving of theoretical and empirical value across a wide range of fields. With contributions from researchers (...) whose work has served to define this new field such as Nigel Gilbert, Robert Axtell (in economics and social science) and Jacques Ferber (in multi-agent systems), as well as practitioners who are working at the cutting edge of the new domain, this collection of essays has been assembled by two of its leading exponents: Frédéric Amblard and Denis Phan. The research, case studies and theoretical approaches discussed in this book are designed to introduce beginners and experts alike to the current state of play in this new and exciting field of social science. (shrink)

Frigg and Reiss (2009) argue that philosophical problems in simulation bear enough resemblance to recognized issues in the philosophy of modeling that they only pose challenges analogous to those found in standard analytic models used to represent natural systems. They suggest that there are no new philosophical problems in computer simulation modeling beyond those found in traditional mathematical modeling. Winsberg (2009) has countered that there appear to be genuinely new epistemological problems in simulation modeling because the knowledge obtained from (...) them is ‘downward, motley, and autonomous.’ Here I draw out some specific ways that these epistemological problems are manifest in complex ecological simulation, especially in agent-based models. These models contain novel features that were impossible to anticipate prior to the computer revolution, and continue to present difficulties and challenges of both a practical and philosophical nature (Humphreys 2002). (shrink)

This commentary validates the fundamental evolutionary interconnection between the emergence of imitation and the mirror system. We present a novel computational framework for studying the evolutionary origins of imitative behavior and examining the emerging underlying mechanisms. Evolutionary adaptive agents that evolved in this framework demonstrate the emergence of neural “mirror” mechanisms analogous to those found in biological systems.

The consequentializing project relies on agentcentered value (aka agent-relative value), but many philosophers find the idea incomprehensible or incoherent. Discussions of agent-centered value often model it with a theory that assigns distinct better-than rankings of states of affairs to each agent, rather than assigning a single ranking common to all. A less popular kind of model uses a single ranking, but takes the value-bearing objects to be properties (sets of centered worlds) rather than states of affairs (sets (...) of worlds). There are rhetorical, presentational differences between these kinds of models, but are there also structural differences? Do the two kinds of models differ in their capacity to represent normative theories? Despite an initial appearance of equivalence, the two kinds of models are different. The single ranking of properties has greater representational power; its representations contain more information. The main question I address in this article is whether this extra information is useful, in the sense that it distinguishes between normative views that we think are really different, or whether it is just junk information. (shrink)

Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influence the information an agent can take into account when (...) making decisions at a particular point in time. We prove general completeness and decidability results for TRL, and analyse the impact of communication in an example system consisting of two agents which use different conflict resolution strategies. (shrink)

The perspective of modelling agents rather than using them for a specificed purpose entails a difference in approach. In particular an emphasis on veracity as opposed to efficiency. An approach using evolving populations of mental models is described that goes some way to meet these concerns. It is then argued that social intelligence is not merely intelligence plus interaction but should allow for individual relationships to develop between agents. This means that, at least, agents must be able to distinguish, (...) identify, model and address other agents, either individually or in groups. In other words that purely homogeneous interaction is insufficient. Two example models are described that illustrate these concerns, the second in detail where agents act and communicate socially, where this is determined by the evolution of their mental models. Finally some problems that arise in the interpretation of such simulations is discussed. (shrink)

This paper proposes a model for an artificial autonomous moral agent (AAMA), which is parsimonious in its ontology and minimal in its ethical assumptions. Starting from a set of moral data, this AAMA is able to learn and develop a form of moral competency. It resembles an “optimizing predictive mind,” which uses moral data (describing typical behavior of humans) and a set of dispositional traits to learn how to classify different actions (given a given background knowledge) as morally right, (...) wrong, or neutral. When confronted with a new situation, this AAMA is supposedly able to predict a behavior consistent with the training set. This paper argues that a promising computational tool that fits our model is “neuroevolution,” i.e. evolving artificial neural networks. (shrink)

Agent-based models (ABMs) are one type of simulation model used in the context of the COVID-19 pandemic. In contrast to equation-based models, ABMs are algorithms that use individual agents and attribute changing characteristics to each one, multiple times during multiple iterations over time. This paper focuses on three philosophical aspects of ABMs as models of causal mechanisms, as generators of emergent phenomena, and as providers of explanation. Based on my discussion, I conclude that while ABMs cannot (...) help much with causal inference, they can be viewed as etio-prognostic explanations of illness occurrence and outcome. (shrink)

While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling agents arguing and communicating using a shared argumentation space. We also show how to perform high-level operations like persuasion and negotiation through basic belief revision constructs, and present a working implementation of the language and the associated web interface.

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological tools so as to show to what precise extent each author is right when he focuses on some empirical, instrumental or conceptual significance of his model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between types of (...) empiricity, section 2 gives conceptual tools to explain the rationale of the diverse epistemological positions presented in section 1. Finally, we claim that a careful attention to the real multiplicity of denotational powers of symbols at stake and then to the implicit routes of references operated by models and computer simulations is necessary to determine, in each case, the proper epistemic status and credibility of a given model and/or simulation. (shrink)

It is suggested that some limitations of current designs for medical AI systems stem from the failure of those designs to address issues of artificial consciousness. Consciousness would appear to play a key role in the expertise, particularly the moral expertise, of human medical agents, including, for example, autonomous weighting of options in diagnosis; planning treatment; use of imaginative creativity to generate courses of action; sensorimotor flexibility and sensitivity; empathetic and morally appropriate responsiveness; and so on. Thus, it is argued, (...) a plausible design constraint for a successful ethical machine medical or care agent is for it to at least model, if not reproduce, relevant aspects of consciousness and associated abilities. In order to provide theoretical grounding for such an enterprise we examine some key philosophical issues that concern the machine modelling of consciousness and ethics, and we show how questions relating to the first research goal are relevant to medical machine ethics. We believe that this will overcome a blanket skepticism concerning the relevance of understanding consciousness, to the design and construction of artificial ethical agents for medical or care contexts. It is thus argued that it would be prudent for designers of MME agents to reflect on issues to do with consciousness and medical expertise; to become more aware of relevant research in the field of machine consciousness ; and to incorporate insights gained from these efforts into their designs. (shrink)

The idea of representation is central to many theories for embodied skillful action. Representation-centric cognition has been questioned in light of the prominence of E-cognition in the past two decades, including ecological psychology, sensorimotor theory, dynamical systems, and 4E cognition. The paper expands on the critique by offering alternate explanations for the information processing model of skill learning and embodied action. Mental representation plays a fundamental role in information processing explanations of embodied skillful action. The skilled activity is considered discretely (...) in information-theoretic approaches, consisting of a linear model of information input-process-output. According to the paper, the beginning, emergence, acquisition, performance, and mastery of an embodied skilled activity are all part of a human experience continuum. Using vehicle driving as an example, the paper examines diverse viewpoints on embodied skillful action. (shrink)

Current research in Explainable AI includes post-hoc explanation methods that focus on building transparent explaining agents able to emulate opaque ones. Such agents are naturally required to be accurate and trustworthy. However, what it means for an explaining agent to be accurate and trustworthy is far from being clear. We characterize accuracy and trustworthiness as measures of the distance between the formal properties of a given opaque system and those of its transparent explanantes. To this aim, we extend Probabilistic (...) Computation Tree Logic with operators to specify degrees of accuracy and trustworthiness of explaining agents. We also provide a semantics for this logic, based on a multi-agent structure and relative model-checking algorithms. The paper concludes with a simple example of a possible application. (shrink)

In this paper I examine the epistemic function of agent-based models of scientific inquiry, proposed in the recent philosophical literature. In view of Boero and Squazzoni’s classification of ABMs into case-based models, typifications and theoretical abstractions, I argue that proposed ABMs of scientific inquiry largely belong to the last category. While this means that their function is primarily exploratory, I suggest that they are epistemically valuable not only as a temporary stage in the development of ABMs of (...) science, but by providing insights into theoretical aspects of scientific rationality. I illustrate my point with two examples of highly idealized ABMs of science, which perform two exploratory functions: Zollman’s ABM which provides a proof-of-possibility in the realm of theoretical discussions on scientific rationality, and an argumentation-based ABM, which provides insights into potential mechanisms underlying the efficiency of scientific inquiry. (shrink)

This paper describes a decision model for an autonomous agent that provides an inhabitant with comfort based on information network technologies that connect home electric appliances with household equipment. The inhabitant enjoys the benefit of comfort, while he pays the cost for keeping that comfort. The autonomous agent should decide and control household equipment considering that cost from the inhabitant’s viewpoint. Thus, we utilized a representation scheme called an “influence diagram” that enabled us to model the decision-making process (...) of the agent from the inhabitant’s point of view. First, decision modeling using the influence diagram is presented via an example. The presented model consists of three information-processing modules: a module for estimating the situation of an inhabitant based on information from home networks, a module for evaluating comfort of the inhabitant, and a module for making decisions that maximize the utility of the inhabitant from both the viewpoints of comfort and the cost paid for that comfort. Next, an experiment for verifying whether the presented model is effective or not, and its results are described. Finally, our model of the agent is discussed in relation to social intelligence design by investigating the interactive processes between the agent and the inhabitant. (shrink)

This paper provides a new analysis of e - trust , trust occurring in digital contexts, among the artificial agents of a distributed artificial system. The analysis endorses a non-psychological approach and rests on a Kantian regulative ideal of a rational agent, able to choose the best option for itself, given a specific scenario and a goal to achieve. The paper first introduces e-trust describing its relevance for the contemporary society and then presents a new theoretical analysis of this (...) phenomenon. The analysis first focuses on an agent’s trustworthiness , this one is presented as the necessary requirement for e-trust to occur. Then, a new definition of e-trust as a second-order-property of first-order relations is presented. It is shown that the second-order-property of e-trust has the effect of minimising an agent’s effort and commitment in the achievement of a given goal. On this basis, a method is provided for the objective assessment of the levels of e-trust occurring among the artificial agents of a distributed artificial system. (shrink)

Making proper decisions in today’s complex world is a challenging task for decision makers. A promising approach that can support decision makers to have a better understanding of complex systems is agent-based modeling. ABM has been developing during the last few decades as a methodology with many different applications and has enabled a better description of the dynamics of complex systems. However, the prescriptive facet of these applications is rarely portrayed. Adding a prescriptive decision-making aspect to ABM can support (...) the decision makers in making better or, in some cases, optimized decisions for the complex problems as well as explaining the investigated phenomena. In this paper, first, the literature of DM with ABM is inquired and classified based on the methods of integration. Performing a scientometric analysis on the relevant literature lets us conclude that the number of publications attempting to integrate DM and ABM has not grown during the last two decades, while analysis of the current methodologies for integrating DM and ABM indicates that they have serious drawbacks. In this regard, a novel nature-inspired model articulation called optimal agent framework has been proposed to ameliorate the disadvantages and enhance the realization of proper decisions in ABM at a relatively low computational cost. The framework is examined with the Bass diffusion model. The results of the simulation for the customized model developed by OAF have verified the feasibility of the framework. Moreover, sensitivity analyses on different agent populations, network structures, and marketing strategies have depicted the great potential of OAF to find the optimal strategies in various stochastic and unconventional conditions which have not been addressed prior to the implementation of the framework. (shrink)

In this paper, we present an agent-based model for studying the impact of 'myside bias' on the argumentative dynamics in scientific communities. Recent insights in cognitive science suggest that scientific reasoning is influenced by `myside bias'. This bias manifests as a tendency to prioritize the search and generation of arguments that support one's views rather than arguments that undermine them. Additionally, individuals tend to apply more critical scrutiny to opposing stances than to their own. Although myside bias may pull (...) individual scientists away from the truth, its effects on communities of reasoners remain unclear. The aim of our model is two-fold: first, to study the argumentative dynamics generated by myside bias, and second, to explore which mechanisms may act as a mitigating factor against its pernicious effects. Our results indicate that biased communities are epistemically less successful than non-biased ones, and that they also tend to be less polarized than non-biased ones. Moreover, we find that two socio-epistemic mechanisms help communities to mitigate the effect of the bias: the presence of a common filter on weak arguments, which can be interpreted as shared beliefs, and an equal distribution of agents for each alternative at the beginning. (shrink)

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

We used agent-based modelling to highlight the advantages and disadvantages of several management styles in biology, ranging from centralized to egalitarian ones. In egalitarian groups, all team members are connected with each other, while in centralized ones, they are only connected with the principal investigator. Our model incorporated time constraints, which negatively influenced weakly connected groups such as centralized ones. Moreover, our results show that egalitarian groups outperform others if the questions addressed are relatively simple or when the communication (...) among agents is limited. Complex epistemic spaces are explored best by centralized groups. They outperform other team structures because the individual members can develop their own ideas with less interference of the opinions of others. The optimal ratio between time spent on experimentation and dissemination varies between different organizational structures. Furthermore, if the evidence is shared only after a relevant degree of certainty is reached, all investigated groups epistemically profit. We discovered that the introduction of seminars to the model changes the epistemic performance in favour of weakly connected teams. Finally, the abilities of the principal investigator do not seem to outperform cognitive diversity, as group performances were not strongly influenced by the increase of her abilities. (shrink)

Scientific research that could cause grave harm, either through accident or intentional malevolence, is known as dual-use research. Recent high-profile cases of dual-use research in the life sciences have led to debate about the extent to which restrictions on the conduct and dissemination of such research may impede scientific progress. We adapt formal models of scientific networks to systematically explore the effects that different regulatory schemes may have on a community’s ability to learn about the world. Our results suggest (...) that, contrary to common wisdom, some restrictions on the conduct and dissemination of dual-use research do not inhibit scientific progress and may actually aid communities in learning. (shrink)

The article presents an agent-based model of scientific interaction aimed at examining how different degrees of connectedness of scientists impact their efficiency in knowledge acquisition. The model is built on the basis of Zollman’s ABM by changing some of its idealizing assumptions that concern the representation of the central notions underlying the model: epistemic success of the rivalling scientific theories, scientific interaction and the assessment in view of which scientists choose theories to work on. Our results suggest that whether (...) and to what extent the degree of connectedness of a scientific community impacts its efficiency is a highly context-dependent matter since different conditions deem strikingly different results. More generally, we argue that simplicity of ABMs may come at a price: the requirement to run extensive robustness analysis before we can specify the adequate target phenomenon of the model.1 1Introduction2Zollman's 2010 Model3Static versus Dynamic Epistemic Success 3.1Introducing the notion of dynamic epistemic success3.2Implementation and results for the basic setup4Critical Interaction 4.1Introducing critique4.2Implementation and results5Inertia of Inquiry 5.1Introducing rational inertia5.2Implementation and results6Threshold Below Which Theories Are Equally Promising 6.1An inquiry that is even more difficult6.2Implementation and results7Discussion8Conclusion. (shrink)

A formal model for updates—the result of learning that the world has changed—in a multi-agent setting is presented and completely axiomatized. The model allows that several agents simultaneously are informed of an event in the world in such a way that it becomes common knowledge among the agents that the event has occurred. The model shares many features with the model for common announcements—an announcement about the state of the world in which it becomes common knowledge among the audience (...) that the announcement has been made—presented in Cantwell (2005), but exploits the difference between learning that a state of the world obtains and learning that the state of the world has changed. (shrink)

In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably (...) structured according to the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We further show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and we give a sound and complete axiomatization with respect to them. This approach to the agent’s internal deductive reasoning is finally combined with actions of external information. (shrink)