Symbolic verification of event–condition–action rules in intelligent environments
نویسندگان
چکیده
منابع مشابه
Symbolic verification of ECA rules
Event-condition-action (ECA) rules specify a decision making process and are widely used in reactive systems and active database systems. Applying formal verification techniques to guarantee properties of the designed ECA rules is essential to help the error-prone procedure of collecting and translating expert knowledge. The nondeterministic and concurrent semantics of ECA rule execution enhanc...
متن کاملA User-Friendly Interface for Rules Composition in Intelligent Environments
In the domain of rule-based automation and intelligence most efforts concentrate on building the technological infrastructure, often disregarding user-home interaction requirements. This paper attempts to mitigate this issue by defining a rich-web rule visual design interface specifically aimed at non-skilled home inhabitants.
متن کاملSymbolic Verification of Statecharts
We present an approach for the verification of Statechart specifications. In contrast to other work on Statecharts verification, our approach satisfies the synchrony assumption and handles trigger expressions with negations in a satisfactory way. Our semantic model uses two transition relations. A macrostep relation describes the observable behaviour of the statechart. It is defined through a m...
متن کاملnetwork of phonological rules in lori dialect of andimeshk: a study within the framework of post-generative approach.
پژوهش حاضر ارائه ی توصیفی است از نظام آوایی گویش لری شهر اندیمشک، واقع در شمال غربی استان خوزستان. چهارچوب نظری این پژوهش، انگاره ی پسازایشی جزءمستقل می باشد. این پایان نامه شامل موارد زیر است: -توصیف آواهای این گویش به صورت آواشناسی سنتی و در قالب مختصه های زایشی ممیز، همراه با آوانوشته ی تفصیلی؛ -توصیف نظام آوایی گویش لری و قواعد واجی آن در چهارچوب انگاره ی پسازایشی جزءمستقل و معرفی برهم کن...
Efficiently Merging Symbolic Rules into Integrated Rules
Neurules are a type of neuro-symbolic rules integrating neurocomputing and production rules. Each neurule is represented as an adaline unit. Neurules exhibit characteristics such as modularity, naturalness and ability to perform interactive and integrated inferences. One way of producing a neurule base is through conversion of an existing symbolic rule base yielding an equivalent but more compa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Reliable Intelligent Environments
سال: 2017
ISSN: 2199-4668,2199-4676
DOI: 10.1007/s40860-017-0036-z