Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of practical applications, many fundament...
详细信息
ISBN:
(纸本)9781615673346
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of practical applications, many fundamental problems in multi-agent resource allocation still require adequate attention to its computational aspects. this paper addresses computational aspects of multi-agent resource allocation through the use of a fully declarative and highly expressive logicprogramming paradigm - Answer Set programming - to provide uniform, general and flexible solutions to many multi-agent resource allocation problems in a compact and declarative manner.
Most existing formal models of goals [2, 3] assume that all goals are equally important and many only deal with achievement goals. Moreover, they do not guarantee that an agent's goals will properly evolve when an...
详细信息
ISBN:
(纸本)9781615673346
Most existing formal models of goals [2, 3] assume that all goals are equally important and many only deal with achievement goals. Moreover, they do not guarantee that an agent's goals will properly evolve when an action/event occurs, e.g. when the agent's beliefs/knowledge changes or a goal is adopted or dropped. Also, most of these frameworks do not model the dependencies between goals and the subgoals and plans adopted to achieve these goals - subgoals adopted to bring about a goal should be dropped when the parent goal becomes impossible, is achieved, or is dropped. Dealing withthese issues is important for developing effective models of rational agency and BDI agent programming languages. Here, we outline a formal model of prioritized goals and their dynamics that addresses these issues. In our framework, an agent can have multiple goals at different priority levels, possibly inconsistent with each other. We define intentions as the maximal set of highest priority goals that is consistent given the agent's knowledge. Our formalization of goal dynamics ensures that the agent strives to maximize her utility. Our model of goals supports the specification of general temporally extended goals, not just achievement goals, and also handles subgoals and their dynamics.
the analysis of cellular behavior and functionality is the most challenging aim of systems biology. the extensive analysis of the interactions between different classes of intracellular molecules reacting to genetic/e...
详细信息
ISBN:
(纸本)9781424428441
the analysis of cellular behavior and functionality is the most challenging aim of systems biology. the extensive analysis of the interactions between different classes of intracellular molecules reacting to genetic/environment changes can elucidate the mechanisms of regulation involved on different cellular processes. We propose a novel framework that enables the integrated analysis of metabolic and regulatory networks. the framework takes advantage on publicly available data repositories, sustaining the inference of knowledge from the integrated network. Since it is based on logicprogramming, it provides users with a powerful language to query information using both first and second order predicates. Also, it supports network topology analysis, motif finding and robustness evaluation. In this work, as an illustrative case study, our framework is used to build a model of the bacterium Escherichia coli K12.
InPhO is a system that combines statistical text processing, information extraction, human expert feedback, and logicprogramming to populate and extend a dynamic ontology for the field of philosophy. Integrated in th...
详细信息
ISBN:
(纸本)9781595939982
InPhO is a system that combines statistical text processing, information extraction, human expert feedback, and logicprogramming to populate and extend a dynamic ontology for the field of philosophy. Integrated in the editorial workflow of the Stanford Encyclopedia of Philosophy (SEP), it will provide important metadata features such as automated generation of cross-references, semantic search, and ontology driven conceptual navigation.
this paper introduces a multiobjective grammar based genetic programming algorithm to solve a Web Mining problem from multiple instance perspective. this algorithm, called MOG3P-MI, is evaluated and compared with othe...
详细信息
A parallel implementation of certain neural newtork algorithms using Java concurrent programming is described. Although the techniques used are by no means new it does not seem to be widely known that thus a significa...
详细信息
ISBN:
(纸本)9789812799463
A parallel implementation of certain neural newtork algorithms using Java concurrent programming is described. Although the techniques used are by no means new it does not seem to be widely known that thus a significant improvement of performance can be achieved when using one of the new multiprocessor machines that begin to dominate the PC market. In order to demonstrate the potential of these methods preliminary test results concerning a ranking algorithm are reported.
the proceedings contain 8 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: New developments in environment machines;strategy-based rewrite semantics for mem...
the proceedings contain 8 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: New developments in environment machines;strategy-based rewrite semantics for membrane systems preserves maximal concurrency of rewrite actions;recognizing strategies;operational termination of conditional rewriting with built-in numbers and semantic data structures;completion as post-process in program inversion of injective functions;a transformational approach to prove outermost termination automatically;computing with diagrams in classical logic and closure of tree automata languages under innermost rewriting.
A novel algorithm is developed for solving the two-level stochastic programming in electricity market based on complementary optimization and linear equation sets. A simulated electricity market with six participating...
详细信息
ISBN:
(纸本)9789812799463
A novel algorithm is developed for solving the two-level stochastic programming in electricity market based on complementary optimization and linear equation sets. A simulated electricity market with six participating generation companies and IEEE 30-bus test system is served for demonstrating the feasibility and efficiency of the developed algorithm.
In this paper we present a systematic translation algorithm that maps a software architecture model to rewriting logics. We consider a nowadays typical component-based software architecture model - SAM. SAM is a forma...
详细信息
ISBN:
(纸本)9780769533124
In this paper we present a systematic translation algorithm that maps a software architecture model to rewriting logics. We consider a nowadays typical component-based software architecture model - SAM. SAM is a formal software architecture model that integrates two formalisms - Petri Nets and Temporal logic. Our goal is to effectively describe the component based software architecture model SAM using a rewriting based semantics. this algorithm is implemented in Maude, a high performance declarative programming language that supports membership and rewriting logics. the contribution of this paper is we defined the translation algorithm to rewriting logic to show an interleaving semantic matching between the behavior model Petri net and rewriting logic.
暂无评论