173,491 research outputs found
Memoization for Unary Logic Programming: Characterizing PTIME
We give a characterization of deterministic polynomial time computation based
on an algebraic structure called the resolution semiring, whose elements can be
understood as logic programs or sets of rewriting rules over first-order terms.
More precisely, we study the restriction of this framework to terms (and logic
programs, rewriting rules) using only unary symbols. We prove it is complete
for polynomial time computation, using an encoding of pushdown automata. We
then introduce an algebraic counterpart of the memoization technique in order
to show its PTIME soundness. We finally relate our approach and complexity
results to complexity of logic programming. As an application of our
techniques, we show a PTIME-completeness result for a class of logic
programming queries which use only unary function symbols.Comment: Soumis {\`a} LICS 201
Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming. Specifically, it is shown how core fuzzy answer set programs can be translated into multi-adjoint normal logic programs and vice versa, preserving the semantics of the starting program. This translation allows us to combine the expressiveness of multi-adjoint normal logic programming with the compactness and simplicity of the core fuzzy answer set programming language. As a consequence, theoretical properties and results which relate the answer sets to the stable models of the respective logic programming frameworks are obtained. Among others, this study enables the application of the existence theorem of stable models developed for multi-adjoint normal logic programs to ensure the existence of answer sets in core fuzzy answer set programs
Programmable logic controller based variable speed drives for educational trainer
The PLC based motor control system is the key area of concerned to relate PLC to
the real industrial environment. However, there is no PLC based industrial motor
control trainer available in the Automation lab of Politeknik Kota Kinabalu for the
practical purposes. This has initiated the need to develop a research and product on
the title of “Programmable Logic Controller Based Variable Speed Drives For
Educational Trainer”. This research focused on VSD controlled by PLC
conventional programming and Fuzzy Logic based PLC programming. A prototype
“Two Conveyors Packaging System” has been constructed. This application is to
synchronize two conveyors so that parts and packaging boxes are positioned
correctly, regardless of the part and package box positions and the speed of
conveyor. Several PLC programs were developed individually for sectionals of the
prototype application; the input devices photoelectric part sensors (P004A), motor
encoders E1 and E2 (P004B) and output device is VSD for box conveyor M2
(P004E). All these programs can work independently; subsequently to be combined
to control the whole prototype application with additional PLC program on
conventional basis, and fuzzy logic basis (P004C and P004D). These step by step
programming methods contributed to the 10 experiments procedures to achieve the
objective to construct the educational trainer procedures. As a conclusion, this
research has achieved the objectives to construct the educational trainer procedures
to implement PLC conventional and fuzzy logic based programming to control a
motor driven by VSD, based on the concept of Prototype Two Conveyor Packaging
System
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and
solutions for different purposes exist. An important field in this direction is
detecting cases of source-code plagiarism. In this paper, we present the tool
Kato for supporting the detection of this kind of plagiarism in the area of
answer-set programming (ASP). Currently, the tool is implemented for DLV
programs but it is designed to handle other logic-programming dialects as well.
We review the basic features of Kato, introduce its theoretical underpinnings,
and discuss an application of Kato for plagiarism detection in the context of
courses on logic programming at the Vienna University of Technology
An Effective Fixpoint Semantics for Linear Logic Programs
In this paper we investigate the theoretical foundation of a new bottom-up
semantics for linear logic programs, and more precisely for the fragment of
LinLog that consists of the language LO enriched with the constant 1. We use
constraints to symbolically and finitely represent possibly infinite
collections of provable goals. We define a fixpoint semantics based on a new
operator in the style of Tp working over constraints. An application of the
fixpoint operator can be computed algorithmically. As sufficient conditions for
termination, we show that the fixpoint computation is guaranteed to converge
for propositional LO. To our knowledge, this is the first attempt to define an
effective fixpoint semantics for linear logic programs. As an application of
our framework, we also present a formal investigation of the relations between
LO and Disjunctive Logic Programming. Using an approach based on abstract
interpretation, we show that DLP fixpoint semantics can be viewed as an
abstraction of our semantics for LO. We prove that the resulting abstraction is
correct and complete for an interesting class of LO programs encoding Petri
Nets.Comment: 39 pages, 5 figures. To appear in Theory and Practice of Logic
Programmin
- …