01688naa a2200205 a 450000100080000000500110000800800410001902000180006010000150007824501040009326000090019730000140020649000880022050000570030852008950036565000280126065300280128870000150131677301510133110059662007-12-11       1995    bl uuuu     u00u1 u    #d  a3-540-60436-71 aCORREA, M.  aA computational approach to situation theory based on logic programming to design cognitive agents.  c1995  ap.219-231  a(Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science).  aSBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho.  aThis paper describes a framework based on logic programming to provide computational instruments to design cognitive  agents and systems in situation theory. This framework provides a representation in prolog for the situation theory objects: individuals, relations, informs, situations, parameters, anchors, types (object types and situation types) and for making inferences by using rules such as "supports" and "constraints". It provides also two mechanisms for inferences: based upon backward chaining and upon forward chaining. These inferences are situated in a particular or in a general context. We conclude this paper giving examples of applications of this framework and showing how it can be used as a tool to build agents and systems having situation theory as their theoretical basis. We claim that this framework can be easily extended to include induction and belief systems.  aartificial intelligence  aInteligencia artificial1 aMENDES, S.  tIn: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.