Belief revision systems aim at keeping a database consistent. They mostly concentrate on how to record and maintain dependencies. We propose an axiomatic system, called MFOT, as a solution to the problem of belief rev...
详细信息
Belief revision systems aim at keeping a database consistent. They mostly concentrate on how to record and maintain dependencies. We propose an axiomatic system, called MFOT, as a solution to the problem of belief revision. MFOT has a set of proper axioms which selects a set of mosi plausible and consistent input beliefs. The proposed nonmonotonic inference rule further maintains consistency while generating the consequences of input beliefs. It also permits multiple property inheritance with exceptions. We have also examined some important properties of the proposed axiomatic system. We also propose a belief revision model that is object-centered. The relevance of such a model in maintaining the beliefs of a physician is examined.
Object-oriented languages have traditionally been described by method-lookup-semantics. Their denotational semantics have appeared and matured only recently. Cook's wrapper semantics without state shows the essenc...
详细信息
This paper describes the design and a prototypical implementation of COMPLEX, a logic-based system extended with concepts from the object-oriented paradigm, intended as a tool for the development of knowledge-based ap...
详细信息
This paper describes the design and a prototypical implementation of COMPLEX, a logic-based system extended with concepts from the object-oriented paradigm, intended as a tool for the development of knowledge-based applications. The system supports a logic language, called Complex-Datalog (C-Datalog), enhanced by semantic constructs to provide facility for data abstraction. Its implementation is based on a bottom-up computational model that guarantees a fully declarative style of programming. However, the user is also given the possibility of running a query using a top-down model of computation. Efficiency of execution is the result of the integration of different novel technologies for the compilation and the execution of queries.
Structurally object-oriented database systems are a new class of dedicated data storage systems which are intended to form the basis of CAD, CASE, and other design environments which are to support large, distributed ...
详细信息
A categorical semantics of multiple inheritance is presented, in which the inheritance relations between program entities are represented as commutative diagrams in a suitable category, and multiple inheritance is the...
详细信息
The concepts of multiple inheritance, virtual resources and abstract classes in the object-oriented paradigm are examined using automata theory. A formerly introduced dynamic, automaton model is extended in this paper...
详细信息
The concepts of multiple inheritance, virtual resources and abstract classes in the object-oriented paradigm are examined using automata theory. A formerly introduced dynamic, automaton model is extended in this paper and serves as a frame within which these concepts are explored.
This paper suggests an abstract formalism for the representation of spatial knowledge. It focuses on developing a comprehensive representation scheme for pictorial information where the knowledge model of the given wo...
详细信息
This paper suggests an abstract formalism for the representation of spatial knowledge. It focuses on developing a comprehensive representation scheme for pictorial information where the knowledge model of the given world has a high degree of perceptual map with a typical user's view of the same world. The model that has been developed uses the object-oriented method of knowledge representation. This kind of knowledge modeling vastly enhances data structuring flexibility and allows for the representation of a large amount of semantic information. Further, the object model is enhanced by 1) the use of predicate logic for the representation of abstract information and 2) an inference engine based on pattern matching for automatic inferencing. The intention is that, with this model, any user of the system should be equipped to easily depict pictorial information. Also, he should be able to portray spatial as well as conceptual abstractions, generalizations, and rules at various levels. [ABSTRACT FROM AUTHOR]
A multiple inheritance mechanism on processes is designed and presented within the framework of a small object oriented language. Processes are described in classes, and the different action parts of a process inherit...
详细信息
A multiple inheritance mechanism on processes is designed and presented within the framework of a small object oriented language. Processes are described in classes, and the different action parts of a process inherited from different classes are executed in a coroutine-like style called alternation. The inheritance mechanism is a useful tool for factorizing the description of common aspects of processes. This is demonstrated within the domain of distributed programming by using the inheritance mechanism to factorize the description of distributed termination detection algorithms from the description of the distributed main computations for which termination is to be detected. A clear separation of concerns is obtained, and arbitrary combinations of termination detection algorithms and main computations can be formed. The same termination detection classes can also be used for more general purposes within distributed programming, such as detecting termination of each phase in a multi-phase main computation.
暂无评论