the existing methods for automatically implementing access control policies are mainly traditional logicprogramming, that is, monotonic logic. there are some shortcomings in monotonic logic, the most important of whi...
详细信息
ISBN:
(纸本)9781450361910
the existing methods for automatically implementing access control policies are mainly traditional logicprogramming, that is, monotonic logic. there are some shortcomings in monotonic logic, the most important of which is that its design does not invalidate the initial belief in later observation. this limitation makes traditional logic methods not suitable for modeling and analyzing context-aware access control policies. When we need to enforce exceptions at runtime, inconsistencies and conflicts occur that cannot invalidate the initial strategy. therefore, we propose a non-monotonic logic-based adaptive access control policy modeling and analysis inference scheme that can expressly indicate unavailable context data and incomplete access control policies. In this article, a formal method, Question Set programming (ASP), is proposed to elegantly represent the unavailability of context data. In the following, we will automatically learn conflict resolution methods through cautious induction learning methods to make the modeling and analysis of adaptive access control policies more comprehensive and intelligent.
this paper gives a brief high-level description of the implementation of a disjunctive logicprogramming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logic Programmin...
详细信息
ISBN:
(纸本)3540632557
this paper gives a brief high-level description of the implementation of a disjunctive logicprogramming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logicprogramming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
this paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. the logic is shown to be sound, complete and decidable. Moreover, it is illustrate...
详细信息
A new trend in programming languages is to merge multiple paradigms, rather than focusing on one as it was customary in the past. Most modern languages provide native support for imperative and functional programming,...
详细信息
ISBN:
(纸本)9781450375078
A new trend in programming languages is to merge multiple paradigms, rather than focusing on one as it was customary in the past. Most modern languages provide native support for imperative and functional programming, object-orientation and even concurrency. the typical mechanism used to blend heterogeneous language concepts is to rely on functions. Functions are a very well understood, usually offer an excellent abstraction over diverging models of computation, but are unsuitable to interface logicprogramming, unfortunately. Embedding a full logicprogramming language into a host is also unsatisfactory, as it impedes the ability to make data flow from one paradigm to the other. As an answer to these issues, we propose logicKit, a library that aims to bridge the gap between logicprogramming and other traditional paradigms. logicKit is a Prolog-inspired language that blends seamlessly into Swift. Predicates are first-class objects in the host language and data can flow in and out of a logic program, without the need for any data serialization/parsing. Our framework is distributed in the form of a Swift library that can be imported in any Swift project effortlessly. We elaborate on our motivation for developing logicKit and present the library by the means of examples.
the logicprogramming language Prolog is advocated as an implementation language for functional programming languages. Lambda reduction machines using the evaluation strategies of strict and lazy evaluation, fully laz...
详细信息
the logicprogramming language Prolog is advocated as an implementation language for functional programming languages. Lambda reduction machines using the evaluation strategies of strict and lazy evaluation, fully lazy evaluation using graph reduction, and compilation into supercombinators are all defined in Prolog using techniques unique to logicprogramming. It is also shown how Prolog may be used to efficiently implement polymorphic type checking.
this paper shows the use of partial-order program clauses and lattice domains for functional and logicprogramming. We illustrate the paradigm using a variety of examples: graph problems, program analysis, and databas...
详细信息
ISBN:
(纸本)3540600434
this paper shows the use of partial-order program clauses and lattice domains for functional and logicprogramming. We illustrate the paradigm using a variety of examples: graph problems, program analysis, and database querying. these applications are characterized by a need to solve circular constraints and perform aggregate;operations, a capability that is very clearly and efficiently provided by partial-order clauses. We present a novel approach to their model-theoretic and operational semantics. the least Herbrand model for any function is not the intersection of all models, but the glb/lub of the respective terms defined for this function in the different models. the operational semantics combines top-down goal reduction with monotonic memo-tables, In general, when functions are defined circularly in terms of one another through monotonic functions, a memoized entry may have to monotonically updated until the least (or greatest) fixed-point is reached. this partial-order programming paradigm has been implemented and all examples shown in this paper have been tested using this implementation.
the issue of the adaptive dynamic programming control design is explored for time-delay nonlinear systems. the established scheme is constituted of two parts, feedforward control and feedback optimal control, respecti...
详细信息
ISBN:
(纸本)9781538632574
the issue of the adaptive dynamic programming control design is explored for time-delay nonlinear systems. the established scheme is constituted of two parts, feedforward control and feedback optimal control, respectively. By employing the universal approximation character of fuzzy logic system (FLS) to handle unknown utility function, thus an optimal fuzzy adaptive feedback design is structured. the stability of the controlled system is further approved, and the output can track the desired trajectory in an optimal manner. the feasibility of the established control tactics is confirmed via simulation case.
Instead of the well-known three laws of robotics that seem difficult to be applied to solving the trolley problems in the context of frame problems, this paper proposes algebraic modeling of the trolley problems on a ...
详细信息
the proceedings contain 11 papers. the topics discussed include: unifying theories of undefinedness in UTP;unifying theories of programming with monads;circus time with reactive designs;algebra unifies operational cal...
ISBN:
(纸本)9783642357046
the proceedings contain 11 papers. the topics discussed include: unifying theories of undefinedness in UTP;unifying theories of programming with monads;circus time with reactive designs;algebra unifies operational calculi;a probabilistic theory of designs based on distributions;the logic of U.(TP) 2;conscriptions: a new relational model for sequential computations;mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude;unifying operational semantics withalgebraic semantics for instantaneous reactions;higher-order UTP for a theory of methods;and denotational semantics for a probabilistic timed shared-variable language.
An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.
An abstract is not available for this content. As you have access to this content, full HTML content is provided on this page. A PDF of this content is also available in through the ‘Save PDF’ action button.
暂无评论