Name
Abstract | ||
|---|---|---|
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a single agent but also for the “reactive” component and that can encompass multi‐agent systems. We modify an earlier abductive proof procedure and embed it within an agent cycle. The proof procedure incorporates abduction, definitions and integrity constraints within a dynamic environment, where changes can be observed as inputs. The definitions allow rational planning behaviour and the integrity constraints allow reactive, condition‐action type behaviour. The agent cycle provides a resource‐bounded mechanism that allows the agent’s thinking to be interrupted for the agent to record and assimilate observations as input and execute actions as output, before resuming further thinking. We argue that these extensions of LP, accommodating multi‐theories embedded in a shared environment, provide the necessary multi‐agent functionality. We argue also that our work extends Shoham’s Agent0 and the BDI architecture. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1023/A:1018934223383 | Ann. Math. Artif. Intell. |
Keywords | Field | DocType |
multi-agent system,abductive proof procedure,agent cycle,proof procedure,integrit y constraints,single agent,agent functionality,action type behaviour,reactivity,necessary multi,logic programming,rationality.,logic based agents,dynamic environment,integrity constraint,agent system | Shared environment,Architecture,Computer science,Multi-agent system,Agent architecture,Rational planning model,Data integrity,Artificial intelligence,Logic programming,Proof procedure,Machine learning | Journal |
Volume | Issue | ISSN |
25 | 3-4 | 1573-7470 |
Citations | PageRank | References |
104 | 4.41 | 20 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Robert A. Kowalski | 1 | 4187 | 1066.36 |
| Fariba Sadri | 2 | 1475 | 173.43 |