Advances in logic, artificial intelligence, and robotics [electronic resource] : LAPTEC 2002 / edited by Jair Minoro Abe and Jo�ao In�acio da Silva Filho.
Material type: TextSeries: Frontiers in artificial intelligence and applications ; v. 85.Publication details: Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002.Description: 1 online resource (viii, 277 p.) : illISBN:- 1417511400 (electronic bk.)
- 9781417511402 (electronic bk.)
- 1601294026
- 9781601294029
- 9781586032920
- 1586032925
- Artificial intelligence -- Congresses
- Logic, Symbolic and mathematical -- Congresses
- Robotics -- Congresses
- Artificial intelligence
- Logic, Symbolic and mathematical
- Robotics
- Electronic books
- COMPUTERS -- Enterprise Applications -- Business Intelligence Tools
- COMPUTERS -- Intelligence (AI) & Semantics
- Intelig�encia artificial (congressos)
- Rob�otica (congressos)
- L�ogica simb�olica (congressos)
- 006.3 22
- Q334 .C69 2002eb
Includes bibliographical references and index.
Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System.
Logic (both classical and non-classical) is being increasingly related with other fields in almost every scientific discipline and human activity. This work covers its role in artificial intelligence, robotics, informatics, technology, and correlated themes.
Description based on print version record.
There are no comments on this title.