105 research outputs found
Philosophical logics - a survey and a bibliography
Intensional logics attract the attention of researchers from differing academic backgrounds and various scientific interests. My aim is to sketch the philosophical background of alethic, doxastic, and deontic logics, their formal and metaphysical presumptions and their various problems and paradoxes, without attempting formal rigor. A bibliography, concise on philosophical writings, is meant to allow the reader\u27s access to the maze of literature in the field
Proceedings of the KI 2009 Workshop on Complex Cognition
The KI ´09 workshop on Complex Cognition was a joint venture of the Cognition group of the Special Interest Group Artificial Intelligence of the German Computer Science Society (Gesellschaft für Informatik) and the German Cognitive Science Association. Dealing with complexity has become one of the great challenges for modern information societies. To reason and decide, plan and act in complex domains is no longer limited to highly specialized professionals in restricted areas such as medical diagnosis, controlling technical processes, or serious game playing. Complexity has reached everyday life and affects people in such mundane activities as buying a train ticket, investing money, or connecting a home desktop to the internet. Research in cognitive AI can contribute to supporting people navigating through the jungle of everyday reasoning, decision making, planning and acting by providing intelligent support technology. Lessons learned from expert systems research of the nineteen-eighties show that the aim should not be to provide for fully automated systems which can solve specialized tasks autonomously but instead to develop interactive assistant systems where user and system work together by taking advantage of the respective strengths of human and machine. To accomplish a smooth collaboration between humans and intelligent systems, basic research in cognition is a necessary precondition. Insights into cognitive structures and processes underlying successful human reasoning and planning can provide suggestions for algorithm design. Even more important, insights into restrictions and typical errors and misconceptions of the cognitive systems provide information about those parts of a complex task from which the human should be relieved. For successful human-computer interaction in complex domains it has, furthermore, to be decided which information should be presented when, in what way, to the user. We strongly believe that symbolic approaches of AI and psychological research of higher cognition are at the core of success for the endeavor to create intelligent assistant system for complex domains. While insight into the neurological processes of the brain and into the realization of basic processes of perception, attention and senso-motoric coordination are important for the basic understanding of the principles of human intelligence, these processes have a much too fine granularity for the design and realization of interactive systems which must communicate with the user on knowledge level. If human system users are not to be incapacitated by a system, system decisions must be transparent for the user and the system must be able to provide explanations for the reasons of its proposals and recommendations. Therefore, even when some of the underlying algorithms are based on statistical or neuronal approaches, the top-level of such systems must be symbolical and rule-based. The papers presented at this workshop on complex cognition give an inspiring and promising overview of current work in the field which can provide first building stones for our endeavor to create knowledge level intelligent assistant systems for complex domains. The topics cover modelling basic cognitive processes, interfacing subsymbolic and symbolic representations, dealing with continuous time, Bayesian identification of problem solving strategies, linguistically inspired methods for assessing complex cognitive processes and complex domains such as recognition of sketches, predicting changes in stocks, spatial information processing, and coping with critical situations
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)
http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"
Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001
This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01
Integrating driving forces into the development of Adaptive Virtual Organizations
Organizations have become the backbone of the society. Humans live around
all kinds of organizations, such as neighborhood communities, businesses, schools,
unions, political, sports, and religious organizations, etc. These organizations have
a set of members, each playing a specific role, which determines their duties and
functionalities within the organization. One of these functionalities is to offer a
range of services to members of the organization and external people. These members
must follow a set of norms to ensure the proper functioning of the organization
and should pursue the global goals of the organization.
A feature that is repeated in organizations is that they are not static but
dynamic, resulting in changes in both its structure and the way in which they
behave. In an organization, any of its elements is prone to change due to situations
that occur in the organization itself or its environment. Researchers in the field
of social sciences and organizations have studied such situations, the reasons why
they appear and solutions and actions to be taken to ensure that this situation
does not damage the organization or to take advantage of the situation. These
situations are known as ‘Forces that drive organizational change’.
Human organizations are the main source of inspiration for the Multi-Agent
Systems (MAS) based on organizations. These systems are computational abstractions
that are populated by agents instead of people, but take into account
organizational elements such as roles, services, goals, norms, etc. However, the
proposals that have been presented up to now to define this type of MAS are focused
mostly on static systems, without changes in its structure. Moreover, in the
few proposals that take into account organizational changes, they just state that
changes occur, but without specifying the reason for change. Thus, the concept of
‘forces that drive organizational change’ (and their features) is not considered.
Therefore, the objective of this PhD thesis is to translate the knowledge of the
forces that drive organizational change available in human organizations to MASbased
organizations. These forces will be formally expressed with the factors that
help to detect them. The solutions to be taken when a force is detected will also
be presented. To correctly perform this task, a formalization for virtual organizations
is designed, named Virtual Organization Formalization (VOF). Moreover,
the Artifacts for Organizational Mechanisms are proposed, which are a tool to
help in the representation of organizational knowledge and in the modeling of the
environment of the organization. This tool is based on the Agents & Artifacts
(A&A) framework.Esparcia García, S. (2015). Integrating driving forces into the development of Adaptive Virtual Organizations [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/48538TESI
COIN@AAMAS2015
COIN@AAMAS2015 is the nineteenth edition of the series and the fourteen papers included in these proceedings demonstrate the vitality of the community and will provide the grounds for a solid workshop program and what we expect will be a most enjoyable and enriching debate.Peer reviewe
- …