[图书][B] Probabilistic reasoning in intelligent systems: networks of plausible inference
J Pearl - 2014 - books.google.com
Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the
theoretical foundations and computational methods that underlie plausible reasoning under …
theoretical foundations and computational methods that underlie plausible reasoning under …
A theory of inferred causation
J Pearl, TS Verma - Studies in Logic and the Foundations of Mathematics, 1995 - Elsevier
Publisher Summary This chapter discusses the theory of inferred causation. The study of
causation is central to the understanding of human reasoning. Inferences involving …
causation is central to the understanding of human reasoning. Inferences involving …
[图书][B] Representations of commonsense knowledge
E Davis - 2014 - books.google.com
Representations of Commonsense Knowledge provides a rich language for expressing
commonsense knowledge and inference techniques for carrying out commonsense …
commonsense knowledge and inference techniques for carrying out commonsense …
Causality and model abstraction
Y Iwasaki, HA Simon - Artificial intelligence, 1994 - Elsevier
Much of science and engineering is concerned with characterizing processes by equations
describing the relations that hold among parameters of objects and govern their behavior …
describing the relations that hold among parameters of objects and govern their behavior …
Qualitative physics using dimensional analysis
R Bhaskar, A Nigam - Artificial Intelligence, 1990 - Elsevier
In this paper we use dimensional analysis as a method for solving problems in qualitative
physics. We pose and solve some of the qualitative reasoning problems discussed in the …
physics. We pose and solve some of the qualitative reasoning problems discussed in the …
SSIM: A software levelized compiled-code simulator
LT Wang, NE Hoover, EH Porter, JJ Zasio - … of the 24th ACM/IEEE Design …, 1987 - dl.acm.org
This paper presents a new logic simulation technique that uses software levelized compiled-
code (LCC) for synchronous designs. Three approaches are proposed: C source code …
code (LCC) for synchronous designs. Three approaches are proposed: C source code …
[PDF][PDF] Constraint management in conceptual design
D Serrano - 1987 - dspace.mit.edu
Abstract Design is constraint oriented; much of the design process involves the recognition,
formulation and satisfaction of constraints. Constraints are continually being added, deleted …
formulation and satisfaction of constraints. Constraints are continually being added, deleted …
[图书][B] Knowledge-based systems in agriculture
RE Plant, ND Stone - 1991 - dl.acm.org
As stated in the author's preface, this book can be partitioned into three roughly equal
sections. The first few chapters act as a primer on rule-based expert systems; they include …
sections. The first few chapters act as a primer on rule-based expert systems; they include …
Model-based reasoning in diagnostic expert systems for chemical process plants
SH Rich, V Venkatasubramanian - Computers & Chemical Engineering, 1987 - Elsevier
A prototype expert system, called MODEX, for locating the cause (s) of a set of abnormalities
in a chemical process id described. We discuss a methodology that aids the developement …
in a chemical process id described. We discuss a methodology that aids the developement …