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

Formalizing GDPR Provisions in Reified I/O logic: the DAPRECO Knowledge Base

JOURNAL OF logic LANGUAGE AND INFORMATION 2020年第4期29卷 401-449页

作者： Robaldo, Livio Bartolini, Cesare Palmirani, Monica Rossi, Arianna Martoni, Michele Lenzini, Gabriele Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust SnT Esch Sur Alzette Luxembourg Univ Bologna CIRSFID Bologna Italy

the DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://***/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. the rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. the DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). the DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://***/dapreco/daprecokb/blob/master/gdpr/rioKB_***).

关键词： Deontic logic Reification Legal Informatics

来源：评论

学校读者我要写书评

暂无评论

logic programming and Nonmonotonic reasoning : 7th international conference, Lpnmr 2004, Fort Lauderdale, Fl, Usa, January 6-8, 2004 : Proceedings

引用

2016年

作者： vladimir lifschitz

logic programming and Nonmonotonic reasoning : 7th international conference, Lpnmr 2004, Fort Lauderdale, Fl, Usa, January 6-8, 2004 : Proceedings by Lpnmr 2004 (2004 : Fort Lauderdale, Fla.); Lifschitz, Vladimir; Nie... 详细信息

关键词： conference, international january lauderdale, logic programming nonmonotonic reasoning

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the susceptibility to landslides through diffuse logic and analytical hierarchy process (AHP) between Macas and Riobamba in Central Ecuador 7

Evaluation of the susceptibility to landslides through diffu...

引用

7th international conference on eDemocracy and eGovernment (ICEDEG)

作者： Palacios Orejuela, Ivan Toulkeridis, theofilos Univ Fuerzas Armadas ESPE Dept Ciencias Tierra & Construcc Sangolqui Ecuador

ISBN: (纸本)9781728158822

Susceptibility to landslides is one of the geological hazards that most frequently occur along the roads and hereby mainly in those situated in mountainous areas. through multicriteria studies it is possible to determine critical points, however, these are generally deterministic, so new methodologies that offer a probability of occurrence in the entire study area are sought. the Fuzzy method is a probabilistic technique that is based on the observed to emulate the thinking of the human being and generate an artificial reasoning. therefore, the main objective of the current study has been to evaluate the susceptibility to landslides through Fuzzy logic in combination with the Analytical Hierarchical Process (AHP) in the Macas - Riobamba road. this should allow to define critical points in such road. We applied five variables being slope, precipitation, proximity to rivers and roads, as well as vegetation cover. the spatial data were transformed to raster to later standardize their values. With the support of membership functions, the membership of each variable was established to finally perform the weighted sum and obtain the resulting model. three models were obtained with AHP and one without this, whose adjustments were 84.1%, 87.1% 89.5% and 60.3% respectively. We identified that the susceptibility to landslides is in the part that crosses the Andes mountain range, with critical points in four specific sectors. With Fuzzy logic it was possible to generate susceptibility maps, which support make decision processes.

关键词： Analytical Hierarchical Process membership functions Fuzzy geological hazards

来源：评论

学校读者我要写书评

暂无评论

automated Diagnosis of Cyber-Physical Systems 1

引用

34th international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)

作者： Wotawa, Franz Tazl, Oliver Kaufmann, David Graz Univ Technol Inst Software Technol Inffeldgasse 16B-2 A-8010 Graz Austria

ISBN: (数字)9783030794637

ISBN: (纸本)9783030794620;9783030794637

Research on cyber-physical systems has gained importance and we see an increasing number of applications ranging from ordinary cars to autonomous systems. the latter are of increasing interest requiring additional functionality like self-healing capabilities for improving availability. For autonomous systems, it is not only important to detect failures during operation, but also to come up with their causes. In this paper, we contribute to the foundations of diagnosis. We introduce a method for modeling cyber-physical systems considering behavior over time, in order to make use of model-based reasoning for computing diagnosis candidates. In particular, we discuss a thermal model coupled with a controller for keeping temperature within pre-defined values and show how this contributes to the computation of diagnoses given an unexpected behavior. the discussed modeling principles can be used as a blueprint for similar systems where controllers are coupled with a physical system. Diagnosis results obtained when using the thermal model and the observed diagnosis time, which was a fraction of a second, seem to indicate the applicability of the presented approach for industrial applications.

关键词： Model-based diagnosis Answer set programming Cyber-physical system diagnosis

来源：评论

学校读者我要写书评

暂无评论

Secondary frequency control strategy for BESS considering their degree of participation

引用

ENERGY REPORTS 2020年 6卷 594-602页

作者： Zhang, Shengqi Liu, Heyu Wang, Fei Yan, Tao Wang, Kaifeng Shanghai Univ Sch Mechatron Engn & Automat Shanghai 200444 Peoples R China China Elect Power Res Inst State Key Lab Operat & Control Renewable Energy & Beijing Peoples R China

With the increasing penetration of the renewables, power system requires more resources with high ramping rate in the secondary frequency control (SFC). Battery energy storage system (BESS) is regarded as an effective one to follow the regulation signals. Meanwhile, the optimal operation of BESS cluster brings challenges to independent system operator (ISO), as more BESSs are involved in a control area. Specifically, the control center tries to take full advantages of the characteristics of BESS meeting frequency regulation requirement, and to follow the state of charge (SoC) limitation in BESS distribution. therefore, a degree of participation (DP) based SFC for BESS cluster is proposed in this paper. In detail, a fuzzy-logic inference system (FLIS) is applied to determine a proper DP by considering the system frequency regulation requirements and BESS SoC. Also, the coefficients of the BESS operation cost function vary with DP, and the distribution of BESS in SFC is achieved to minimize the operation cost of BESS cluster by quadratic programming algorithm (QPA). At last, the promising results shows the BESS is well arranged by the proposed DP-based SFC, balancing the system frequency regulation requirement and BESS SoC limitation. (C) 2020 the Authors. Published by Elsevier Ltd.

