O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a mesa redonda:
Existência e Verdade
Prof. João Branquinho - Universidade de Lisboa
Prof. Cláudio Ferreira Costa - UFRN
Prof. Daniel Durante Alves - UFRN (moderador)
Data: 22/10/2008 às 19h
Local: UFRN, CHLA, Auditório da Filosofia
quarta-feira, 15 de outubro de 2008
quarta-feira, 8 de outubro de 2008
An optimal method for reasoning about actions
-----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: An optimal method for reasoning about actions
Palestrante: Andreas Herzig (prof. Visitante IME-USP), IRIT-CNRS (Toulouse,
France)
Data: 13/10/2008, 14h30
Local: Sala 03B, IME-USP
Resumo:
(paper with Hans van Ditmarsch and Tiago de Lima "Optimal regression for
reasoning about knowledge and actions" at AAAI'07; later version available
at http://drops.dagstuhl.de/portals/index.php?semnr=07351)
The frame problem is one of the major obstacles on the road towards
logical reasoning about actions in AI. Two versions can be distinguished.
The representational version is the problem of designing a logical
language and a semantics such that domains can be described without
stating all the non-effects of each action. The inferential version is to
design an efficient reasoning method for a given solution to the
representational problem. Several solutions to the representational
problem where proposed in the past. The solution of Reiter (1991), further
extended by Scherl and Levesque (1993), relies on the hypothesis of
inertia: each action only changes the truth value of a small number of
facts, leaving all the others unchanged. Reiter's associated regression
inference method eliminates action symbols from formulas by rewriting them
to formulas of propositional logic (or formulas of epistemic logic in
Scherl and Levesque's case). In the general case, however, the regressed
formula may be exponentially larger than the original formula, and hence
non-optimal. We here present the first optimal reasoning method for
Reiter's and Scherl and Levesque's solution. We first show that their
solution to the representational frame problem can be encoded into dynamic
epistemic logic of van Ditmarsch, van der Hoek and Kooi (2005). We then
give a polynomial reduction to epistemic logic. We also establish some
complexity results for our reasoning method: NP-completeness for a single
agent, PSPACE-completeness for multiple agents, and EXPTIME-completeness
when common knowledge is involved.
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: An optimal method for reasoning about actions
Palestrante: Andreas Herzig (prof. Visitante IME-USP), IRIT-CNRS (Toulouse,
France)
Data: 13/10/2008, 14h30
Local: Sala 03B, IME-USP
Resumo:
(paper with Hans van Ditmarsch and Tiago de Lima "Optimal regression for
reasoning about knowledge and actions" at AAAI'07; later version available
at http://drops.dagstuhl.de/portals/index.php?semnr=07351)
The frame problem is one of the major obstacles on the road towards
logical reasoning about actions in AI. Two versions can be distinguished.
The representational version is the problem of designing a logical
language and a semantics such that domains can be described without
stating all the non-effects of each action. The inferential version is to
design an efficient reasoning method for a given solution to the
representational problem. Several solutions to the representational
problem where proposed in the past. The solution of Reiter (1991), further
extended by Scherl and Levesque (1993), relies on the hypothesis of
inertia: each action only changes the truth value of a small number of
facts, leaving all the others unchanged. Reiter's associated regression
inference method eliminates action symbols from formulas by rewriting them
to formulas of propositional logic (or formulas of epistemic logic in
Scherl and Levesque's case). In the general case, however, the regressed
formula may be exponentially larger than the original formula, and hence
non-optimal. We here present the first optimal reasoning method for
Reiter's and Scherl and Levesque's solution. We first show that their
solution to the representational frame problem can be encoded into dynamic
epistemic logic of van Ditmarsch, van der Hoek and Kooi (2005). We then
give a polynomial reduction to epistemic logic. We also establish some
complexity results for our reasoning method: NP-completeness for a single
agent, PSPACE-completeness for multiple agents, and EXPTIME-completeness
when common knowledge is involved.
domingo, 5 de outubro de 2008
Construção de mapas semânticos com robôs móveis
-----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: Construção de mapas semânticos com robôs móveis
Palestrante: Fabiano Rogério Corrêa
Data: 06/10/2008, 14h30
Local: Sala 03B, IME-USP
Resumo:
A robótica móvel teve um avanço considerável na última década devido ao
emprego de modelos probabilísticos e técnicas de aprendizado computacional.
Hoje em dia é possível mapear de maneira eficiente e robusta um ambiente e
simultaneamente localizar o robô móvel, apenas com as informações espaciais
obtidas de seus sensores. No entanto, novos desafios estão sendo abordados
na área, e a incorporação de informação semântica (classificação das
informações espaciais) vem sendo adotada por alguns pesquisadores como a
direção a ser seguida na solução dos problemas.
Nessa palestra será exposto um panorama dos trabalhos mais recentes na área
de construção de mapas semânticos, seguida de uma indicação de que modelos
probabilísticos de primeira ordem possibilitam um melhor tratamento da
natureza relacional dos dados obtidos pelos robôs móveis para classificação
semântica.
--
Marcelo Finger
Departamento de Ciencia da Computacao
Instituto de Matematica e Estatistica | home page:
Universidade de Sao Paulo | www.ime.usp.br/~mfinger
Rua do Matao, 1010 | Tel: +55 11 3091 6310, 3091 6135
05508-090 Sao Paulo, SP Brazil | Fax: +55 11 3091 6134, 3814 4135
sexta-feira, 26 de setembro de 2008
Densidade e bolas fechadas em análise de agrupamentos
-----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: Densidade e bolas fechadas em análise de agrupamentos
Palestrante: Carlos Gonzalez
Data: 29/09/2008, 14h30
Local: Sala 03B, IME-USP
Resumo:
-------
Uma das conceitualizações possíveis em análise de agrupamentos
consiste em selecionar as áreas do espaço de características (feature
space) que apresentam maior densidade. O conceito básico de densidade
surge de considerar a quantidade
de pontos que tem uma determinada região do espaço. Seguindo com esta linha de
raciocínio, precisamos determinar, de alguma maneira, a região que vai ser
considerada para calcular a densidade.
Neste sentido, noções topológicas bem conhecidas, como a de bola
fechada, podem nos auxiliar. Mas para isto precisamos analisar o
seguinte problema: dado um conjunto de elementos do espaço de
características: como determinar uma bola
fechada mínima ou minimal que inclua este conjunto? Uma vez solucionado este
problema, podemos pensar várias maneiras de aplicar este contexto metodológico
em análise de agrupamentos. Se trabalharmos em análise de agrupamentos
hierárquico acumulativo, podemos determinar que dois agrupamentos
A_{1} e A_{2} serão selecionados para formar um novo agrupamento se a
densidade da menor bola fechada que inclui A_{1} e A_{2} tem a maior
densidade ou uma densidade maximal. Denominamos a este algoritmo
``grande bola''. Também podemos usar alguma noção de distância para
determinar, para cada par de agrupamentos A_{1} e A_{2} o conjunto E
dos elementos de A_{1} e A_{2} que estão mais próximos, considerando
para a seleção de agrupamentos a densidade da menor menor bola fechada
que inclua E. Este algoritmo é denominado ``bola no meio''.
A principal vantagem (o que na realidade foi a motivação inicial)
consiste em que a generalidade de aplicação destes conceitos permite
comparar tipos de espaços e noções de noções de distância muito
diferentes. Neste trabalho, usamos este enfoque conceitual e os
algoritmos mencionados para comparar o conhecido espaço métrico que
usa a noção de distância de Jaccard com os espaços booleanos,
nos quais as distâncias são elementos da mesma álgebra de Boole usada como
espaço de características.
São mostrados alguns resultados experimentais para uma comparação inicial deste
enfoque.
Todos são benvindos
--
Marcelo Finger
Departamento de Ciencia da Computacao
Instituto de Matematica e Estatistica | home page:
Universidade de Sao Paulo | www.ime.usp.br/~mfinger
Rua do Matao, 1010 | Tel: +55 11 3091 6310, 3091 6135
05508-090 Sao Paulo, SP Brazil | Fax: +55 11 3091 6134, 3814 4135
quinta-feira, 25 de setembro de 2008
Towards the self-regulation of personality-based social exchange processes in multiagent systems
O grupo de pesquisa em "Teoria e Inteligência Computacional" da UFRN tem o prazer de anunciar a palestra:
Towards the self-regulation of personality-based social exchange processes in multiagent systems
Prof. Graçaliz Dimuro
Universidade Católica de Pelotas
Data: 26/09/2008 às 14h
Local: UFRN, DIMAp, sala de reuniões
Abstract:
The regulation of agent interactions based on Piaget's theory of social exchanges was first proposed by Dimuro and Costa in 2005. According to that theory, social interactions are seen as service exchanges between pairs of agents and the qualitative evaluation of those exchanges by the agents by means of social exchange values: the investment value for performing a service or the satisfaction value for receiving it. The exchanges also generate values of debts and credits that help to guarantee the continuity of future interactions. A multiagent system (MAS) is said to be in social equilibrium if the balances of investment and satisfaction values are equilibrated for the successive exchanges occurring along the time. A (centralized) mechanism for the regulation of social exchanges in MAS, based on the concept of equilibrium supervisor with an associated Qualitative Interval Markov Decision Process (QI-MDP) was introduced in 2005. This approach was extended to consider personality-based agents in 2006.
We are now going towards the (distributed) self-regulation of personality-based social exchanges, by decentralizing the equilibrium supervisor through the internalization of its decision process in the interacting agents. For simplicity, we consider that the exchanges between each pair of agents have no influence from the exchanges occurring between other pair of agents, which allowed for a simple way of distributing the decision process. However, since the agents do not necessarily have access to the internal states (balances of exchange values) of each other, the decision processes have to operate in a partially observable mode, by means of Partially Observable Markov Models POMDP).
The decision about the best exchanges that an agent should propose to its partner in order to achieve social equilibrium, or to promote new interactions, is modeled as a global POMDP for each personality trait that its partner may assume. Considering a set of six personality traits (egoism, strong egoism, altruism, strong altruism, tolerance, equilibrium fanaticism), each global POMDP is decomposed into three sub-POMDPs, according to the current internal state (favorable, equilibrated or unfavorable balance of material exchange values) of the agent that is supervising the interaction.
For convenience, we have chosen the BDI architecture for the agents in the social exchange simulator used in this work. We developed an algorithm to extract BDI plans from the policy graphs of each sub-POMDP, building a set of rules that form the BDI plans for interacting with agents of each personality model. Those plans are to be selected in each interaction according to the current balance of material values of the agents in each exchange stage. Such plans are said to ``obey'' optimal POMDP policies.
Towards the self-regulation of personality-based social exchange processes in multiagent systems
Prof. Graçaliz Dimuro
Universidade Católica de Pelotas
Data: 26/09/2008 às 14h
Local: UFRN, DIMAp, sala de reuniões
Abstract:
The regulation of agent interactions based on Piaget's theory of social exchanges was first proposed by Dimuro and Costa in 2005. According to that theory, social interactions are seen as service exchanges between pairs of agents and the qualitative evaluation of those exchanges by the agents by means of social exchange values: the investment value for performing a service or the satisfaction value for receiving it. The exchanges also generate values of debts and credits that help to guarantee the continuity of future interactions. A multiagent system (MAS) is said to be in social equilibrium if the balances of investment and satisfaction values are equilibrated for the successive exchanges occurring along the time. A (centralized) mechanism for the regulation of social exchanges in MAS, based on the concept of equilibrium supervisor with an associated Qualitative Interval Markov Decision Process (QI-MDP) was introduced in 2005. This approach was extended to consider personality-based agents in 2006.
We are now going towards the (distributed) self-regulation of personality-based social exchanges, by decentralizing the equilibrium supervisor through the internalization of its decision process in the interacting agents. For simplicity, we consider that the exchanges between each pair of agents have no influence from the exchanges occurring between other pair of agents, which allowed for a simple way of distributing the decision process. However, since the agents do not necessarily have access to the internal states (balances of exchange values) of each other, the decision processes have to operate in a partially observable mode, by means of Partially Observable Markov Models POMDP).
The decision about the best exchanges that an agent should propose to its partner in order to achieve social equilibrium, or to promote new interactions, is modeled as a global POMDP for each personality trait that its partner may assume. Considering a set of six personality traits (egoism, strong egoism, altruism, strong altruism, tolerance, equilibrium fanaticism), each global POMDP is decomposed into three sub-POMDPs, according to the current internal state (favorable, equilibrated or unfavorable balance of material exchange values) of the agent that is supervising the interaction.
For convenience, we have chosen the BDI architecture for the agents in the social exchange simulator used in this work. We developed an algorithm to extract BDI plans from the policy graphs of each sub-POMDP, building a set of rules that form the BDI plans for interacting with agents of each personality model. Those plans are to be selected in each interaction according to the current balance of material values of the agents in each exchange stage. Such plans are said to ``obey'' optimal POMDP policies.
quarta-feira, 24 de setembro de 2008
LÓGICAS DA INCONSISTÊNCIA DEÔNTICA
---------- Forwarded message ----------
From: Rafael Testa (CLE-UNICAMP)
![]()
LOCAL: CLE - UNICAMPLembro a todos que na próxima quarta, dia 1 de outubro, às 16h00, teremos seminário de nosso colega Newton Perón (Mestrando IFCH/CLE), cujo resumo segue abaixo.
Abraços,
Rafael
++++++++++++++++++++++++++++++++++++++++++++++++++++
LÓGICAS DA INCONSISTÊNCIA DEÔNTICA
resumo
Lógicas da Inconsistência Formal (LFI's). são lógicas que não trivializam na presença de contradições, pois a partir de A e ~A temos simplesmente que ~oA, ou seja, A não é consistente, ou não é seguro.
De mandeira análoga, as Lógicas da Inconsistência Deôntica (LDI's) são lógicas que não trivializam na presença de obrigações conflitantes, como OA e O~A. Nesse caso teríamos apenas [X]A, ou seja, A é deonticamente inconsistente, ou deonticamente inseguro. Exemplos de LDI's são os sistemas DmbC e BDmbC - esse último com dois operadores deônticos -, que serão apresentados. Já SDmbC é uma LFI deôntica que não pode ser classificada como LDI.
Essa abordagem torna-se interessante sobretudo na análise de paradoxos que, a partir de um conjunto de premissas, inferemos OA e O~A. Trataremos, como exemplo, a análise d'O Paradoxo de Chisholm.
__._,_.___ Abraços,
Rafael
++++++++++++++++++++++++++++++++++++++++++++++++++++
LÓGICAS DA INCONSISTÊNCIA DEÔNTICA
resumo
Lógicas da Inconsistência Formal (LFI's). são lógicas que não trivializam na presença de contradições, pois a partir de A e ~A temos simplesmente que ~oA, ou seja, A não é consistente, ou não é seguro.
De mandeira análoga, as Lógicas da Inconsistência Deôntica (LDI's) são lógicas que não trivializam na presença de obrigações conflitantes, como OA e O~A. Nesse caso teríamos apenas [X]A, ou seja, A é deonticamente inconsistente, ou deonticamente inseguro. Exemplos de LDI's são os sistemas DmbC e BDmbC - esse último com dois operadores deônticos -, que serão apresentados. Já SDmbC é uma LFI deôntica que não pode ser classificada como LDI.
Essa abordagem torna-se interessante sobretudo na análise de paradoxos que, a partir de um conjunto de premissas, inferemos OA e O~A. Trataremos, como exemplo, a análise d'O Paradoxo de Chisholm.
segunda-feira, 22 de setembro de 2008
Verdade: mito e demito
O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra:
Verdade: mito e demito
Prof. Abrahão Costa Andrade
Departamento de Filosofia - UFPB
Data: 26/09/2008 às 16 h.
Local: UFRN, Setor II, sala D1
Verdade: mito e demito
Prof. Abrahão Costa Andrade
Departamento de Filosofia - UFPB
Data: 26/09/2008 às 16 h.
Local: UFRN, Setor II, sala D1
Assinar:
Postagens (Atom)