We examine the practicality for a user of using Answer Set programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the...
详细信息
ISBN:
(纸本)9783642152795
We examine the practicality for a user of using Answer Set programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program. Limitations of the earlier systems made that in practice, the "declarative aspect" was more theoretical than practical. We show how recent improvements in working ASP systems facilitate the translation.
this paper presents a scalable industrial plant which puts plug and label to bottles. It is controlled by a commercial programmable logic controller (PLC). To do that, the plant has two conveyor belts. the first one g...
详细信息
the optimized allocation keys in distribution systems has emerged an important alternative to the concessionary companies, to meet customer satisfaction and the adequacy index of continuity of services. this problem i...
详细信息
A regulator dependent on Fuzzy rationale is actualized with its application to the guideline of delicate exchanged (ZVS) DC-DC converter is explored. the proposed fluffy rationale based lift converter can work with de...
详细信息
the subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitable domain for capturing the kind of dep...
详细信息
ISBN:
(纸本)3540654623
the subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitable domain for capturing the kind of dependencies arising in groundness analysis, and Reduced Ordered Binary Decision Diagrams (ROBDDs) are generally accepted to be the most efficient representation for Pos. Unfortunately, the size of an ROBDDs is, in the worst case, exponential in the number of variables it depends upon. Earlier work [2] has shown that a hybrid representation that separates the definite information from the dependency information is considerably more efficient than keeping the two together. the aim of the present paper is to push this idea further, also separating out certain dependency information, in particular all pairs of variables that are always either both ground or neither ground. We find that this new hybrid representation is a significant improvement over previous work.
this paper develops the correspondence between equality reasoning with axioms using terms syntax, and reasoning using nominal terms syntax. Both syntaxes involve name-abstraction: Terms represent functional abstractio...
详细信息
the theory of non-monotonic reasoning has interesting applications for the formalization and automated use of legal concepts, specially: drawing conclusions from a logically inconsistent, but hierarchic, regulations [...
ISBN:
(纸本)0897916069
the theory of non-monotonic reasoning has interesting applications for the formalization and automated use of legal concepts, specially: drawing conclusions from a logically inconsistent, but hierarchic, regulations [1, 30$RB;similarly, establishing facts from a set of inconsistent testimonies, partially ranked by confidence;using presumptions (such as the presumption of innocence) in the face of possibly contradictory evidence. In this paper, we use a logic [37, 38$RB, that ranks contradictory formulae using two new paraconsistent variants of conjunction: 'but' and 'on the other hand'. Its algebraic proof theory is presented.
the proceedings contain 31 papers. the topics discussed include: solving fixed-point equations by derivation tree analysis;infinite computation, co-induction and computational logic;relation liftings on preorders and ...
ISBN:
(纸本)9783642229435
the proceedings contain 31 papers. the topics discussed include: solving fixed-point equations by derivation tree analysis;infinite computation, co-induction and computational logic;relation liftings on preorders and posets;indexed induction and coinduction, fibrationally;a counterexample to tensorability of effects;the microcosm principle and compositionality of GSOS-based component calculi;a coalgebraic approach to supervisory control of partially observed mealy automata;coalgebraic semantics for derivations in logicprogramming;proving safety properties of rewrite theories;distributive-law semantics for cellular automata and agent-based models;PREG axiomatizer - a ground bisimilarity checker for GSOS with predicates;Minlog - a tool for program extraction supporting algebras and coalgebras;WiCcA: LTS generation tool for wire calculus;and Shacc: a functional prototyper for a component calculus.
this work aims to develop the operation algorithm to improve the wide Vth distribution withthe conventional program method and to achieve Triple-Level Cell (TLC) technology. the algorithm is used to enhance the conve...
详细信息
ISBN:
(纸本)9781467369022
this work aims to develop the operation algorithm to improve the wide Vth distribution withthe conventional program method and to achieve Triple-Level Cell (TLC) technology. the algorithm is used to enhance the convergence of the Vth distribution in the array. the Vth shift level of each NOI memory is controlled by the sequential programming and read out pulse. In this study, we accomplish three non-overlap states of Vt distribution in the total voltage window (TVW) of the NOI memory circuit. the results can keep the three non-overlap states of Vt distribution even through high temperature baking. In this way, the data can be stored into three different logic states in a single cell to achieve higher density storage ability in NOI memory array circuit.
Obstacle avoidance, researching goal, and the path planning are the most important tasks for an autonomous mobile robot which moves in an uncertain environment, this paper presents a method of a fuzzy controller to co...
详细信息
ISBN:
(数字)9781728169996
ISBN:
(纸本)9781728169996
Obstacle avoidance, researching goal, and the path planning are the most important tasks for an autonomous mobile robot which moves in an uncertain environment, this paper presents a method of a fuzzy controller to control the robot to avoid all fixed and mobile obstacles. the objective is the control and programming of a mobile robot with obstacle avoidance using fuzzy logic. this robot can be controlled by a human-machine interface or by a keyboard. Communication between the human-machine interface and Robot is done by using wireless communication. Ultrasonic sensors and infrared sensors will be used to measure the distances between the robot and the obstacles in different directions. this robot can avoid collision with obstacles by intelligent reasoning using fuzzy logic.
暂无评论