人工智能理论系统的推理活动与交互作用 Reasoning, action and interaction in AI theories and systems
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,人工智能,
作者： Oliviero Stock著
出 版 社： 湖北辞书出版社
出版时间： 2006-12-1字数：版次： 1页数： 342印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540379010包装： 平装内容简介
The present book is a festschrift in honor of Luigia Carlucci Aiello.
The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work.
目录
Searching in a Maze, in Search of Knowledge: Issues in Early Artific Intelligence
Research Perspectives for Logic and Deduction
Reductio ad Absurdum: Planning Proofs by Contradiction
Computational Logic in an Object-Oriented World
Best-First Rippling
Partial Solutions with Unique Completion
A Computerized Referee
About Implicit and Explicit Shape Representation
Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems
Coordination of Actions in an Autonomous Robotic System
Artificial Intelligence in RoboCup
Planning Under Uncertainty and Its Applications
Reasoning About Web Services in a Temporal Action Logic
Intelligent Search on the Internet
Cracking Crosswords: The Computer Challenge
Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis
Examples of Integration of Induction and Deduction in Knowledge Discovery
SharedLife: Towards Selective Sharing of Augmented Personal Memories
Author Index
