|
|
|
|
Nikolopoulos, Chris
Bradley University
Peoria, Illinois
|
|
|
|
|
|
|
|
Date Reviewed |
|
|
1 - 6 of 6
reviews
|
|
|
|
|
|
|
|
Using fuzzy logic Yan J., Ryan M., Power J., Prentice-Hall, Inc., Upper Saddle River, NJ, 1994. Type: Book (9780131027329)
Fuzzy logic–based control has been used effectively in applications such as robot control, object recognition, appliance control, camera autofocusing, subway operations, and automobile control. This book covers the theory and...
|
May 1 1996 |
|
|
|
|
|
|
Fuzzy sets and fuzzy logic Gottwald S., Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Wiesbaden, Germany, 1993. Type: Book (9783528053116)
Chapter 1 of this book contains some background on logic; t-norms and how they are used to define the conjunction operator for fuzzy sets; t-conorms and their use in defining the disjunctive operators; and phi-operators used as general...
|
Apr 1 1994 |
|
|
|
|
|
|
The well-founded semantics for general logic programs Van Gelder A., Ross K., Schlipf J. Journal of the ACM 38(3): 619-649, 1991. Type: Article
A general logic program is a Horn clause logic program with negations. Two approaches have been tried to extend logic programs with negation: the program completion approach (the closed world assumption and SLDNF resolution augmented w...
|
Aug 1 1992 |
|
|
|
|
|
|
Knowledge systems and Prolog: developing expert, database, and natural language systems (2nd ed.) Walker A., McCord M., Sowa J., Wilson W., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990. Type: Book (9789780201524246)
The authors describe how to design, implement, and use knowledge-based systems in Prolog. They emphasize expert database systems and natural language processing. All the code is in IBM Prolog....
|
Mar 1 1992 |
|
|
|
|
|
|
Nonmonotonic reasoning, preferential models and cumulative logics Kraus S., Lehmann D., Magidor M. Artificial Intelligence 44(1-2): 167-207, 1990. Type: Article
Traditional logic systems are monotonic in the sense that the addition of new knowledge does not invalidate previously proven theorems. Human logic is not. For example, consider a knowledge base containing one rule and one fact: ...
|
May 1 1991 |
|
|
|
|
|
|
MUSCADET: an automatic theorem proving system using knowledge and metaknowledge in mathematics Pastre D. Artificial Intelligence 38(3): 257-318, 1989. Type: Article
MUSCADET is an automatic theorem prover based on natural deduction. The paper examines MUSCADET’s relationship to artificial intelligence, automated theorem provers, and mathematics, but the exposition in this section is weak...
|
Oct 1 1990 |
|
|
|
|
|
|
|
|
|
|
|