Beliefs in Agent Implementation
نویسندگان
چکیده
This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming language, the beliefs of agents are implemented by modal logic programs, where beliefs are represented by explicit modal operators. A distinction is made between a belief base language that can be used to represent an agent’s beliefs, and a belief query language that can be used to express queries to the agent’s belief base. We adopt and modify a proof procedure that decides if a belief query formula is derivable from the belief base of an agent. We show that the presented proof procedure is sound.
منابع مشابه
Meta-agent programs
There are numerous applications where an agent a needs to reason about the beliefsof another agent, as well as about the actions that other agents may take. In (21)the concept of an agent program is introduced, and a language within which theoperating principles of an agent can be declaratively encoded on top of imperativedata structures is defined. In this paper we first introd...
متن کاملBelief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which mean...
متن کاملExploring EFL Learners' Beliefs toward Communicative Language Teaching: A Case Study of Iranian EFL Learners
Although Communicative Language Teaching (CLT) has been widely advocated by a considerable number of applied linguists and English language teachers, its implementation in English as a Foreign Language (EFL) contexts has encountered a number of difficulties. Reviewing the literature suggests that one of the reasons for unsuccessful implementation of CLT may be neglect of learners' beliefs in t...
متن کاملPAID: A Probabilistic Agent-Based Intrusion Detection system
In this paper we describe architecture and implementation of a Probabilistic AgentBased Intrusion Detection (PAID) system. The PAID system has a cooperative agent architecture. Autonomous agents can perform specific intrusion detection tasks (e.g., identify IP spoofing attacks) and also collaborate with other agents. The main contributions of our work are the following: Our model allows agents ...
متن کاملCompiling GOAL Agent Programs into Jazzyk Behavioural State Machines
A variety of agent-oriented programming languages based on concepts such as beliefs and goals has been proposed in the literature. Even though most of these languages now come with interpreters implemented in e.g. Java and can be used to write software agents, there is little work reporting how to implement such languages or to identify a core instruction set that would facilitate such implemen...
متن کامل