Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
16/02/1998 |
Data da última atualização: |
11/12/2007 |
Autoria: |
CORREA, M.; MENDES, S. |
Título: |
A computational approach to situation theory based on logic programming to design cognitive agents. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995. |
Páginas: |
p.219-231 |
Série: |
(Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science). |
ISBN: |
3-540-60436-7 |
Idioma: |
Inglês |
Notas: |
SBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho. |
Conteúdo: |
This 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. |
Palavras-Chave: |
Inteligencia artificial. |
Thesaurus Nal: |
artificial intelligence. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01688naa a2200205 a 4500 001 1005966 005 2007-12-11 008 1995 bl uuuu u00u1 u #d 020 $a3-540-60436-7 100 1 $aCORREA, M. 245 $aA computational approach to situation theory based on logic programming to design cognitive agents. 260 $c1995 300 $ap.219-231 490 $a(Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science). 500 $aSBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho. 520 $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. 650 $aartificial intelligence 653 $aInteligencia artificial 700 1 $aMENDES, S. 773 $tIn: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|