CPT-L: an Efficient Model for Relational Stochastic Processes
- Ingo Thon; Luc De Raedt
Agents that learn and act in real-world environ-ments have to cope with both complex state de-scriptions and non-deterministic transition be-havior of the world. Standard statistical rela-tional learning techniques can capture this com-plexity, but are often inefficient. We present a simple probabilistic model for such environ-ments based on CP-Logic. efficiency is main-tained by restriction to a fully observable setting. 1.
Title: Subsumption in the Description Logic
- Quoc Huy Vu; Technische Universität Dresden; Huy Vu
have received in my research work has been acknowledged. Additionally, I certify that I have not used any auxiliary sources and literature except those I cited in the thesis. Signature of Author i Description Logics are a family of knowledge representation formalisms for representing and reasoning about conceptual knowledge. Every DL system has reasoning services as an important component that infer implicit knowl-edge from the one explicitly given. Standard reasoning problems include concept satisfiability, concept subsumption, ABox consistency and the in-stance problem. This work considers the concept subsumption service, which is considered to be the most “traditional ” service. Four...
A Low Power High-Speed 8-Bit Pipelining CLA Design Using Dual-Threshold Voltage Domino Logic” ,In
- Chua-chin Wang; Senior Member; Chi-chun Huang; Ching-li Lee; Tsai-wen Cheng
Abstract — A high speed and low power 8-bit carry-lookahead adder (CLA) using two-phase modified dual threshold voltage (dual-) domino logic blocks which are arranged in a PLA-like design style with pipelining is presented. The modified domino logic circuits employ dual- transistors and reversed bulk-source biases for reducing subthreshold leakage current when advanced deep submicron process is used. Moreover, an NMOS transistor is inserted in the discharging path of the output inverter such that the modified domino logic can be properly applied in a pipeline structure to reduce the power consumption. The addition of two 8-bit binary operands is executed...
Model checking with multi-valued logics
- Glenn Bruns; Patrice Godefroid
Abstract. In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model check-ing. We then present a direct, automata-theoretic algorithm for multi-valued model checking with logics as expressive as the modal mu-calculus. As part of showing correctness of the algorithm, we present a new fun-damental result about extended alternating automata, a generalization of standard alternating automata. 1
1 E-5 Combinatorial Group Testing Methods for the BIST Diagnosis Problem
- Andrew B. Kahng; Sherief Reda
Abstract- We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include iden-tification of erroneous test vectors, faulty scan cells, faulty modules, and faulty logic blocks in FPGAs. We develop an abstract model of this problem and show a fundamental correspondence to the well-established subject of Combinatorial Group Testing (CGT) . Armed with this new perspective, we show how to im-prove on a number of existing techniques in the VLSI diagnosis literature. In addition, we adapt and a p ply a number of CGT algorithms that are well-suited to the diagnosis...
Take Your Soul to School: Practical Applications For Holistic Classrooms
- Sharon M. Abbey
During this time of major educational upheaval and change, school curriculum has been dehumanized and centralized to include prescribed topics and standardized testing. As a result, teaching emphasizes the pragmatic and is mainly concerned with reportage, logic, analysis, and linearity. Adding to the stress of radical program modifications and expectations, teachers are further disconcerted and demoralized by public criticism and a call for greater accountability. They face uncertainty about their performance as they grapple with models of delivery that encourage the discounting of personal needs in favour of global competitiveness. The heart and soul has been taken out of education...
A Logic of Injectivity
- L. Sousa
Injectivity of objects with respect to a set H of morphisms is an important concept of algebra and homotopy theory; here we study the logic of consequences of H, by which we understand morphisms h such that injectivity with respect to H implies injectivity with respect to h. We formulate three simple deduction rules for the injectivity logic and for its finitary version (where morphisms between finitely ranked objects are considered only), and prove that they are sound (in all categories) and complete (in all ”reasonable ” categories). 1
Combining possibility and knowledge
- Alexandre Costa-leite
This paper is an attempt to define a new modality with philosophi-cal interest by combining the basic modal ingredients of possibility and knowledge. This combination is realized via product of modal frames so as to construct a knowability modality, which is a bidimensional construc-tor of arity one defined in a two-dimensional modal frame. A semantical interpretation for the operator is proposed, as well as an axiomatic system able to account for inferences related to this new modality. The resulting logic for knowability LK is shown to be sound and complete with respect to its class of modal-epistemic product models. 1
Automated agent synthesis for situation awareness in service-based systems
- S. S. Yau; H. Gong; D. Huang; W. Gao; L. Zhu
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic service-oriented computing environment, situation awareness (SAW) is needed for system status monitoring, adaptive service coordination and flexible security policy enforcement. Furthermore, various application software systems in such environments often need to reuse situational information for providing better quality of service. Hence, to greatly reduce the effort of situation-aware application software development in service-based systems as well as supporting runtime system adaptation, it is necessary to automate the development of reusable and autonomous software components, referred to as SAW agents,...
Action Theory Revision in Dynamic Logic
- Ivan Jose ́ Varzinczak
Like any other logical theory, action theories in reason-ing about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavior of actions. Here we give a semantics that complies with minimal change for revising action theories stated in a version of PDL. We give algorithms that are proven correct w.r.t. the semantics for those the-ories that are modular.
- Thomas F. Wienker; C Jozef De Weert
Limitations: Using patients drawn from specialized hair clinics may have produced results showing a higher proportion of early onset and severe cases. Conclusion: The familial aggregation of AA supports the role of genetic factors in the development of the disease. In addition, our data indicate genetic factors might contribute to the age at onset of AA. ( J Am Acad Dermatol 2006;54:627-32.) A lopecia areata (AA) is a common dermato-logic disorder. The cause remains unclear, but there is strong evidence indicating that it is a tissue-specific autoimmune disease with a genetic predisposition. AA clinically manifests as a sudden onset of...
ON THE CONSTRUCTION OF A MODULE DEALING WITH ARGUMENT
- Bjørn Felsager
In Denmark a recent curriculum reform has introduced a new cross curricular sub-ject where traditional subjects combine to investigate a particular theme that benefits from methods used in the participating subjects. At my own high school we have de-veloped a module between Mathematics and Danish involving argumentation and logic, in which we investigate in particular logical puzzle solving using computers. In this paper I discuss the contents of the whole module in general and how to formalize puzzles so that they can be solved automatically by computer in particular.
Development of a Stereoscopic Robot Platform Utilizing an Education in Engineering and Computer Science
- Cameron Carper [chih-hao Wu
Agent Robotic Systems, ” was proposed to investigate methods of developing a robot platform capable of cooperating with other robotic entities using stereoscopic cameras. Though it is complex to implement vision algorithms for robotics, such a solution is highly flexible. Once in place, the systems for machine vision can easily be adapted to almost any environment: land, water, or even extraterrestrial landscapes. Another greatly desired effect of this system is that of autonomy. By allowing a machine to visually analyze its environment and react accordingly, human interaction can be eliminated. This is of paramount importance in hostile environments or any...
The reducts of equality up to primitive positive interde
- Manuel Bodirsky; Hubie Chen; Michael Pinsker
Abstract. We initiate the study of reducts of relational structures up to primitive positive interdenability: After providing the tools for such a study, we apply these tools in order to obtain a classication of the reducts of the logic of equality. It turns out that there exists a continuum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally closed clones over a countable domain which contain all permutations of the domain. Contents
doi:10.1017/S1471068410000025 1 Polytool: Polynomial interpretations as a basis
- Manh Thang Nguyen; Danny De Schreye; Peter Schneider-kamp
for termination analysis of logic programs
Suppl: A Flexible Language for Policies
- Robert Dockins; Andrew Tolmach
Abstract. We present the Simple Unified Policy Programming Lan-guage (Suppl), a domain-neutral language for stating, executing, and analyzing event-condition-action policies. Suppl uses a novel combina-tion of pure logic programming and disciplined imperative programming features to make it easy for non-expert users to express common policy idioms. The language is strongly typed and moded to allow static detec-tion of common programming errors, and it supports a novel logic-based static analysis that can detect internally inconsistent policies. Suppl has been implemented as a compiler to Prolog and used to build several network security applications in a Java framework. 1
SPECTRAL BAND SELECTION FOR OPTICAL SORTING OF PISTACHIO NUT DEFECTS
- R. P. Haff; T. Pearson
ABSTRACT. A technique using near-infrared spectroscopy (NIR) was developed for selecting the optimal spectral bands for use in dual-wavelength sorting machines commonly found in food processing plants. A variation of a nearest-neighbor classification scheme selected the two optimal spectral bands given NIR spectra from both sides of an object. The optimal bands were determined for two cases: when both sides contain the defect of interest (AND logic), or when the defect appears on a single side (OR logic). A commercially available sorting machine was used to compare the sorting accuracy using the spectral bands determined with this technique to the...
w w g e o c i t i e
- Saurav Dwivedi; Incepted Apr
b q t p
A preliminary study on reasoning about causes
- Pedro Cabalar
This paper presents some preliminary work on causal reason-ing about actions studying the causes of derived formulas in a given transition, in terms of subsets of the performed actions. We present a general top-level semantics that allows deciding which actions have resulted relevant for establishing the truth value of a given formula. After that, we propose a practi-cal implementation that deals with a basic causal rule syntax, translated afterwards into logic programming under answer sets semantics.
Design and Improvement a High Speed and Low Power 8/9 Frequency Divider with TSPC Dynamic Logic
- Ali Rahnemaei **farnood Khoshnevis; Alireza Mohammadnia *adel Akbarimajd
Abstract- A low power and high speed 8/9 CMOS programmable dynamic frequency divider has been designed. It contains a control bit by which can obtain 1/9 and 1/8 input frequency in output. In spite of the variations in size and structure of circuit, the 53 % improvement in power dissipation has been achieved. Power dissipation about 1.6 mw in a 2.78 GHz Frequency Rate, 2.5 volt power supply circuit is verified by HSPISE simulation.