检索结果-内蒙古大学图书馆

9th international symposium on Foundations of Information and Knowledge Systems (FoIKS)

作者： Bliem, Bernhard Woltran, Stefan TU Wien Inst Informat Syst Vienna Austria

ISBN: (纸本)9783319300245;9783319300238

Answer Set programming (ASP) has become an increasingly popular formalism for declarative problem solving. Among the huge body of theoretical results, investigations of different equivalence notions between logic programs play a fundamental role for understanding modularity and optimization. While strong equivalence between two programs holds if they can be faithfully replaced by each other in any context (facts and rules), uniform equivalence amounts to equivalent behavior of programs under any set of facts. Both notions (as well as several variants thereof) have been extensively studied. However, the somewhat reverse notion of equivalence which holds if two programs are equivalent under the addition of any set of proper rules (i.e., all rules except facts) has not been investigated yet. In this paper, we close this gap and give a thorough study of this notion, which we call rule equivalence (RE), and its parameterized version where we allow facts over a given restricted alphabet to appear in the context. RE is thus a relationship between two programs whose input is (partially) fixed but where additional proper rules might still be added. Such a notion might be helpful in debugging of programs. We give full characterization results and a complexity analysis for the propositional case of RE. Moreover, we show that RE is decidable in the non-ground case.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A Report on the Ninth international Web Rule symposium

引用

AI MAGAZINE 2016年第1期37卷 105-106页

作者： Paschke, Adrian Corp Semant Web AG CSW Berlin Germany FUB Inst Comp Sci Dept Math & Comp Sci Berlin Germany Fraunhofer FOKUS Data Analyt Ctr DANA Berlin Germany RuleML Inc Toronto ON Canada

the annual international Web Rule symposium (RuleML) is an international conferenee on research, applications, languages, and standards for rule technologies. RuleML is a leading conference to build bridges between academe and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule based systems including production rules systems, logic programming rule engines, and business rule engines/business rule management systems;semantic web rule languages and rule standards;rule-based event-processing languages (EPLs) and technologies;and research on inference rules, transformation rules, decision rules, production rules, and ECA rules. the Ninth international Web Rule symposium (RuleML 2015) was held in Berlin, Germany, August 2-5. this report summarizes the events of that conference.

关键词： RuleML Rule Rule-based system

来源：评论

学校读者我要写书评

暂无评论

Metric for security activities assisted by argumentative logic

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015年 8872卷 183-197页

作者： Bouyahia, Tarek Idrees, Muhammad Sabir Cuppens-Boulahia, Nora Cuppens, Frédéric Autrel, Fabien Telecom Bretagne 2 Rue de la Châtaigneraie Cesson Sévigné France

ISBN: (纸本)9783319170152

Recent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. this paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies. © Springer international Publishing Switzerland 2015.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

A Translator of Actor Prolog to Java 9

A Translator of Actor Prolog to Java

引用

9th international Web Rule Challenge at the 9th international Web Rule symposium and 5th Doctoral Consortium, Challenge+DC@RuleML 2015

作者： Morozov, Alexei A. Polupanov, Alexander F. Sushkova, Olga S. Kotel’nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya 11 Moscow Russia Moscow State University of Psychology & Education Sretenka 29 Moscow Russia

Actor Prolog is a concurrent object-oriented logic language developed in [1]. We demonstrate a state-of-the-art translator of Actor Prolog to Java developed in the framework of the Intelligent Visual Surveillance logic programming project [2]. the translator implements a set of high-level and low-level code optimization methods and generates a kind of the idiomatic (i.e., well-readable) source code in Java, that ensures a high speed, robustness, and openness of the executable code. Some applications of the Actor Prolog to Java translator are demonstrated, in particular, the real-time intelligent video surveillance, Actor Prolog with Java3D linking, and logic programming of Java applets. © 2015 CEUR-WS. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Expressing and Composing Actors for Deterministic and Scalable programming in Cloud 9

Expressing and Composing Actors for Deterministic and Scalab...

引用

9th IEEE international symposium on Service-Oriented System Engineering (SOSE)

