Abstract | ||
---|---|---|
In this paper we analyse the differences between rational and reactive agent architectures, and propose a uniform agent architecture that aims to capture both as special cases. For this purpose we employ a proof procedure, to control the agent's behaviour, which combines definitions with integrity constraints. The proof procedure is general, and has been shown elsewhere to unify abductive logic programming, constraint logic programming and semantic query optimisation. We also employ a... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BFb0031739 | Logic in Databases |
Keywords | Field | DocType |
unified agent architecture,combines rationality,integrity constraints,abductive logic programming,agent architecture | Horn clause,Computer science,Constraint programming,Abductive logic programming,Theoretical computer science,Agent architecture,Concurrent constraint logic programming,Logic programming,Proof procedure,Constraint logic programming | Conference |
ISBN | Citations | PageRank |
3-540-61814-7 | 49 | 3.01 |
References | Authors | |
11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert A. Kowalski | 1 | 4187 | 1066.36 |
Fariba Sadri | 2 | 1475 | 173.43 |