In earlier work [91, we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois and minimal negations, calling the resulti...
详细信息
ISBN:
(纸本)0769519180
In earlier work [91, we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois and minimal negations, calling the resulting language XCTL. We define XCTL operators and show that they can be computed using fixpoints. We further discuss how to extend our existing multi-valued model-checker chiChek [8] to reasoning over these logics.
Final Group Projects are an integral part of the graduate mechatronics course, "Introduction to Mechatronics," in the Woodruff School of Mechanical Engineering at Georgia Tech. Students are able to develop b...
详细信息
ISBN:
(纸本)0780377591
Final Group Projects are an integral part of the graduate mechatronics course, "Introduction to Mechatronics," in the Woodruff School of Mechanical Engineering at Georgia Tech. Students are able to develop both practical and theoretical understanding of mechatronics while working on their Final Group Projects. They also develop interpersonal and communication skills necessary to work in a multi-disciplinary field. To assist students, a framework has been developed to help them realize goals they propose for their Final Group Project. It helps them to work effectively within a team environment and present their projects utilizing different media outlets, such as writing technical reports, developing web pages for their Final Group Projects, and making oral presentations. This framework includes lecture topics covered in class, project requirements, grading methods, material resources, and support from graduate teaching assistants, electronic, and machine shop. In this paper, the framework and example projects demonstrating its effectiveness will be presented.
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing function symbols...
详细信息
ISBN:
(纸本)0769519938
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing function symbols. We show that this extension is still decidable, and can be used to simulate, on the one hand, answer set programming with a finite universe, and on the other hand, several expressive description logics (DLs), which can be seen as ontology languages. The integration leads to a "best of both worlds": from the LP side it inherits a flexible and intuitive representation of knowledge, whereas the DLs side provides the possibility to represent infinite knowledge.
logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. In this work we show that...
详细信息
ISBN:
(纸本)3540206426
logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. In this work we show that David H. D. Warren's design for the EAM with Implicit Control does not perform well for deterministic computations and we present several optimisations that allow the BEAM to achieve performance matching or even exceeding related systems. Our optimisations refine the original EAM control rule demonstrate that overheads can be reduced through combined execution rules, and show that a good design and emulator implementation is relevant, even for a complex system such as the BEAM.
This paper considers the problem of synthesizing systems modeled by condition systems into microcontrollers. Condition system, a discrete event system model, can be naturely programmed into microcontrollers. Directly ...
详细信息
ISBN:
(纸本)0780376978
This paper considers the problem of synthesizing systems modeled by condition systems into microcontrollers. Condition system, a discrete event system model, can be naturely programmed into microcontrollers. Directly using incidence matrix and state equation to implement condition systems is not a good method for low-cost microcontrollers because of the lack of certain instructions and limited memory of the microcontrollers. An alternate logic algebra based method is presented and an example condition system is illustrated. By using this method, the corresponding assembly code will be easily created in a systematic way.
Implementation of a fuzzy logic controller on an FPGA using VHDL is presented in this paper. The basic components of the fuzzy logic controller are designed using VHDL and a Xilinx virtex FPGA is used for implementati...
详细信息
ISBN:
(纸本)0780379187
Implementation of a fuzzy logic controller on an FPGA using VHDL is presented in this paper. The basic components of the fuzzy logic controller are designed using VHDL and a Xilinx virtex FPGA is used for implementation. The fuzzy logic controller with an 8-bit input, 8-bit output is tested by controlling single disk of an ECP torsional plant.
In this paper we present a logic formalization of a model which allows us to represent, create and maintain a Learner Model for CSCL environments in a clear and adequate manner, in order to use it as the set of belief...
详细信息
ISBN:
(纸本)0769519156
In this paper we present a logic formalization of a model which allows us to represent, create and maintain a Learner Model for CSCL environments in a clear and adequate manner, in order to use it as the set of beliefs an agent holds about its user, supporting the effective collaboration between the learners in the community. Our model includes a representation method for the knowledge domain and the agent's beliefs about the learner, as well as an inference system. This system allows the agent to propose the learner adequate learning tasks, considering his own interest and possibilities and those of the other members of the community through the establishment of group-based Zones of Proximal Development. The model is formalized in Answer Sets programming, which gives an appropriate framework for dealing with non-monotonicity in disjunctive logic programs with negation.
We show how role-based access control (RBAC) and temporal RBAC (TRBAC) policies may be formally represented and translated into PL/SQL code to implement practical access control policies to protect Oracle SQL database...
详细信息
ISBN:
(纸本)1402075413
We show how role-based access control (RBAC) and temporal RBAC (TRBAC) policies may be formally represented and translated into PL/SQL code to implement practical access control policies to protect Oracle SQL databases. Performance results for an implementation of a TRBAC policy in PL/SQL are presented.
Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. The declarative semantics of a PLP is given as preferred answer sets which are used for representing nonmonotoni...
详细信息
ISBN:
(数字)9783540398134
ISBN:
(纸本)3540201017
Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. The declarative semantics of a PLP is given as preferred answer sets which are used for representing nonmonotonic reasoning as well as preference abduction. From the computational viewpoint, however, its implementation issues have little been studied and no sound procedure is known for computing preferred answer sets of PLPs. In this paper, we present a sound and complete procedure to compute all preferred answer sets of a PLP in answer set programming. The procedure is based on a program transformation from a PLP to a logic program and is realized on top of any procedure for answer set programming. The proposed technique also extends PLPs to handle dynamic preference and we address its application to legal reasoning.
Spurred by the development of Universidade de Evora's Integrated Information System (SIIUE) and on the authors' present research interests came the idea of a Natural Language Analysis System, which would provi...
详细信息
ISBN:
(纸本)354000680X
Spurred by the development of Universidade de Evora's Integrated Information System (SIIUE) and on the authors' present research interests came the idea of a Natural Language Analysis System, which would provide a simple interface for getting access to existent information. This information is stored mainly in multiple object-relational databases. The system was built using a logic programming based approach as an application of the logic programming development tool ISCO. With it, the system can uniformly access heterogeneous external relational databases while doing syntactic and semantic sentence parsing. Although the main data sources accessed by the system described herein are the SIIUE databases, other existing databases can be integrated to be used by this system.
暂无评论