作者： Kang Lianghuan Zhan Hanglong Cao Donggang Peking Univ Minist Educ Key Lab High Confidence Software Technol Sch Elect Engn & Comp Sci Beijing Peoples R China

ISBN: (纸本)9781479983568

Actor model is an asynchronous message-passing model for fine-grained concurrency and distributed memory applications. However, it is inherently non-deterministic due to low-level synchronization primitives such as send and receive, leading to high-complexity and error-prone code when programming deterministic applications expressed by actors. In order to to support deterministic actor programming, this paper proposes a high-level programming model named distask. the core solution is to express complex synchronization in a simple and deterministic pattern by introducing features of functional programming. In detail, we design a set of composing operators on distasks in several pre-defined patterns called synchronization strategies. A distask can be composed of other distasks in a deterministic manner instead of non-deterministic communication within original actors. In addition, automatic distribution, scalability and fault handing features are supported to adapt to dynamic Cloud environment. We have implemented distask in a system called UniAS. the implementation language is Erlang, an actor-based industrial language. It is readily applied to several vital distributed memory applications with little compromise of performance.

关键词： Deterministic Concurrency Distributed programming Actor Model Erlang

来源：评论

学校读者我要写书评

暂无评论

引用

9th international symposium on Web Rule Markup and Modeling Initiative (RuleML)

作者： Julian-Iranzo, Pascual Moreno, Gines Vazquez, Carlos Univ Castilla La Mancha Dept Technol & Informat Syst E-13071 Ciudad Real Spain Univ Castilla La Mancha Dept Comp Syst Albacete 02071 Spain

ISBN: (纸本)9783319215426;9783319215419

the extension of a given similarity relation R between pairs of symbols of a particular alphabet to terms built with such symbols can be implemented at a very high abstract level by a set of fuzzy program rules defining a predicate called sse. this predicate is defined for incorporating "Similarity-based Strict Equality" into the new fuzzy logic language FASILL (acronym of "Fuzzy Aggregators and Similarity Into a logic Language") that we have recently developed in our research group. FASILL aims to cope with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. In this paper we show the benefits of using this sophisticated notion of equality which is somehow inspired by the so-called "Strict Equality" of functional and functional-logic languages with lazy semantics (e.g.: HASKELL and CURRY respectively) and the "Similarity-based Equality" of fuzzy logic languages using weak unification (Bousi similar to Prolog, LIKELOG), a notion beyond classic syntactic unification.

关键词： Fuzzy logic programming Similarity relations Equality

来源：评论

学校读者我要写书评

暂无评论

A non-intrusive method to make safe existing PLC program 9

A non-intrusive method to make safe existing PLC program

引用

9th IFAC symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2015

作者： Riera, B. Philippot, A. Coupat, R. Gellot, F. Annebicque, D. Moulin de la Housse BP 1039 Reims51687 France Direction de l'Ingénierie Société Nationale des Chemins de Fer Français 6 avenue François Mitterrand La-Plaine-Saint Denis Cedex93574 France IUT de Troyes 9 rue de Québec BP 396 Troyes Cedex10026 France

