A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial computers to robustly achieve global compu...
详细信息
Separation logic is an extension of Hoare's logic for reasoning about programs that manipulate pointers. It is based on the separating conjunction P∈∈Q, which asserts that P and Q hold for separate portions of c...
详细信息
作者：
Witzel, AndreasZvesper, Jonathan A.ILLC
University of Amsterdam Plantage Muidergracht 24 1018TV Amsterdam Netherlands CWI
Kruislaan 413 1098SJ Amsterdam Netherlands
In this paper we propose an explicit form of knowledge-based programming. Our initial motivation is the distributed implementation of game-theoretical algorithms, but we abstract away from the game-theoretical details...
详细信息
this paper describes a branch-and-cut procedure for an extension of the bounded colouring problem, generally known as curriculum-based university course timetabling. In particular, we focus on Udine Course Timetabling...
详细信息
this paper addresses the problem of automated derivation of non-zeno behaviour models from goal models. the approach uses a novel combination of model checking and machine learning. We first translate a goal model for...
详细信息
ISBN:
(纸本)9783540787426
this paper addresses the problem of automated derivation of non-zeno behaviour models from goal models. the approach uses a novel combination of model checking and machine learning. We first translate a goal model formalised in linear temporal logic into a (potentially zeno) labelled transition system. We then iteratively identify zeno traces in the model and learn operational requirements in the form of preconditions that prevent the traces from occurring. Identification of zeno traces is acheived by model checking the behaviour model against a time progress property expressed in linear temporal logic, while learning operational requirements is achieved using Inductive logicprogramming. As a result of the iterative process, not only a non-zeno behaviour model is produced but also a set of preconditions that, in conjunction withthe known goals, ensure the non-zeno behaviour of the system.
the widespread use of ontologies raises the need to resolve heterogeneities between distinct conceptualisations in order to support interoperability. the aim of ontology mapping is, to establish formal relations betwe...
详细信息
the widespread use of ontologies raises the need to resolve heterogeneities between distinct conceptualisations in order to support interoperability. the aim of ontology mapping is, to establish formal relations between a set of knowledge entities which represent the same or a similar meaning in distinct ontologies. Whereas the symbolic approach of established SW representation standards - based on first-order logic and syllogistic reasoning - does not implicitly represent similarity relationships, the ontology mapping task strongly relies on identifying semantic similarities. However, while concept representations across distinct ontologies hardly equal another, manually or even semi-automatically identifying similarity relationships is costly. Conceptual Spaces (CS) enable the representation of concepts as vector spaces which implicitly carry similarity information. But CS provide neither an implicit representational mechanism nor a means to represent arbitrary relations between concepts or instances. In order to overcome these issues, we propose a hybrid knowledge representation approach which extends first-order logic ontologies with a conceptual grounding through a set of CS-based representations. Consequently, semantic similarity between instances - represented as members in CS - is indicated by means of distance metrics. Hence, automatic similarity-detection between instances across distinct ontologies is supported in order to facilitate ontology mapping.
Much of the literature on warranty analysis considers failure models which are indexed by a single variable, such as age or usage. However, there are situations where several characteristics are used together as crite...
详细信息
ISBN:
(纸本)9780769532738
Much of the literature on warranty analysis considers failure models which are indexed by a single variable, such as age or usage. However, there are situations where several characteristics are used together as criteria for judging the eligibility of a failed product. the warranty analysis characterized by a region in a two-dimensional plane with one axis representing age and the other axis representing usage is known as a "two-dimensional" warranty plan. A classical warranty plan requires crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extreme case, the warranty claims data come from users whose reports are expressed in a vague way. It might be caused by subjective and imprecise perception of failures by a user, by imprecise records of warranty data, or by imprecise records of the rate of usage. this paper suggests different tools appropriate for modeling a two-dimensional warranty plan, and a suitable fuzzy method to handle vague data.
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposing a transformation a bidder is offeri...
详细信息
this paper presents a logical framework for automated negotiation. An agent accepts a proposal if it is proved by its knowledge base. If this is not the case, an agent seeks conditions to accept a proposal or may give...
详细信息
ISBN:
(纸本)9780981738123
this paper presents a logical framework for automated negotiation. An agent accepts a proposal if it is proved by its knowledge base. If this is not the case, an agent seeks conditions to accept a proposal or may give up some of its current belief to reach an agreement. these attitudes of agents are characterized using induction and default reasoning.
In this paper we present a high-level approach to programming applications which use the Grid from the client side. this study is devoted to resolving the need for a language that would allow expressing the applicatio...
详细信息
ISBN:
(纸本)9783540681052
In this paper we present a high-level approach to programming applications which use the Grid from the client side. this study is devoted to resolving the need for a language that would allow expressing the application logic in a precise way and combining it withthe capability of remote access to powerful Grid resources and complex computational software. We introduce the concept of a universal Grid client - a Grid Operation Invoker (GOI). It provides a client-side interface to computational resources that use various middleware packages within a high-level scripting language. the system prototype is written in JRuby [1] which is a Java implementation of a popular object-oriented scripting language interpreter - Ruby [2]. We also present issues that have emerged in the course of work on GOI and which we have found challenging. Finally, we discuss Grid applications implemented in JRuby, proving that GOI can be used to solve highly complicated and computationally-intensive problems.
暂无评论