A verification framework for agent programming with declarative goals
TL;DR: The programming language GOAL is introduced which incorporates the concept of a declarative goal and the notion of a commitment strategy—one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals—is used to construct a computational semantics for GOAL.
read more
About: This article is published in Journal of Applied Logic. The article was published on 01 Jun 2007. and is currently open access. The article focuses on the topics: Inductive programming & Functional logic programming.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Programming Rational Agents in GOAL
Koen V. Hindriks
- 01 Jan 2009
TL;DR: The formal semantics provides the basis for dening a verication framework for GOAL for verifying and reasoning about GOAL agents which is similar to some of the wellknown agent logics introduced in the literature.
243
Model checking agent programming languages
Louise A. Dennis,Michael Fisher,Matt Webster,Rafael H. Bordini +3 more
- 01 Mar 2012
TL;DR: This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency, and develops a specific layer of abstraction that maps the semantics of agent programs into the relevant model-checking framework.
Parallel Program Design
Jean-Pierre Banâtre
- 17 Jun 1991
TL;DR: A monolithically integrated semiconductor circuit, provided for coupling arrangements having symmetrical cross points, comprising two through switching NPN transistors, and a composite circuit for switching through the switching transistors.
139
A BDI agent programming language with failure handling, declarative goals, and planning
Sebastian Sardina,Lin Padgham +1 more
TL;DR: A typical BDI-style agent-oriented programming language that enhances usual BDI programming style with three distinguished features: declarative goals, look-ahead planning, and failure handling.
Unity in diversity
TL;DR: Hochachka and Somero as mentioned in this paper proposed a method for biochemical adaptation based on the HochACHKA-Somero method. Princeton University Press: 1984. Pp.537.
References
•Book
Artificial Intelligence: A Modern Approach
Stuart Russell,Peter Norvig +1 more
- 01 Jan 2020
TL;DR: In this article, the authors present a comprehensive introduction to the theory and practice of artificial intelligence for modern applications, including game playing, planning and acting, and reinforcement learning with neural networks.
21.4K
Lecture Notes in Artificial Intelligence
P. Brezillon,P. Bouquet +1 more
- 01 Jan 1999
TL;DR: The topics in LNAI include automated reasoning, automated programming, algorithms, knowledge representation, agent-based systems, intelligent systems, expert systems, machine learning, natural-language processing, machine vision, robotics, search systems, knowledge discovery, data mining, and related programming languages.
7.5K
Intelligent Agents: Theory and Practice
TL;DR: Agent theory is concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties of agents as discussed by the authors ; agent architectures can be thought of as software engineering models of agents; and agent languages are software systems for programming and experimenting with agents.
•Book
Reasoning About Knowledge
Ronald Fagin,Joseph Y. Halpern,Moshe Y. Vardi,Yoram Moses +3 more
- 14 Aug 1995
TL;DR: Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
4.7K
Related Papers (5)
Alexander Pokahr,Lars Braubach,Winfried Lamersdorf +2 more
- 01 Jan 2005
Anand S. Rao,Michael P. Georgeff +1 more
- 01 Oct 1997