Cargando…

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Congress of Logic Applied to Technology São Paulo, Brazil
Otros Autores: Abe, Jair Minoro, Silva Filho, João Inácio da
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002.
Colección:Frontiers in artificial intelligence and applications ; v. 85.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.