A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We present an implemented frame langlmge that includes these extensions together with rules specifying the inferences performed by the frame system's inheritance algorithins. ... member that inherits the description. ... As with default values, we specify inheritance of targeted exceptions using analogues of the Inverse, Me*,ber, and Subclass rules of inference for monotonic inheritance: • E-Inverse (exception(RY'V)S ...doi:10.1016/0898-1221(92)90131-z fatcat:mw4wm63rpjgm3gmgrfcdto3b4q
This paper shows how the semantics of frames with exceptions can be described logically. ... We define a simple (purely declarative) frame language allowing for multiple inheritance and meta classes (i.e. the instances of a class may be classes themselves). ... Inheritance with exceptions is much more difficult since exceptions introduce nonmonotonicity. ...dblp:conf/ijcai/Brewka87 fatcat:e3xrmb3y6zhsvaprbh43jmdfua
Every exceptional fact is paired with a negative fact that blocks inheritance. We call this stipulated overriding. ... system, information is inherited only by default, i.e. in the absence of some exceptional information. ...
Lecture Notes in Computer Science
We give a formal definition of the model and show how it can be implemented in DATALOG with negation to give simple and efficient algorithm for computing authorization decisions. ... We propose a slightly revised NIST RBAC model which allows us to express all the authorization exceptions we consider. ... As far as we know, with the exception of  , previous work on inheritance exceptions has focused on direct inheritance exceptions for all users. ...doi:10.1007/978-3-642-38033-4_17 fatcat:o7xm7y6x5rairnxxil5crzze5a
Since it is known that System Z and c-representations mainly differ in the sorts of inheritance inferences they allow, we discuss subclass inheritance and present experimental data for this type of inference ... Many of these systems have been analysed theoretically and some have been tested against human reasoning in psychological studies, but experiments evaluating the performance of such systems are rare. ... by System Z (which only involve unexceptional subclasses) with the accuracy of the inheritance inferences licensed by System MinC (which may involve exceptional subclasses). ...dblp:conf/ki/ThornEKS15 fatcat:ndasiyfghjeavd6ktxzk4wuzbe
The inheritance mechanism of SILO, a system integrating a many-sorted logic within an object-based framework, is presented. ... Thus, the hardwired component is able to represent a variety of inheritance/specialisation relations between objects. ... For example, the system in  , although supports complete and atomic inheritance, it does not provide direct ways for representing refinements and partial exceptions. ...doi:10.1016/s0169-023x(96)00044-4 fatcat:ql7ml6mmvzchzmbsdljbw25lui
Inheritance reasoning has frequently been char acterized by algorithms designed to operate on inheritance networks, or collections of links. ... In the process, we identify a key difference between this characterization of inference in networks and those based on the notion of inferential dis tance, specifically with respect to stability. ... Introduction A number of techniques exist for reasoning with non monotonic multiple inheritance systems. ...dblp:conf/ijcai/Boutilier89 fatcat:mmi7blprdzetppqgxtpjv2pqk4
with uncommon sexual systems such as gynodioecy, monoecy, or andromonoecy. ... The linkage between mitochondrial inheritance and sex determination is also discussed, given that the atypical systems of mtDNA inheritance examined in this minireview are frequently found in organisms ... It is noteworthy that most atypical systems of mtDNA inheritance discussed in this minireview are found in organisms with uncommon sexual systems, such as monoecy, gynomonoecy, and andromonoecy. ...doi:10.1139/gen-2015-0090 pmid:26501689 fatcat:tlerb46ifnetpj4c7j32tujdde
Lecture Notes in Computer Science
In this paper we propose two complementary solutions for dealing with additional exceptions introduced while system evolution. ... While evolution of normal system behaviour is adequately supported by various language mechanisms, such as subtyping and inheritance, few contemporary object-oriented programming languages offer support ... The classical view is to associate inheritance with conceptual specialisation in system modelling and design  . ...doi:10.1007/3-540-45407-1_6 fatcat:ayvnepfcefbq3fbr3ettd6avnq
We are now investigating an innovative inheritance mechanism based on existing inheritance mechanisms like that of Eiffel and on traits. ... We have introduced anchored exception declarations to allow checked exceptions to be used conveniently in reusable software elements such as design patterns. ... APPROACH Checked Exceptions We have solved the problems with checked exceptions by introducing anchored exception declarations. ...doi:10.1145/1094855.1094892 dblp:conf/oopsla/DoorenS05a fatcat:l6kiubecvrathkbmkkffmzsdeu
Artificial Nonmonotonic Neural Networks acquire knowledge represented by a multiple inheritance scheme with exceptions, such as nonmonotonic inheritance networks, and then can extract the refined knowledge ... along with Connectionist learning techniques and, finally, extracting comprehensible symbolic information. ... Inheritance networks is such a path-based formalism with widespread use in nonmonotonic reasoning systems  . ...doi:10.1016/s0004-3702(01)00126-6 fatcat:3bmjqvwzjnajxfsamh7bdj4uwi
Two mutations are described that alter the pattern of inheritance of chloroplast genes in thlamydomonas. ... The mutant effects are discussed in terms of a DNA modificationrestriction system, postulated to regulate the transmission of chloroplast DNA in zygotes. ... modification-restriction system of bacteria (6) (7) (8) . ...doi:10.1073/pnas.71.12.4698 pmid:4531010 pmcid:PMC433963 fatcat:wrph2gyoybfflevjix43f3353e
If the comparison were made with one of the many other states which impose inheritance taxes but do not have the “community property” system, the advantage in favor of California would even be more striking ... having a similar property system) including states boasting of no inheritance tax whatever. ...
Its exception system is completely object-oriented for it encapsulates in classes not only exceptions but also exception handling. ... This language offers a completely objectoriented exception system, assertions, and methods with variable number of parameters. ... The Exception System The exception system of Green is completely object-oriented. It encapsulates exceptions in objects as usual in object-oriented languages. ...doi:10.1016/j.cl.2005.07.001 fatcat:g2gifexiafckndknewtgasmzmm
An approach to non-monotonic inheritance with both predicate level and clause level knowledge reuse is proposed and formally defined. ... Multi-level components and the interfaces to FTP services and relational database systems are also provided for developing specific distributed agents. ᭧ ... Acknowledgements The author would like to thank Mr Guanling Chen, Mr Haijiang Qi for their efforts to implement the experimental system. The author is also grateful to Prof. ...doi:10.1016/s0950-5849(98)00061-5 fatcat:4ju3hcvx5bh23oxjk2aptwqbpi
« Previous Showing results 1 — 15 out of 500,015 results