Knowledge Representation (KR) is traditionally based on the logic of facts, expressed in boolean logic. However, facts about an agent can also be seen as a set of accomplished tasks by the agent. This paper proposes a new approach to KR: the notion of task logical KR based on Computability Logic. This notion allows the user to represent both accomplished tasks and accomplishable tasks by the ag...

Epistemic plausibility models are Kripke models agents use to reason about the knowledge and beliefs of themselves and each other. Restricting ourselves to the single-agent case, we determine when such models are indistinguishable in the logical language containing conditional belief, i.e., we define a proper notion of bisimulation, and prove that bisimulation corresponds to logical equivalence...

In this paper we present a framework in which issues such as mobility and security in the presence of firewalls can be studied. The framework is based on a simple language where mobility is expressed as atomic actions and the behaviour of a firewall is described as logical formulae. We also separate the role of co-ordinators from normal user processes. Co-ordinators can reconfigure firewalls ba...

Argumentation Mark-up Languages have been formulated for exporting and storing argumentation knowledge described by use of argument editing and visualisation tools. These tools enable user structuring of arguments through diagramatic linkage of natural language sentences. Recent work has focussed on implementations of formal logical models of argument inference, and argumentation based decision...

This article describes the Mobility-aware Tag-based Cooperation (MaTaCo) approach to cooperation enforcement in mobile environments or MANETs. The MaTaCo approach models individual nodes in mobile environments or MANETs as adaptive tag-based agents capable of adapting their cooperation to changing mobile environment. In contrast to existing work on tag-based cooperation, MaTaCo provides a mobil...

groundwaters hydrochemistry of ayrakan and cheshmeh shotori areas and geochemistry of rare earth elements, indicate ayrakan alkali granite as the origin of uranium and other dissolved elements in groundwaters of these areas. geochemical and hydrogeochemical studies as well as the trend of uranium and thorium transition and mobility in aqueous environments of these areas indicate uranium adsorpt...

Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficult to understand collaborations among agents and travels of individual agents as a whole because mobility/collaboration functions tend to be intertwined in the code; it is difficult to define behaviors of agents explicitly becaus...

The growing presence of digital distributed systems in social life is exemplified by many particular instances, including opinion forums, social networks, dating sites and photo sharing portals. The increased usage in the last decade of these systems brings various risks and behaviors, inherent from the social interaction therein. An epistemic aspect is singled out as a common feature shared be...

Syntactic structures based on standard syntactic assignments model knowledge directly rather than as truth in all possible worlds as in modal epistemic logic, by assigning arbitrary truth values to atomic epistemic formulae. This approach to epistemic logic is very general and is used in several logical frameworks modeling multi-agent systems, but has no interesting logical properties — partly ...