Hi Rafael, Maarten, all,
I agree with all you say. The point is to use cognitive agents in
simulations. As there are several theories of human cognition, is only
fair to have many theories of agent cognition, and indeed BDI is
certainly not THE one. Organizational simulation will need both
simulation concepts (time, scheduling,...) and agent concepts (goals,
norms, plans, beliefs, communication, ...) I think what is important is
to try to bring this 2 issues together and not so much which particular
theories are used. (Yes, we do use a BDI-like language together with
Repast, the simple reason is that 3APL enables the specification of
cognitive agents and, not unimportant in our own case, is developed at
Utrecht University as well ;-) )
imo, the more this kind of combinations are around, Brahms being a well
established choice, the more experience will be on this, and we can then
start comparing the benefits/limitations/appropriateness of different
approaches.
Cheers, doei, ciao...
Virginia
Rafael H Bordini wrote:
> Hi all,
>
> I liked very much both Virginia's and Maarten's messages. I should
> perhaps have emphasised more the use of ANY agent language, whatever
> it is. I strongly believe this trend will lead to much more
> sophisticated social simulations.
>
> Yes, Maarten is right that Jason itself doesn't have an in-built
> notion of time, but it isn't difficult to get around that for doing
> simulation. Besides, the MAS-SOC platform (http://
> jasss.soc.surrey.ac.uk/8/3/7.html) handles that nicely, but
> unfortunately it's not publicly available for download yet.
>
> Also, my personal view on Brahms is that, even though the theoretical
> foundation *is* different, what it in practice offers for programmers
> isn't conceptually TOO different from what other (e.g., BDI) agent
> languages do (if you put on top it an organisational model), and
> indeed suitable for the same class of problems. But I'm only saying
> this to get Maarten furious! :D
>
> The important thing I think we are all saying is: "shop around" for
> the best agent language for your project, but DO use an agent language!
>
> All the best,
>
> Rafael
>
>
> On 13 Jan 2007, at 18:26, Maarten Sierhuis wrote:
>
>> I second Rafael's points about using agent-oriented languages for
>> simulating complex agent behavior. However one has to be careful in
>> selecting cognitive architectures as a model for large scale
>> societal behavior. Cognitive models are based on a theory of human
>> cognition, based on the notion that humans are bounded rational and
>> goal-driven. But more importantly, these architectures are based on
>> a theory of human memory that has never been proven to be correct.
>> More so, many scientist (e.g. neuroscience, anthropology, cognitive
>> science) have in recent years developed counter theories to the
>> theory of the human mind as a "symbolic copy machine." I am not
>> saying don't use BDI languages as a model for simulating social
>> phenomena, I am saying be careful in using the fact that BDI is
>> based on Bratman's Planning Theory which is based on folk psychology
>> and on the premise that humans are planning agents (but, alas, not
>> every human activity is goal-driven).
>>
>> Another point of caution is the fact that BDI languages, such as
>> Jason and others, are no simulation languages. There is no notion of
>> time and a simulation-based scheduler (Rafael, please correct me if
>> I am wrong). If you use something like Soar or ACT-R there is only
>> time in the form of the engine simulating retrieval of "facts" from
>> "memory" in milliseconds (it takes a long time to simulate one day
>> with a clock that goes in milliseconds, let alone a week, month or
>> year). The language itself has no time predicates for the agents
>> available.
>>
>> Myself, I have been trying to argue for years (at least since 1992)
>> that using agent-oriented simulation languages (as opposed to Java,
>> C++ or C#) for simulating complex agent organizations is really the
>> right thing to do. If you want to simulate goal-driven human
>> cognition at the millisecond level, indeed Soar and ACT-R might be
>> the right tools. However, if you want to simulate territorial self-
>> organization of a large number of agents, I would question using a
>> goal-driven human cognitive model (even for simulating humans, but
>> definitely for simulating other life-forms). If you do, you better
>> have a validated theory that your simulated life-form really "works"
>> according to a goal-driven bounded rational cognitive model. For
>> simulating humans there are other theories around that put this
>> assumption in question. Personally, I think that this is one of the
>> main reasons why the social simulation community is still using
>> "low-level" languages (C++, Java, C#) to simulate agents. These
>> "low-level" languages are not based on any social theories and thus
>> its users need to first develop their own theory about agent
>> behavior before creating a model. However, the limiting factor of
>> these languages is the fact that they are based on Turing's theory
>> of programs as a sequence of instructions, instead of parallel
>> activated processes.
>>
>> As a plug for my own work on agent-oriented *simulation* languages;
>> Brahms is a BDI-like simulation language that is not based on
>> Bratman's planning theory (that's why I call it BDI-like), but is
>> based on the theories of situated action, activity theory, situated
>> cognition, and perception-action behavior (and is thus not goal-
>> driven but "belief-driven" and activity-based). You can model agent
>> organizations (as multiple inheritance groups of agents) and located
>> behaviors (situation-action rules) as subsumed activities in a
>> subsumption architecture (a la Brooks' hierarchically networked
>> behavioral perception-action models). You can model situatedness of
>> agents in a geography (such as a grid) model, with the state of the
>> world modeled as facts that agents can detect and act upon. Brahms
>> is an even-based simulation language and agents can have beliefs
>> about time (either real time or simulated time). You can set a
>> simulation clock grain size as low as a second to as long as you
>> want. Last, agents can also forward reason (deduce new beliefs based
>> on other beliefs) as in a BDI model and communicate beliefs (via a
>> time-taking communicate activity) to other agents. Brahms does not
>> rely on any specific model of human or any other life form memory or
>> cognition.
>>
>>
>> Doei ... MXS
>>
>> ______________________________________________________________________ _
>>
>> Dr. ing. Maarten Sierhuis
>> USRA/RIACS
>> Senior
>> Scientist
>> Mail Stop B269-1
>> Human-Centered Computing NASA Ames
>> Research Center
>>
>> Moffett Field, CA 94035
>> e-mail: [log in to unmask]
>> Phone: (650) 604-4917
>> Fax: (650) 604-4036
>>
>> http://homepage.mac.com/msierhuis
>> http://www.agentisolutions.com
>> http://ic.arc.nasa.gov/projects/brahms/index.html
>> http://www.riacs.edu
>> ______________________________________________________________________ _
>>
>> This communication is intended for the use of the addressee only and
>> may contain information that is privileged or confidential. If you
>> are not the addressee, you are hereby notified that any
>> dissemination, distribution or use of this communication is
>> prohibited. If you received this communication in error, please
>> destroy it, all copies and any attachments and notify the sender as
>> soon as possible. Any comments, statements or opinions expressed in
>> this communication do not necessarily reflect those of NASA or USRA/
>> RIACS, its subsidiaries and affiliates.
>>
>>
>>
>> On Jan 13, 2007, at 8:36 AM, Rafael H Bordini wrote:
>>
>>> Dear Rui,
>>>
>>> First, apologies for the delay in replying, I was away with little
>>> internet access for a couple of weeks.
>>>
>>> Indeed your message led to an interesting discussion. Personally, I
>>> was delighted with your mention of using Jason, of course, and
>>> indeed the other agent programming languages and platforms you
>>> mentioned. There has been much progress on those recently, and I've
>>> very recently heard of quite a few people interested in using
>>> various different agent languages and platforms to develop
>>> simulations with agents that are more elaborate than what is
>>> typically obtained with agent-based simulation toolkits or with
>>> more suitable code than obtained by those who developed simulations
>>> programming in, say, C or Java. As Scott rightly pointed out, what
>>> is special about agent-based models is that it allows users to
>>> observe processes such as agents learning from each other, the
>>> emergence of social relations (as reflected, e.g., in an agent's
>>> "mind"), etc.
>>>
>>> Personally, I think you are in the right direction by using a
>>> cognitive agent architecture (with the support of a programming
>>> language tailored for that) to improve your model in the way you
>>> mentioned below. Obviously you might stumble across fancifully
>>> worded, but otherwise quite empty, criticism of BDI-based agent
>>> programming from people who have absolutely no alternative to offer
>>> you when it comes to programming complex agents, and indeed very
>>> little knowledge of what's going on in that research area. In any
>>> case you should be aware of that and I must also say that you are
>>> likely to find difficulties in this approach precisely because
>>> there isn't much past experience you will be able to rely upon.
>>>
>>> Another thing I should point out is that most agent programming
>>> languages aren't yet well equipped with constructs for some social
>>> aspects of multi-agent systems such as norms. If you make a final
>>> decision to use Jason, the best thing will be for you to use the
>>> Moise+ organisational model by Hubner/Boissier/Sichman which has
>>> already been combined with Jason, see: http://moise.sourceforge.net/
>>>
>>> Best of luck with your research,
>>>
>>> Rafael
>>>
>>>
>>> On 5 Jan 2007, at 16:47, Rui Lopes wrote:
>>>
>>>> Hi!,
>>>>
>>>> My name is Rui Lopes and I'm a M.Sc Student of Computer Science in
>>>> the University of Coimbra. I am working in ECoS, CISUC (http://
>>>> cisuc.dei.uc.pt/ecos/) for one year and hale, ina project on
>>>> Models of Territorial Self-organisation - MATer (http://
>>>> cisuc.dei.uc.pt/ecos/view_project.php?id_p=54). Now I am also
>>>> working on my dissertation on the Emergence and Propagation of
>>>> Norms and Beliefs and recently I have joined this list. The aim of
>>>> dissertation is to "upgrade" the simulation that results from
>>>> MATer with agents that recognize and reason about beliefs and
>>>> norms to study the emergence of norms and beliefs and how those
>>>> propagate in real world territories.
>>>> After some research I am decided to build BDI based agents. MATer
>>>> uses Repast and I'm thinking in use Jason or Jadex for the
>>>> reasoning of the agents. I have also looked at others like 3APL,
>>>> Jess, etc but they seem less appropriate.
>>>> I have read on several frameworks for modeling norms and beliefs,
>>>> but most of them are only theoretical models. I didn't understand
>>>> quite well if modal or deontic logic are an obligation in such a
>>>> system and if there are proper tools to embed this kind of
>>>> reasoning into a toolkit like repast.
>>>> I would appreciate some counseling on the toolkits/languages to
>>>> use on my simulation as also as references and readings on
>>>> implemented models of norms and beliefs.
>>>>
>>>> Thank you very much in advance,
>>>> Rui Lopes
>>>>
>>>> ----------------------------------------------------------------
>>>> This message was sent using IMP, the Internet Messaging Program.
>>>
>>>
>>>
>>>
>>> ----------------------------------------------------------------
>>> Dr. Rafael H. Bordini Department of Computer Science
>>> [log in to unmask] University of Durham
>>> http://www.dur.ac.uk/r.bordini South Road, Durham DH7 6TE, UK
>>> +44 191 334 1727 (phone) +44 191 334 1702 (fax)
>>
>>
--
Dr. Virginia Dignum
Institute for Computing and Information Sciences
Utrecht University
tel: +31-30-2539492
email: [log in to unmask]
url: http://www.cs.uu.nl/~virginia
----------------------------------------------
The world of humanity has two wings: one is woman,
the other is man. Not until both wings are
equally developed can the bird fly.
Baha-u-llah
----------------------------------------------
|