A logic based language for networked agents
نویسنده
چکیده
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support intelligent behaviors, software interoperatablity and code transportability. As prototype based logic objects, agents are composed of network connections, knowledge bases (facts and beliefs), databases, behaviors, constraints, services, goals and KQML performatives. An approach to non-monotonic inheritance with both predicate level and clause level knowledge reuse is proposed and formally defined. Multi-level components and the interfaces to FTP services and relational database systems are also provided for developing specific distributed agents. q 1998 Elsevier Science B.V. All rights reserved.
منابع مشابه
Facilitators: A Networked Computing Infrastructure for Distributed Software Interoperation
Facilitators1 provides an infrastructure a collection of networked task-independent system programs supporting automated interoperation between distributed heterogeneous software agents. Through a flexible communication model, the Facilitators infrastructure provides a variety of services to heterogeneous software agents based on both request/reply and publish/subscribe protocols, the communica...
متن کاملProgrammability of Intelligent Agent Avatars
In this paper, we propose an approach to the programmability of intelligent agent avatars, supported by the Distributed Logic Programming language DLP. The intelligent agent avatars can be considered as one of the applications of web agents. As one of the testbeds of the 3D web agents, we are developing and implementing soccer playing avatars. In this paper, we discuss how DLP can be used to su...
متن کاملFormal Logic Based Configuration Modeling and Verification for Dynamic Component Systems
Reconfigurable networked systems have often been developed via dynamically deployed software components that are executing on top of interconnected heterogenous hardware nodes. The challenges resulting from the complexity of those systems have been traditionally mitigated by creative ad-hoc solutions supported by domain specific modeling frameworks and methodologies. Targeting that deficiency, ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملCoordinating multiple agents in the supply chain
The agent view provides a level of abstraction at which we envisage computational systems carrying out cooperative work by interoperating across networked people, organizations and machines. A major challenge in building such systems is coordinating the behavior of the individual agents to achieve the individual and shared goals of the participants. In this paper we propose a conceptualization ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Information & Software Technology
دوره 40 شماره
صفحات -
تاریخ انتشار 1998