2,176 research outputs found
Recommended from our members
LT revisited : explanation-based learning and the logic of Principia mathematica
This paper describes an explanation-based learning (EBL) system based on a version of Newell, Shaw and Simon's LOGIC-THEORIST (LT). Results of applying this system to propositional calculus problems from Principia Mathematica are compared with results of applying several other versions of the same performance element to these problems. The primary goal of this study is to characterize and analyze differences between not learning, rote learning (LT's original learning method), and EBL. Another aim is to provide base-line characterizations of the performance of a simple problem solver in the context of the Principa problems, in the hope that these problems can be used as a benchmark for testing improved learning methods, just as problems like chess and the eight puzzle have been used as benchmarks in research on search methods
Horn Binary Serialization Analysis
A bit layout is a sequence of fields of certain bit lengths that specifies
how to interpret a serial stream, e.g., the MP3 audio format. A layout with
variable length fields needs to include meta-information to help the parser
interpret unambiguously the rest of the stream; e.g. a field providing the
length of a following variable length field. If no such information is
available, then the layout is ambiguous. I present a linear-time algorithm to
determine whether a layout is ambiguous or not by modelling the behaviour of a
serial parser reading the stream as forward chaining reasoning on a collection
of Horn clauses.Comment: In Proceedings HCVS2016, arXiv:1607.0403
Experimental demonstration of Shor's algorithm with quantum entanglement
Shor's powerful quantum algorithm for factoring represents a major challenge
in quantum computation and its full realization will have a large impact on
modern cryptography. Here we implement a compiled version of Shor's algorithm
in a photonic system using single photons and employing the non-linearity
induced by measurement. For the first time we demonstrate the core processes,
coherent control, and resultant entangled states that are required in a
full-scale implementation of Shor's algorithm. Demonstration of these processes
is a necessary step on the path towards a full implementation of Shor's
algorithm and scalable quantum computing. Our results highlight that the
performance of a quantum algorithm is not the same as performance of the
underlying quantum circuit, and stress the importance of developing techniques
for characterising quantum algorithms.Comment: 4 pages, 5 figures + half-page additional online materia
Intelligent failure-tolerant control
An overview of failure-tolerant control is presented, beginning with robust control, progressing through parallel and analytical redundancy, and ending with rule-based systems and artificial neural networks. By design or implementation, failure-tolerant control systems are 'intelligent' systems. All failure-tolerant systems require some degrees of robustness to protect against catastrophic failure; failure tolerance often can be improved by adaptivity in decision-making and control, as well as by redundancy in measurement and actuation. Reliability, maintainability, and survivability can be enhanced by failure tolerance, although each objective poses different goals for control system design. Artificial intelligence concepts are helpful for integrating and codifying failure-tolerant control systems, not as alternatives but as adjuncts to conventional design methods
- …