An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents

We propose a framework for answering the question of whether statements made by an agent can be believed, in light of observations made over time. The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning. The framework is suitable for concrete implementation, e.g., using answer set programming for asserting the truthfulness of statements made by agents, starting from observations, knowledge about the actions of the agents, and a theory about the "normal" behavior of agents

Legal security and credibility in agent based virtual enterprises

Recent trends in the field of Artificial Intelligence, brought along new ways of formalizing and expressing wills and declarations. Its application to Virtual Enterprises requires an analysis of the interactions among agents, frameworks and users, as well as technical and legal analysis, in order to discover the rules to be applied, to solve a particular problem under a prospective scenario. Credibility, trust and security issues must be taken under consideration, especially concerning authenticity, confidentiality, integrity and non-repudiation. In order to increase the use of agents in Virtual Enterprises, besides the analysis and research of legal solutions in the commercial arena, it is essential to assure that agents will meet requirements of credibility and trust, insuring a transparent and secure way for their commercial acting, now capable of generating legal relations. This paper shows how to construct a dynamic virtual world of complex and interacting entities or agents, in which fitness is judged by a quality of information criterion

The Semantic Web Paradigm for a Real-Time Agent Control (Part I)

For the Semantic Web point of view, computers must have access to structured collections of information and sets of inference rules that they can use to conduct automated reasoning. Adding logic to the Web, the means to use rules to make inferences, choose courses of action and answer questions, is the actual task for the distributed IT community. The real power of Intelligent Web will be realized when people create many programs that collect Web content from diverse sources, process the information and exchange the results with other programs. The first part of this paper is an introductory of Semantic Web properties, and summarises agent characteristics and their actual importance in digital economy. The second part presents the predictability of a multiagent system used in a learning process for a control problem.Semantic Web, agents, fuzzy knowledge, evolutionary computing

Decision Making Intelligent Agent on SOX Compliance over the Imports Process

The objective of this work is to define a decision support system over SOX (Sarbanes-Oxley Act) compatibility  of the Imports Process based on Artificial Intelligence and Theory of Argumentation knowledge and techniques measuring at the same time the quality of how things were done on this specific process of the analyzed business case. SOX Law in effect nowadays is worldwide facto standard for financial and economical operations of private sector with the main objective to protect investors of private sector and promote the financial health of private companies. In this framework we have developed a decision support intelligent expert model to help SOX control bodies, companies and auditors to support their SOX compliance decisions based on well founded bases like Artificial Intelligence and Theory of Argumentation. The model here presented incorporates several key concepts like pre-existing expert knowledge base, a formalized and structure way to evaluate an existing business case focusing on the Imports Process, a semi automated fuzzy dynamic knowledge learning protocol and an structure method to evolve based on the facts of the business case and suggest an specific decision about the SOX compatibility of the specific business case. Keywords: Multiagent Systems (MAS), Expert Systems (ES), Business Intelligence (BI), Decision Support Systems (DSS), Sarbanes-Oxley Act (SOX), Argumentation, Artificial Intelligence

Decision Making Intelligent Agent on SOX Compliance over the Goods Receipt Processs

The objective of this work is to define a decision support system over SOX (Sarbanes-Oxley Act) compatibility  of the Goods Receipt Process based on Artificial Intelligence and Theory of Argumentation knowledge and techniques measuring at the same time the quality of how things were done on this specific process of the analyzed business case. SOX Law in effect nowadays is worldwide facto standard for financial and economical operations of private sector with the main objective to protect investors of private sector and promote the financial health of private companies. In this framework we have developed a decision support intelligent expert model to help SOX control bodies, companies and auditors to support their SOX compliance decisions based on well founded bases like Artificial Intelligence and Theory of Argumentation. The model here presented incorporates several key concepts like pre-existing expert knowledge base, a formalized and structure way to evaluate an existing business case focusing on the Goods Receipt Process, a semi automated fuzzy dynamic knowledge learning protocol and an structure method to evolve based on the facts of the business case and suggest an specific decision about the SOX compatibility of the specific business case. Keywords: Multiagent Systems (MAS), Expert Systems (ES), Business Intelligence (BI), Decision Support Systems (DSS), Sarbanes-Oxley Act (SOX), Argumentation, Artificial Intelligence

Collaborative assessment of information provider's reliability and expertise using subjective logic

Q&A social media have gained a lot of attention during the recent years. People rely on these sites to obtain information due to a number of advantages they offer as compared to conventional sources of knowledge (e.g., asynchronous and convenient access). However, for the same question one may find highly contradicting answers, causing an ambiguity with respect to the correct information. This can be attributed to the presence of unreliable and/or non-expert users. These two attributes (reliability and expertise) significantly affect the quality of the answer/information provided. We present a novel approach for estimating these user's characteristics relying on human cognitive traits. In brief, we propose each user to monitor the activity of her peers (on the basis of responses to questions asked by her) and observe their compliance with predefined cognitive models. These observations lead to local assessments that can be further fused to obtain a reliability and expertise consensus for every other user in the social network (SN). For the aggregation part we use subjective logic. To the best of our knowledge this is the first study of this kind in the context of Q&A SN. Our proposed approach is highly distributed; each user can individually estimate the expertise and the reliability of her peers using her direct interactions with them and our framework. The online SN (OSN), which can be considered as a distributed database, performs continuous data aggregation for users expertise and reliability assessment in order to reach a consensus. We emulate a Q&A SN to examine various performance aspects of our algorithm (e.g., convergence time, responsiveness etc.). Our evaluations indicate that it can accurately assess the reliability and the expertise of a user with a small number of samples and can successfully react to the latter's behavior change, provided that the cognitive traits hold in practice. © 2011 ICST

Offline and online data: on upgrading functional information to knowledge

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories