30548729
A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief
Przymusinski proposed [11] AELB, the autoepistemic logic of knowledge and belief. The AELB logic is a very powerful and expressive formal system which isomorphically contains various major non-monotonic knowledge representation formalisms and major logic program semantics. Thus AELB can be used as a unifying framework for non-monotonic knowledge representation formalisms, which allows us to compare and better understand different formalizations of common-sense knowledge.
38425768
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning
We propose to use the logic of only knowing (OL) by Levesque [6] as a unified framework that encompasses various non-monotonic formalisms and logic programming. OL is a modal logic which can be used to formalize an agent's introspective reasoning and to answer epistemic queries to databases. The OL logic allows one to formally express the statement “α is all I know” (in symbols, Oα) and to perform inferencing based on only-knowing, which is very useful for commonsense reasoning. Another nice thing about the OL logic is that it has a clear model-theoretic semantics and a simple proof theory, which is sound for the quantificational case, and both sound and complete for the prepositional case.
27866706
A New Method of Circumscribing Beliefs: The Propositional Case
We propose here a new notion of a minimal model for forming circumscription in belief-logic by incorporating the notion of minimal models in the prepositional logic. This results in a new circumscription operation for belief-formulas than the one considered in [4-6]. An important feature of the new circumscription operation is its close relationship with the circumscription of prepositional formulas. For instance, we have CIRC[Bp] = B(CIRC[p]), where p is a prepositional formula. We give several examples to show that the new notion of circumscription fits quite well with intuition.
9144862
Rules and fuzzy rules in text: concept, extraction and usage
Several concepts and techniques have been imported from other disciplines such as Machine Learning and Artificial Intelligence to the field of textual data. In this paper, we focus on the concept of rule and the management of uncertainty in text applications. The different structures considered for the construction of the rules, the extraction of the knowledge base and the applications and usage of these rules are detailed. We include a review of the most relevant works of the different types of rules based on their representation and their application to most of the common tasks of Information Retrieval such as categorization, indexing and classification.
27409853
The Strong Semantics for Logic Programs
Recently, the well-founded semantics of a logic program P has been strengthened to the well-founded semantics-by-case (WF C ) and then again to the extended well-founded semantics (WF E ). An important concept used in both WF C and WF E is that of derived rules. We extend the notion of derived rules by adding a new type of derivation and define the strong semantics of P, which has the following important property, known as the GCWA-property: if an atom p = false in all minimal models of P, then p = false in the strong semantics of P. In general, the WF C -semantics and the WF E -semantics do not have the GCWA-property. If we first apply the WF E -semantics to P and then apply the strong semantics to a suitably simplified form of P based on its WF E -semantics, then the resulting semantics is stronger than the WF E -semantics and has the GCWA-property.
44387886
Fuzzy logic or Lukasiewicz logic: A clarification
Abstract We discuss some issues on fuzzy logic developed by Pavelka [Z. Math. Logic 25 (1979) 45–52, 119–134, 447–464] vs. the many-valued Lukasiewicz's logic. The focus is on the proper choice of fuzzy implication operations, a question which has been addressed many times in the fuzzy research literature. Pavelka had shown in 1979 that the only natural way of formalizing fuzzy logic for truth values in the unit interval [0, 1] is by using Lukasiewicz's implication operator a → b = min {1, 1 - a + b } or some isomorphic form of it. Many other papers around the same time had attempted to formulate alternative definitions for a → b by giving intuitive justifications. There continues to be some confusion, however, even today about the right notion of fuzzy logic. Much of this confusion lies in the use of improper “an” (“or”) and the “not” operations and a misunderstanding of some of the key differences between “proofs” or inferencing in fuzzy logic and those in Lukasiewicz's logic. We point out the need for defining the strong conjunction operator “⊗” in connection with fuzzy Modus-ponens rule and why we do not need the fuzzy Syllogism inference rule. We formulate two requirements of the fuzzy implication operator, which are satisfied by Lukasiewicz's a → b , but which fail for many of the alternative definitions for “→”.
28550627
An even wiring approach to the ball grid array package routing
An even-wiring router for the BGA package is presented to interconnect each I/O pad of a chip to a corresponding ball distributed on the substrate area. The major phases for the router consist of layer assignment, topological routing, and physical routing. Using this router, we can generate an even distribution of planar and any-angle wires to improve manufacturing yield. We have also conducted various testing examples to verify the efficiency of this router. Experiments show that the router produces very good results, far better than the manual design, thus it can be practically applied to VLSI packaging.
6544638
Guaranteeing 2-manifold property for meshes
Meshes are the most commonly used objects in computer graphics. They generalize polyhedra by using non-planar faces. Modeling 2D manifold meshes with a simple user interface is an important problem in computer-aided geometric design. In this paper, we propose a conceptual framework for mesh modeling systems that guarantees topologically correct 2D manifolds. Our solution is based on graph rotation systems developed in topological graph theory. As an internal representation of meshes, we use a doubly-linked face list (DLFL). We have also developed a visual representation of the topology that provides a powerful tool for developing a user interface to manipulate the topology of the mesh.
14887651
Adaptive recovery techniques for real-time audio streams
There are a number of packet-loss recovery techniques proposed for streaming audio applications. However, there are few works that are able to exploit the tradeoff between the recovery quality and the computational complexity. We develop a recovery method, called DSPWR (Double Sided Pitch Waveform Replication) which is able to tolerate a much higher packet loss rate. In essence, DSPWR is composed of several procedures devised to improve the quality of the reconstructed speech. It is noted that a more sophisticated recovery scheme that can tolerate a higher degree of packet loss in general requires a larger computational cost. In view of this, we evaluate the quality of the reconstructed speech under different packet loss rates for various receiver-based recovery methods, and compare the computational complexity among these methods. Under the acceptable speech quality whose MOS (Mean Opinion Score) is above 3.5, we develop an adaptive mechanism that can select the recovery method with the minimal complexity in accordance with different packet loss rates encountered. To conduct real experiments in the networks, we implement these recovery methods and evaluate the performance of DSPWR devised and the adaptive recovery techniques empirically. As validated by our experimental results, the adaptive mechanism is able to strike a compromise between the computational overhead and the quality of the speech desired.
1561831
Discovering reliable protein interactions from high-throughput experimental data using network topology
OBJECTIVE
Current protein-protein interaction (PPI) detection via high-throughput experimental methods, such as yeast-two-hybrid has been reported to be highly erroneous, leading to potentially costly spurious discoveries. This work introduces a novel measure called IRAP, i.e. "interaction reliability by alternative path", for assessing the reliability of protein interactions based on the underlying topology of the PPI network.


METHODS AND MATERIALS
A candidate PPI is considered to be reliable if it is involved in a closed loop in which the alternative path of interactions between the two interacting proteins is strong. We devise an algorithm called AlternativePathFinder to compute the IRAP value for each interaction in a complex PPI network. Validation of the IRAP as a measure for assessing the reliability of PPIs is performed with extensive experiments on yeast PPI data. All the data used in our experiments can be downloaded from our supplementary data web site at .


RESULTS
Results show consistently that IRAP measure is an effective way for discovering reliable PPIs in large datasets of error-prone experimentally-derived PPIs. Results also indicate that IRAP is better than IG2, and markedly better than the more simplistic IG1 measure.


CONCLUSION
Experimental results demonstrate that a global, system-wide approach-such as IRAP that considers the entire interaction network instead of merely local neighbors-is a much more promising approach for assessing the reliability of PPIs.
24126539
A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse
This paper presents a classification and retrieval technique for object-oriented specification reuse, based on the assumption that existing specifications exhibiting behaviors similar to that of the system under development are appropriate for reuse. Existing specifications are classified and retrieved according to the semantic networks abstracted from their behaviors. Since semantic networks attach semantic meanings to certain degrees of detail, our technique is rather precise. Primary behavior is used to classify specifications because it can be obtained in the early phases of system analysis. Therefore, our technique allows early reuse. Moreover, subspecifications and classes of existing specifications are classified independently so that they can be retrieved for reuse separately. Thus, our technique encourages reusing subspecifications as well as classes. Since a subspecification is composed of classes and their relationships, reusing it corresponds to reusing all those classes and relationships. A technique that reuses subspecifications as well as classes is thus expected to save more time than those that reuse only classes.