Titlebook: Reasoning, Action and Interaction in AI Theories and Systems; Essays Dedicated to Oliviero Stock,Marco Schaerf Book 2006 Springer-Verlag B

不持续就爆

Examples of Integration of Induction and Deduction in Knowledge Discovery,er– is presented. What is in common between such so different applications of the classification techniques based on trees is the need of complementing the straightforward use of induction with the exploitation of some form of deductive, or better to say expert, knowledge. When working on business d

Cantankerous

SharedLife: Towards Selective Sharing of Augmented Personal Memories,bio sensors – makes it possible to create instrumented environments and to capture the physical and communicative interaction of an individual with these environments in a digital register. One of the grand challenges of current AI research is to process this multimodal and massive data stream, to r

披肩

Research Perspectives for Logic and Deduction,oice of an appropriate logic from the great variety of alternatives, then the choice of an appropriate formal system for representing the chosen logic, and finally the issue of developing the most efficient search strategies. Among the proposals is a conjecture concerning the treatment of cuts in proof search.

dilute

采纳

有毒

Reasoning About Web Services in a Temporal Action Logic,d fulfillment of commitments and permissions among the agents. We show how to introduce epistemic operators in the action theory to deal with incomplete information, and we address the problem of verifying properties of Web services, as well as the problem of reasoning about the composition of Web services.

conservative

Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence,eaking, at least in comparison to real-life problems, and as such have played the role of . in early AI. In this chapter I will investigate the origins of heuristic programming and the shift to more knowledge-based and real-life problem solving.

Prosaic

多节

Saline

Artificial Intelligence in RoboCup,of research, aiming at innovations to be applied for socially significant problems and industries.” The aim of the paper is to provide an AI research perspective on RoboCup, based on the experience gained partecipating in the competition, within our research group at “La Sapienza”.