Journal ArticleDOI
Expert Computer Systems
Reads0
Chats0
TLDR
Since these systems use a combination of artificial intelligence (AI) problem-solving and knowledgerepresentation techniques, information on these areas is also included.Abstract:
Artificial intelligence is no longer science theory. A variety of thinking systems are out of the laboratory and successfully solving problems using ai knowledge-representation techniques. 50 references.read more
Citations
More filters
Proceedings ArticleDOI
An expert system for the automatic reading of French spectrograms
TL;DR: The method used to retrieve the human expertise and results by an experienced spectrogram reader on 50 phonetically-balanced sentences are described and the impact this approach has on the design is discussed.
Expert systems in civil engineering, construction and construction robotics
Daniel R. Rehak,Steven J. Fenves +1 more
Journal ArticleDOI
Computer-aided testing of pilot response to critical in-flight events
TL;DR: This research on pilot response to critical in-flight events employs a unique methodology including an interactive computer-aided scenario-testing system and sample results of diagnosis scenarios obtained from testing 38 licensed pilots are presented and discussed.
Journal ArticleDOI
Decision models and expert systems in construction management
TL;DR: The most advanced group of decision tools—the expert systems- can manipulate normative data, use mathematical algorithms for solution, and also employ unstructured decision rules based on experts' opinions.
A Framework for Intelligent Parallel Compilers
TL;DR: A framework for the systematic pro gram analysis and intelligent program restructuring control is presented and methodologies for applying this framework to build optimizing parallel com pilers, including heuristic-guided state-space search and planning, machine knowledge manipulation, system-knowledge organization and inference, and a problem solving model called hier-blackboard are presented.
References
More filters
Journal ArticleDOI
A note on two problems in connexion with graphs
TL;DR: A tree is a graph with one and only one path between every two nodes, where at least one path exists between any two nodes and the length of each branch is given.
Journal ArticleDOI
Strips: A new approach to the application of theorem proving to problem solving
Richard Fikes,Nils J. Nilsson +1 more
TL;DR: In this paper, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model in which a given goal formula can be proven to be true.
Journal ArticleDOI
The Semantics of Predicate Logic as a Programming Language
TL;DR: In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated, and it is concluded that operational semantics is a part ofProof theory and that fixpoint semantic is a special case of model-theoretic semantics.
Book
Logic for problem solving
Robert A. Kowalski,Steve Smoliar +1 more
TL;DR: This book investigates the application of logic to problem-solving and computer programming and assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficult fill one of productive.