In this paper we study the use of parallelism to speed up execution of Answer Set Programs (ASP). ASP is an emerging programming paradigm which combines features from constraint programming, logicprogramming, and non...
详细信息
A completely new approach to broadband wireless access has been developed by Radiant Networks Plc. This radical approach relies on remotely commandable nodes designed and built using steerable antennas. Each node cont...
详细信息
A completely new approach to broadband wireless access has been developed by Radiant Networks Plc. This radical approach relies on remotely commandable nodes designed and built using steerable antennas. Each node contains 4 antennas connecting to a common TRM (Transmit and Receive Module) via a low loss waveguide filter. The initial design is based on two antennas sharing a common TRM. All sub assemblies are designed for low cost high volume production without any compromise on the required performance. This paper describes the topology, performance and the technologies used in design and development of the mm-wave section of the node. The main building blocks are illustrated in figure.1.
We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressi...
详细信息
logicprogramming (LP) has been successfully applied to solve many problems in artificial intelligence and many other areas. However, LP is unable to deal with uncertain, imprecise or vague information. On the other h...
详细信息
logicprogramming (LP) has been successfully applied to solve many problems in artificial intelligence and many other areas. However, LP is unable to deal with uncertain, imprecise or vague information. On the other hand, fuzzy sets and fuzzy logic have demonstrated their applicability in dealing with uncertainty, and have motivated the research on extending classic LP to add fuzzy reasoning. However, a full fledged implementation of a fuzzy logicprogramming language universally accepted and/or in production does not exist yet. There are many reasons for this, and we present some of them. The aim of the paper is to briefly survey some of the major design problems we faced in implementing a fuzzy version of a Prolog-like logicprogramming language.
The GOLD Definition Language (GDL) is an Object Oriented (OO) formal specification language for the modeling of multidimensional databases. The OO multidimensional data model called GOLD is based on the OO paradigm, w...
详细信息
We study the problem of exploiting parallelism from search-based AI systems on distributed machines. We propose stack-splitting, a technique for implementing or-parallelism, which when coupled with appropriate schedul...
详细信息
We study the problem of exploiting parallelism from search-based AI systems on distributed machines. We propose stack-splitting, a technique for implementing or-parallelism, which when coupled with appropriate scheduling strategies leads to: (i) reduced communication during distributed execution; and, (ii) distribution of larger grain- sized work to processors. The modified technique can also be implemented on shared memory machines and should be quite competitive with existing methods. Indeed, an implementation has been carried out on shared memory machines, and the results are reported here.
The chase of datalog programs is anew way to reason about datalog programs that are evaluated on databases consistent with a set of constraints. It is an equivalence-preserving program transformation that uncovers pro...
详细信息
We present an overview of the ACE system, a sound and complete parallel implementation of Prolog that exploits parallelism transparently (i.e., without any user intervention) from AI programs and symbolic applications...
We present an overview of the ACE system, a sound and complete parallel implementation of Prolog that exploits parallelism transparently (i.e., without any user intervention) from AI programs and symbolic applications coded in Prolog. ACE simultaneously exploits all the major forms of parallelism - Or-parallelism, Independent And-parallelism, and Dependent And-parallelism - found in Prolog programs. These three varieties of parallelism are discussed in detail, along with the problems encountered in their practical exploitation. Our solutions to these problems, incorporated in the ACE system, are presented. The ACE system has been implemented on Sequent Symmetry and Sun Spare Multiprocessors;performance results from this implementation for several AI programs are presented, which confirm the effectiveness of the choices made.
暂无评论