Agent-Oriented Programming with Underlying Ontological Reasoning

Moreira, Álvaro F.; Vieira, Renata; Bordini, Rafael H.; Hübner, Jomi Fred

doi:10.1007/11691792_10

Cited by 38 publications

(20 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreira and Bordini presented an operational semantics of AgentSpeak in [2]. The operational semantics based on the definition presented by Rao in [4], is described by structural operational semantics presented by Plotkin in [3].…”

Section: An Overview Of Agentspeakmentioning

confidence: 98%

See 1 more Smart Citation

The Soundness and Completeness Proof of Agent Intention in AgentSpeak

Corby¹,

Faron-Zucker

2007

IEEE/WIC/ACM International Conference on Web Intelligence (WI'07)

View full text Add to dashboard Cite

Autonomy is one of the characteristics that agent has which distinguish agent systems from the other conceptualisations within Computer Science. To prove the validity of intention execution in AgentSpeak, according to the agent's goal, we construct a model-theoretic semantics of AgentSpeak and an informal interpretation of agent program. Then we give an equivalence theorem of intention execution forAgentSpeak that the sequence of actions produced by an agent written in AgentSpeak is equivalent with the intention produced by the model that satisfies the belief set and plan set of agent.

show abstract

Section: An Overview Of Agentspeakmentioning

confidence: 98%

“…For reason of page space, we will not describe the operational semantics. The details of AgentSpeak operational semantics can be found in [2]. Basing on these definition in [2], we give a process that agent produces the intentions.…”

Section: An Overview Of Agentspeakmentioning

confidence: 98%

The Soundness and Completeness Proof of Agent Intention in AgentSpeak

Corby¹,

Faron-Zucker

2007

IEEE/WIC/ACM International Conference on Web Intelligence (WI'07)

View full text Add to dashboard Cite

show abstract

“…It states that if the current agent is in state A (lines 1 and 2 in the rule) and the message received (3) has been sent by Bob (4) and this message is an answer (5), then the next state of the agent (8) will receive the value held by y (or sEnd which is the final state), a stored list of actions ActionSequence will be performed (9) till the end (10), and the content of the message (hold by w ) will be added in the knowledge base (11,12).…”

Section: Semantic Agent Modelmentioning

confidence: 99%

“…Agents using semantic technologies in both agent knowledge representation and internal programming have been called semantic agents. Several architectures such as Nuin [6], S-APL [9], JASDL [11] and SAM [12] have been proposed.…”

Section: Introductionmentioning

confidence: 99%

Virtual knowledge communities for semantic agents

Subercaze

Maret

2011

Proceedings of the International Conference on Web Intelligence, Mining and Semantics

View full text Add to dashboard Cite

Virtual Knowledge Communities are a well suited paradigm for decentralized knowldege exchanges and they have been applied in several domains. In this paper we investigate the implementation of virtual knowledge communities with semantic agents. Using the SAM (Semantic Agent Modeling) approach, we show that agents can exchange community related concepts (in OWL) and behavior (in SWRL). Agents can then learn and adapt new community-related behavior, which is usefull when changing the role or entering into a new environment. For this purpose, we formalize Virtual Knowledge Communities in a set-theoretic way and we implement this formalization in an OWL ontology. Some examples of community representation using our formalization are presented in this paper.

show abstract

“…The use of alternative knowledge representation languages for the belief base of a Jason agent has been considered in the context of adding support for ontological reasoning and OWL [18,16]. However, this work has concentrated on extending the Prolog facilities of Jason with support for ontological reasoning, rather than replacing the existing belief base language.…”

Section: Related Workmentioning

confidence: 99%

Modularity and Compositionality in Jason

Madden

Logan

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In this paper, we present our experiences using the Jason agent-oriented programming language to develop a complex multi-agent application. We highlight a number of shortcomings in the current design of the language when building complex agents, and propose revisions to the language to allow the development of modular programs that facilitate code reuse and independent development. In particular, we propose a mechanism for modular construction of agents from functionally encapsulated components, and discuss alterations to the belief base language to enable more robust software engineering.

show abstract

Agent-Oriented Programming with Underlying Ontological Reasoning

Cited by 38 publications

References 11 publications

The Soundness and Completeness Proof of Agent Intention in AgentSpeak

The Soundness and Completeness Proof of Agent Intention in AgentSpeak

Virtual knowledge communities for semantic agents

Modularity and Compositionality in Jason

Contact Info

Product

Resources

About