In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs i...
详细信息
ISBN:
(纸本)3540601619
In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs is well-known as it essentially defines a partial order (subsumption hierarchy) on the graphs, that allows one to speed up search considerably. We investigate the complexity of projection by introducing a weaker notion of structural similarity, polyprojection. We prove that a polyprojection implies a projection for so-called non-repeating conceptual graphs. Furthermore, we show that a polyprojection can be determined by a polynomial algorithm. Indeed, the algorithm presented generalizes well-known algorithms for subtree isomorphism, and subsumption between feature term graphs. A maximal join is defined as the join on a maximally extended compatible projection. The operation is closely related to unification in feature logics and logicprogramming, but it is allows more flexibility of representation. In essence, a maximal join corresponds to the greatest lower bound of two conceptual graphs when the partial order due to projection is a lattice. Finally, unification of structured descriptions as maximal join is shown to be polynomially related to projection.
NEUROGRAPH is a simulation environment for neural networks. It provides an easy to use graphical user interface to design, construct and execute neural networks. The most important design goals were easy extensibility...
详细信息
A dynamic feature representation scheme is presented for non-deterministic objects with complicated images. Object symbols are dynamically generated through the interaction with computable scene in which the object fe...
详细信息
A dynamic feature representation scheme is presented for non-deterministic objects with complicated images. Object symbols are dynamically generated through the interaction with computable scene in which the object feature is modeled in terms of stochastic contraction mappings from image field into itself. Through a series of simulation studies, the scheme is demonstrated to detect and regenerate fractal objects.
The need for modules in the development of large programs is well known while meta-programming is widely regarded as a simple yet powerful methodology for knowledgerepresentation and reasoning. Thus if we wish to rea...
详细信息
We are developing a multilevel metalogicprogramming language that we call Alloy. It is based on first-order predicate calculus extended with metalogical constructs. An Alloy program consists of a collection of theori...
详细信息
Recently several authors have stressed and illustrated the importance of including a second kind of negation (explicit negation) in logic programs besides "negation as failure", and its use in deductive data...
详细信息
Reasoning with temporal information is essential in Artificial Intelligence. We consider a knowledge base where the internal representation language deals with temporally qualified propositions and constraints on the ...
详细信息
We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on...
详细信息
We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on an agent program and a knowledge management system and present out choices for these components. We show how the architecture can be designed and implemented using description logicrepresentation systems and argue for the advantages of this approach. Then we show how services supporting time-map management, conflict resolution, deductive queries and change management have been introduced and how all of these support the functions of the Information Agent.< >
The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the repres...
详细信息
The formalism of support logic provides a framework for deductive inference, with mathematically sound and consistent treatment of uncertainty and evidence which is aggregated through the reasoning process. The author...
详细信息
The formalism of support logic provides a framework for deductive inference, with mathematically sound and consistent treatment of uncertainty and evidence which is aggregated through the reasoning process. The authors apply support logicprogramming to pattern recognition. Initially, a pattern classifier is constructed by encoding expert knowledge of the problem domain into rules of support logic. Fuzzy sets allow the general properties of features to be described precisely. Semantic unification provides an alternative to the usual metric-based similarity criteria. The validity of the approach is established by cross-validating the support logic classifier against models from alternative paradigms. The authors then attempt to circumvent the requirement for a domain expert, and assess the extent to which data-driven learning processes can be used to automatically derive components of the support logic classifier.< >
暂无评论