关键词： Battery energy storage system Fuzzy-logic theory State of charge Secondary frequency control Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Prolog Technology Reinforcement Learning Prover (System Description) 10th

Prolog Technology Reinforcement Learning Prover (System Desc...

引用

10th international Joint conference on automated reasoning (IJCAR)

作者： Zombori, Zsolt Urban, Josef Brown, Chad E. Alfred Renyi Inst Math Budapest Hungary Eotvos Lorand Univ Budapest Hungary Czech Tech Univ Prague Czech Republic

ISBN: (纸本)9783030510541;9783030510534

We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. the core of the toolkit is a compact and easy to extend Prolog-based automated theorem prover called plCoP. plCoP builds on the leanCoP Prolog implementation and adds learning-guided Monte-Carlo Tree Search as done in the rlCoP system. Other components include a Python interface to plCoP and machine learners, and an external proof checker that verifies the validity of plCoP proofs. the toolkit is evaluated on two benchmarks and we demonstrate its extendability by two additions: (1) guidance is extended to reduction steps and (2) the standard leanCoP calculus is extended with rewrite steps and their learned guidance. We argue that the Prolog setting is suitable for combining statistical and symbolic learning methods. the complete toolkit is publicly released.

关键词： automated theorem proving Reinforcement learning logic programming Connection tableau calculus

来源：评论

学校读者我要写书评

暂无评论

Argumentation and explanation in the context of dialogue 7

Argumentation and explanation in the context of dialogue

引用

7th international Workshop on Explanation-Aware Computing, ExaCt 2012 - Workshop at the 20th European conference on Artificial Intelligence, ECAI 2012

作者： Bex, Floris Budzynska, Katarzyna Walton, Douglas School of Computing University of Dundee DundeeDD1 4HN United Kingdom Department of Logic and Cognitive Science Institute of Philosophy and Sociology Polish Academy of Sciences Poland University of Windsor Canada

Whilst computational argumentation and explanation have both been studied intensively in AI, models that incorporate both types of reasoning are few and far between. the two forms of reasoning need to be clearly distinguished, as they may influence dialogue protocol and strategy. Using the language of the Argument Interchange Format, we show that the distinction can be made by considering the speech acts used in a dialogue, and explore some of the implications of the combination of argument and explanation. Copyright © international ExaCt Workshop Explanation-Aware Computing, ExaCt 2012 - ECAI 2012 *** rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international Symposium on Model-Based Safety and Assessment, IMBSA 2020

7th International Symposium on Model-Based Safety and Assess...

引用

7th international Symposium on Model-Based Safety and Assessment, IMBSA 2020

ISBN: (纸本)9783030589196

the proceedings contain 15 papers. the special focus in this conference is on Model-Based Safety and Assessment. the topics include: Identification and Quantification of Hazardous Scenarios for automated Driving;an Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems;SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measures;Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks;u-Map: A Reference Map for Safe Handling of Runtime Uncertainties;argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities;Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling;Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation;branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems;optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer programming;counterexample Interpretation for Contract-Based Design;property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems;failure Mode reasoning in Model Based Safety Analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

OVERLAY 2019 - Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, logic, Automata, and Synthesis, co-located with the 18th international conference of the Italian Association for Artificial Intelligence, AI*IA 2019

OVERLAY 2019 - Proceedings of the 1st Workshop on Artificial...

引用

1st Workshop on Artificial Intelligence and Formal Verification, logic, Automata, and Synthesis, OVERLAY 2019

the proceedings contain 17 papers. the topics discussed include: model checking BDI logics over finite-state worlds;in silico clinical trials through AI and statistical model checking;automated verification of noisy nonlinear cyber-physical systems with Ariadne;towards the automated verification of publish/subscribe networks;verification with answer set programming, reasoning about actions and change, constraints and ontologies;pushing runtime verification to the limit: may process semantics be with us;robustness verification of decision tree ensembles;pairing monitoring with machine learning for smart system verification and predictive maintenance;and a prototype for the robust execution of flexible plans.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Authoring Platform for CSCL Script Definition 7th

An Authoring Platform for CSCL Script Definition

引用

7th international conference on Learning and Collaboration Technologies (LCT)

作者： Papasalouros, Andreas Chatzimichalis, George Univ Aegean Karlovassi 83200 Greece

ISBN: (纸本)9783030505059;9783030505066

Computer Supported Collaborative Learning scripts define pedagogically effective practices for organizing collaborative activities. this paper presents a novel platform for defining CSCL scripts. this platform is composed of the following components: a) a formal language named COSTLy for the specification of CSCL scripts based on logic and constraints, b) a visual environment that facilitates the authoring of scripts, based on the formal language, and c) a mechanism that translates the abstract definitions of scripts into constraint logic programs, thus implementing group formation and task distribution of actual scenario instances. the expressiveness of the proposed language was evaluated. Also the results of a usability evaluation of the proposed platform are reported in the paper. It was shown that university students were able to use the platform in order to describe CSCL scripts of high complexity.

关键词： Authoring platform Learning activity representation CSCL scripts Constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：