this paper presents an original non-intrusive method to make safe existing Programmable logic Controller (PLC) program for manufacturing systems. In this work, manufacturing systems are considered as Discrete Event Systems (DES) with logical Inputs (sensors) and logical Outputs (actuators). Usually, to guarantee the safety of a PLC program it is necessary to use either tests or formal methods like modelchecking to verify that safety and functional properties are respected. this works has to be managed by an expert who is not often the engineer in charge of PLC programming because it requires specific competencies. the idea in this paper is not to check a specific PLC program but to add at the end of the PLC program, a specific algorithm based on Boolean safety constraints (designed and formally checked by the expert) which is going to authorize or forbid the PLC outputs in order to guarantee the safety. the set of Boolean safety constraints is defined independently from the controller specification and depends only on the system. the algorithm is presented in details in the paper and illustrated with a 4 cylinders system. the approach has also been successfully applied on real PLC programs from SNCF (French acronym for National Society of French Railways) to control the Power Supply Equipment of the Electric Lines (PSEEL). this approach can also be used to design safe PLC program by separating the functional part from the safety part. that allows to result in a safe control, really different from a conventional approach based on a complete specification for instance in GRAFCET (IEC 60848) that does not distinguish the functional aspect from the safety aspect. © 2015, IFAC (international Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

9th international Ershov Informatics Conference, PSI 2014

9th International Ershov Informatics Conference, PSI 2014

引用

9th international Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014

ISBN: (纸本)9783662468227

the proceedings contain 32 papers. the special focus in this conference is on Perspectives of System Informatics. the topics include: Descriptive types for linked data resources;big data, big systems, big challenges;an automatic technique for static deadlock prevention;automatically partitioning data to facilitate the parallelization of functional programs;generating and proving program properties using symbol elimination;neutralizing semantic ambiguities of function block architecture by modeling with ASM;on tractability of disjoint AND-decomposition of Boolean formulas;a multi-agent text analysis based on ontology of subject domain;towards high-level programming for systems with many cores;inductive prover based on equality saturation for a lazy functional language;timed history preserving bisimulation and open maps;process opacity for timed process algebra;a proof-based method for modelling timed systems;index sets as a measure of continuous constraint complexity;decidability and expressiveness of recursive weighted logic;polynomial-time optimal pretty-printing combinators with choice;the study of multidimensional R-tree-based index scalability in multicore environment;a new kind of diagramming tool with programmable active diagrams;model checking value-passing modal specifications;symbolic string transformations with regular lookahead and rollback;comparing semantics under strong timing of Petri nets and modeling environment for static verification of Linux kernel modules.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning 9th

引用

9th international symposium on Web Rule Markup and Modeling Initiative (RuleML)

作者： Basseda, Reza Gao, Tiantian Kifer, Michael Greenspan, Steven Chell, Charley SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA CA Inc New York NY 10022 USA

ISBN: (纸本)9783319215426;9783319215419

Access control systems often use rule based frameworks to express access policies. these frameworks not only simplify the representation of policies, but also provide reasoning capabilities that can be used to verify the policies. In this work, we propose to use defeasible reasoning to simplify the specification of role-based access control policies and make them modular and more robust. We use the Flora-2 rule-based reasoner for representing a role-based access control policy. Our early experiments show that the wide range of features provided by Flora-2 greatly simplifies the task of building the requisite ontologies and the reasoning components for such access control systems.

关键词： Access control policy Object oriented logic programming Ontology

来源：评论

学校读者我要写书评

暂无评论

Sorting System for Practical Training of Mechatronics

Sorting System for Practical Training of Mechatronics

引用

9th IEEE international symposium on Applied Computational Intelligence and Informatics (SACI)

作者： Bencsik, Attila L. Lendvay, Marianna Obuda Univ Banki Donat Fac Mech & Safety Engn Inst Mechatron & Vehicle Engn Budapest Hungary Obuda Univ Kando Kalman Fac Elect Engn Inst Microelect & Technol Budapest Hungary

Obuda University has more than twenty five years9; tradition for teaching of mechatronics. Using these experiences we developed a complex equipment that facilitates training of complex systems that accomplish syner... 详细信息

ISBN: (纸本)9781479946945

Obuda University has more than twenty five years' tradition for teaching of mechatronics. Using these experiences we developed a complex equipment that facilitates training of complex systems that accomplish synergic integration. the training system comprises components that perform pneumatic movement and manipulation and control of them, these are controlled by a programmable logic controller. the task is sorting of work pieces made of various materials. Difference of materials is detected and evaluated by a measuring block that consists of three sensors, than based on this information it determines the movement target. In the article we introduce the architecture of the system by description of individual partial tasks. Finally we will determine the basic structure of the PLC program that performs the tasks of controlling and realisation.

关键词： Microelectromechanical devices sorting system Building systems basic structure Religious Missions functional training Standing Orders Complex systems Programmable logic controllers Training ARCHITECTURE Building construction logic controller

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：