2,948,292 research outputs found
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machine
Knowledge-based diagnosis for aerospace systems
The need for automated diagnosis in aerospace systems and the approach of using knowledge-based systems are examined. Research issues in knowledge-based diagnosis which are important for aerospace applications are treated along with a review of recent relevant research developments in Artificial Intelligence. The design and operation of some existing knowledge-based diagnosis systems are described. The systems described and compared include the LES expert system for liquid oxygen loading at NASA Kennedy Space Center, the FAITH diagnosis system developed at the Jet Propulsion Laboratory, the PES procedural expert system developed at SRI International, the CSRL approach developed at Ohio State University, the StarPlan system developed by Ford Aerospace, the IDM integrated diagnostic model, and the DRAPhys diagnostic system developed at NASA Langley Research Center
A self-validating control system based approach to plant fault detection and diagnosis
An approach is proposed in which fault detection and diagnosis (FDD) tasks are distributed to separate FDD modules associated with each control system located throughout a plant. Intended specifically for those control systems that inherently eliminate steady state error, it is modular, steady state based, requires very little process specific information and therefore should be attractive to control systems implementers who seek economies of scale. The approach is applicable to virtually all types of process plant, whether they are open loop stable or not, have a type or class number of zero or not and so on. Based on qualitative reasoning, the approach is founded on the application of control systems theory to single and cascade control systems with integral action. This results in the derivation of cause-effect knowledge and fault isolation procedures that take into account factors like interactions between control systems, and the availability of non-control-loop-based sensors
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Intelligent systems based on first-order logic on the one hand, and on
artificial neural networks (also called connectionist systems) on the other,
differ substantially. It would be very desirable to combine the robust neural
networking machinery with symbolic knowledge representation and reasoning
paradigms like logic programming in such a way that the strengths of either
paradigm will be retained. Current state-of-the-art research, however, fails by
far to achieve this ultimate goal. As one of the main obstacles to be overcome
we perceive the question how symbolic knowledge can be encoded by means of
connectionist systems: Satisfactory answers to this will naturally lead the way
to knowledge extraction algorithms and to integrated neural-symbolic systems.Comment: In Proceedings of INFORMATION'2004, Tokyo, Japan, to appear. 12 page
Enumerative Real Algebraic Geometry
Enumerative Geometry is concerned with the number of solutions to a
structured system of polynomial equations, when the structure comes from
geometry. Enumerative real algebraic geometry studies real solutions to such
systems, particularly a priori information on their number. Recent results in
this area have, often as not, uncovered new and unexpected phenomena, and it is
far from clear what to expect in general. Nevertheless, some themes are
emerging.
This comprehensive article describe the current state of knowledge,
indicating these themes, and suggests lines of future research. In particular,
it compares the state of knowledge in Enumerative Real Algebraic Geometry with
what is known about real solutions to systems of sparse polynomials.Comment: Revised, corrected version. 40 pages, 18 color .eps figures. Expanded
web-based version at http://www.math.umass.edu/~sottile/pages/ERAG/index.htm
Learning over Knowledge-Base Embeddings for Recommendation
State-of-the-art recommendation algorithms -- especially the collaborative
filtering (CF) based approaches with shallow or deep models -- usually work
with various unstructured information sources for recommendation, such as
textual reviews, visual images, and various implicit or explicit feedbacks.
Though structured knowledge bases were considered in content-based approaches,
they have been largely neglected recently due to the availability of vast
amount of data, and the learning power of many complex models.
However, structured knowledge bases exhibit unique advantages in personalized
recommendation systems. When the explicit knowledge about users and items is
considered for recommendation, the system could provide highly customized
recommendations based on users' historical behaviors. A great challenge for
using knowledge bases for recommendation is how to integrated large-scale
structured and unstructured data, while taking advantage of collaborative
filtering for highly accurate performance. Recent achievements on knowledge
base embedding sheds light on this problem, which makes it possible to learn
user and item representations while preserving the structure of their
relationship with external knowledge. In this work, we propose to reason over
knowledge base embeddings for personalized recommendation. Specifically, we
propose a knowledge base representation learning approach to embed
heterogeneous entities for recommendation. Experimental results on real-world
dataset verified the superior performance of our approach compared with
state-of-the-art baselines
Knowledge-based Economic Development as a Unifying Vision in a Post-awakening Arab World
This article traces the evolution of knowledge-based economic development in the Arab World. In pursuing this objective, many countries in the region have made large state-driven human capital investments with the goals of job creation, economic integration, economic diversification, environmental sustainability, and social development. An assessment of the effectiveness of Arab investments in human capital shows marginal progress towards knowledge-based development over the last decade. A disconnect between the skills developed in Arab skills formation systems and those required by private sector employers relegates Arab businesses to contesting lower-skilled, non-knowledge intensive industries which has stalled knowledge-based development in the region.Arab World; Middle East; skills formation; knowledge economy; competitiveness; skills development policy; economic development
- …