Meta-programming in logic programming by Harvey Abramson, M H. Rogers

By Harvey Abramson, M H. Rogers

Meta-programs, which deal with different machine courses as info, contain compilers, editors, simulators, debuggers, and application transformers. end result of the huge ranging functions, meta-programming has develop into a subject matter of substantial sensible and theoretical curiosity. This publication presents the 1st accomplished view of themes within the concept and alertness of meta-programming, protecting difficulties of illustration and of soundness and correctness of interpreters, research and assessment of meta-logic courses, and purposes to stylish knowledge-based systems.Harvey Abramson is Reader in computing device technological know-how on the college of Bristol, England; M. H. Rogers is Professor of machine technology, additionally on the college of Bristol. Meta-Programming in good judgment Programming is within the sequence good judgment Programming learn studies and Notes, edited via Ehud Shapiro.

Show description

Read or Download Meta-programming in logic programming PDF

Best intelligence & semantics books

Artificial Intelligence in Education: Building Technology Rich Learning Contexts that Work

The character of expertise has replaced due to the fact synthetic Intelligence in schooling (AIED) was once conceptualised as a study group and Interactive studying Environments have been first and foremost built. know-how is smaller, extra cellular, networked, pervasive and sometimes ubiquitous in addition to being supplied through the traditional computing device computing device.

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory: Computational Intelligence and Soft Computing Applications

By way of ‘model’ we suggest a mathematical description of a global element. With the proliferation of desktops a number of modeling paradigms emerged less than computational intelligence and delicate computing. An advancing expertise is at the moment fragmented due, to boot, to the necessity to deal with kinds of facts in numerous software domain names.

Parallel Processing for Artificial Intelligence (Machine Intelligence & Pattern Recognition) (v. 3)

This can be the 3rd quantity in a casual sequence of books approximately parallel processing for man made intelligence. it's in accordance with the idea that the computational calls for of many AI projects may be greater served through parallel architectures than via the at present well known workstations. in spite of the fact that, no assumption is made concerning the form of parallelism for use.

Exploring Computer Science with Scheme

A presentation of the imperative and easy techniques, suggestions, and instruments of machine technology, with the emphasis on proposing a problem-solving procedure and on delivering a survey of all the most vital themes lined in measure programmes. Scheme is used all through because the programming language and the writer stresses a sensible programming method of create easy features which will receive the specified programming aim.

Additional info for Meta-programming in logic programming

Sample text

In the next subsection we present several examples of utilization of the performance measures. We will highlight how wrong selections of metrics affect to the achieved conclusions. 1 Example 1: On the Absence of Information We begin our test showing the results of a SA with different number of processors to solve an instance of MAXSAT. 2. The values showed are the number of executions that found the optimal value (% hit column), the fitness of the best solution (best column), the average fitness (avg column), the number of evaluations (# evals column) and the running time (time column).

This class of instances has the advantage of being freely available. Specially, academic instances must be analyzed in the existing literature to not reinvent the wheel, and to avoid using straightforward benchmarks [92]. Standard Instances In this class are included the instances, benchmarks, and problem instance generators that, due to their wide use in experimentation, became standard in the specialized literature. For example, Reinelt [93] offers the TSPLIB, a travelling salesman problem test instances, Demirkol et al.

At the beginning of each iteration, all the processors send the individuals of their first/last column/row to their neighbor islands (see Fig. 6). After receiving the individuals from the neighbors, a sequential cGA is executed in each subpopulation. The remaining of the algorithms has a canonical implementation and no especial issues are used. For testing the parallel algorithms we have used the well-known MAXSAT problem. The next subsection briefly describes the MAXSAT problem and then we discuss the results.

Download PDF sample

Rated 4.76 of 5 – based on 8 votes