We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on...
详细信息
We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on an agent program and a knowledge management system and present out choices for these components. We show how the architecture can be designed and implemented using description logicrepresentation systems and argue for the advantages of this approach. Then we show how services supporting time-map management, conflict resolution, deductive queries and change management have been introduced and how all of these support the functions of the Information Agent.< >
We present a general introduction to termination analysis for logic programs, with focus on universal termination of SLD-derivations and on definite programs. We start by providing a generic definition of the terminat...
详细信息
Object-oriented operating systems prefer to consider every data structure as an object. However, data structures predefined by the hardware39;s manufacturer do not fit into this scheme. First of all, traditional obj...
详细信息
In this work, it is proposed the design of a Reasoning logical Based Intelligent Agent System Chat-bot for Dialogue Composition (DC) named E-friend, which uses logicprogramming (LP) for reasoning tasks. The main cont...
详细信息
There has been a constant debate about how to integrate spatial and temporal representation together. Three-dimensionalists believe that objects only have spatial dimensions;thus, they take space and time as two separ...
详细信息
In this paper we present a narrower for conditional equational theories whose clauses allow disequations in their bodies (normal theories). Our approach deals with disequations in a constructive manner and thus allows...
详细信息
The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the repres...
详细信息
Visual representation for operational requirements for Smart IoT Systems is desirable in process algebra, since it is more intuitive than textual representation. Further visual representation for safety requirements i...
详细信息
This paper describes an approach to create an Intelligent Tutoring System that provides dynamic personalization and learning activities sequencing adaptation by combining eLearning standards and Artificial Intelligent...
详细信息
ISBN:
(纸本)9783540876557
This paper describes an approach to create an Intelligent Tutoring System that provides dynamic personalization and learning activities sequencing adaptation by combining eLearning standards and Artificial Intelligent techniques. The work takes advantage of the functionalities provided by an open source Learning Management System, dotLRN, which supports eLearning standards such as IMS-LD, and generates personalized sequences of learning activities. Moreover, the user model draws on standards such as IMS-LIP and IMS-AccLIP and the personalized learning path provided to the user is enriched with feedback coming from various Agents. In turn, the agents apply Fuzzy logic to evaluate the students' assignments and to update the user model with their preferences by means of machine learning techniques.
This book constitutes the research papers presented at the 3rdinternationalworkshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that a...
详细信息
ISBN:
(数字)9783642044205
ISBN:
(纸本)9783642044199
This book constitutes the research papers presented at the 3rdinternationalworkshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.
暂无评论