Expert reasoning combines voluminous domain‐specific knowledge with more general factual and strategic knowledge. Whereas expert system builders have recognized the need for specificity and problem‐solving researchers the need for generality, few attempts have been made to develop expert reasoning engines combining different kinds of knowledge at different levels of generality. This paper reports on the FERMI project, a computer‐implemented expert reasoner in the natural sciences that encodes factual and strategic knowledge in separate semantic hierarchies. The principled decomposition of knowledge according (...) to type and level of specificity yields both power and cross‐doman generality, as demonstrated in FERMI's ability to apply the same principles of invariance and decomposition to solve problems in fluid statics, DC‐circuits, and centroid location. Hierarchical knowledge representation and problem‐solving principles are discussed, and illustrative problem‐solving traces are presented. (shrink)

Document assembly and other substantive legal practice applications are the most knowledge-intense forms of software now widely available in the legal technology marketplace. This article provides an illustrative look at two contemporary practice system engines-CAPS and Scrivener-and examines their relevance for AI-and-law researchers.

The book presents the case that cognitive science should turn its attention to developing theories of human cognition that cover the full range of human perceptual, cognitive, and action phenomena. Cognitive science has now produced a massive number of high-quality regularities with many microtheories that reveal important mechanisms. The need for integration is pressing and will continue to increase. Equally important, cognitive science now has the theoretical concepts and tools to support serious attempts at unified theories. The argument is made (...) entirely by presenting an exemplar unified theory of cognition both to show what a real unified theory would be like and to provide convincing evidence that such theories are feasible. The exemplar is SOAR, a cognitive architecture, which is realized as a software system. After a detailed discussion of the architecture and its properties, with its relation to the constraints on cognition in the real world and to existing ideas in cognitive science, SOAR is used as theory for a wide range of cognitive phenomena: immediate responses ; discrete motor skills ; memory and learning ; problem solving ; language ; and development. The treatments vary in depth and adequacy, but they clearly reveal a single, highly specific, operational theory that works over the entire range of human cognition, SOAR is presented as an exemplar unified theory, not as the sole candidate. Cognitive science is not ready yet for a single theory – there must be multiple attempts. But cognitive science must begin to work toward such unified theories. (shrink)

Product configuration is a key enabling technology for mass customization production. Previous studies mainly focus on the solving technologies for obtaining a feasible configuration or optimal configuration but ignore environmental factors like CO2 emissions, especially the environmental regulations from international organizations. In this article, we address product configuration optimization problems considering both carbon cap and carbon tax regulations. A two-stage approach that combines both Particle Swarm Optimization and a greedy algorithm is presented to solve the product configuration problems with carbon (...) emission concerns. A case study of a configurable ranger-drilling machine is illustrated to demonstrate the effectiveness of the presented approach. The impacts of carbon cap and carbon tax regulations on configuration results are compared. Further, the models are extended to analyze the effects of single-sourcing and multisourcing on product configuration. The analysis shows that multisourcing in combination with carbon tax regulation can facilitate a manufacturer to provide more green and low-carbon customized products for customers. Numerical experiments are conducted to validate the effectiveness of the model and the efficiency of the proposed solution method. (shrink)