Download Logic-Based Artificial Intelligence (The Kluwer by Jack Minker PDF

By Jack Minker

ISBN-10: 0792372247

ISBN-13: 9780792372240

This landmark quantity represents the fruits of over forty years of study within the use of common sense as a foundation for representing and manipulating difficulties within the box of man-made intelligence. The use of good judgment as a foundation for common-sense reasoning was once begun by means of John McCarthy in 1959. the gathering involves either unique learn and surveys of virtually each topic that makes use of common sense in AI, contributed through major scientists, and grew out of initial paintings offered at the Workshop on Logic-Based synthetic Intelligence held in Washington, DC, June 1999. All papers were broadly refereed and revised. The introductory article provides history on examine that has transpired when you consider that 1959 and discusses the importance of every bankruptcy during this context. the subjects lined within the ebook are common-sense reasoning, wisdom illustration, nonmonotonic reasoning, common sense for causation and activities, making plans and challenge fixing, cognitive robotics, good judgment for brokers and activities, inductive reasoning, possibilistic good judgment, good judgment and ideology, good judgment and language, computational common sense, wisdom base process implementations, and purposes of theorem proving and common sense programming. Logic-Based man made Intelligence is worthy to graduate scholars and researchers in man made intelligence, and complex tools for database and information base structures. Logic-Based man made Intelligence can be of curiosity to these utilizing theorem proving tips on how to difficulties in application and undefined verification, to people who care for huge wisdom base structures, these constructing cognitive robotics, and for these attracted to the resolution of McCarthy's 1959 "oldest making plans challenge in AI: getting from domestic to the airport".