Material para os
minicursos:
Curso 1: Sowa
Curso 2: Fred (Material para Leitura) , Fred
Curso
3: Schwabe
Minicurso será ministrado em inglês.
Abstract: Philosophers and computer scientists discuss their ontologies in
ordinary natural languages, but they use some
version of logic to state them in a computable form. Aristotle did both,
but he developed the world's first formal logic with
a subset of the syntax and vocabulary of Greek. Modern logics are
much more expressive than Aristotle's syllogisms, but
they can also be expressed with a subset of the syntax and vocabulary of any
natural language. This tutorial surveys the
controlled natural languages (CNLs) that have been used in
computer systems and shows how they can express the patterns
of knowledge representation in ontology. To represent the semantics
of CNLs, it uses Common Logic, which is a superset of
most logics used for ontology.
Biografia: John F. Sowa passou 30 anos
trabalhando em projetos de pesquisa e desenvolvimento na IBM e é cofundador da
VivoMind
Intelligence, Inc. É bacharel em matemática pelo MIT, mestre em matemática
aplicada por Harvard, e doutor em
ciência da
computação pela Vrije Universiteit Brussel. É membro da Associação Americana de
Inteligência Artificial, e deu
cursos no
Instituto de Pesquisa em Sistemas da IBM, em universidades (Binghamton, Polytechnic,
e Stanford), além de institutos
de verão
(Sociedade Linguística da America e UQAM Cognitive Science). Com seus colegas
da VivoMind, tem desenvolvido
novos
métodos para o uso de lógica e ontologias em sistemas para raciocínio e compreensão
de linguagem. A linguagem de
grafos
conceituais desenvolvida por ele tem sido adotada como um dos três principais
dialetos do padrão ISO/IEC para Common Logic.
Resumo:Neste seminário vamos ler
duas partes de “O Ser e o Tempo”. Enquanto lemos, vamos tentar ter em mente o
seguinte cenário: um usuário usando o catalogo da biblioteca
para achar textos relevantes para sua monografia ou um
usuário do INSS usando um terminal de computador para descobrir
o quanto já contribuiu e a quanto teria direito de
receber em sua aposentadoria. Durante o seminário vamos tentar
discutir e responder as questões abaixo:
·
Os fundamentos:
o como é possível se ter conhecimento ôntico?
o Seria o ôntico o conhecimento que nós temos sobre a organização?
o E o conhecimento que temos sobre o problema que deu origem ao
sistema de informação?
·
O ôntico e o ontológico:
o o que é ôntico e o que é ontológico em um sistema de
informações?
o Considerando que necessitamos de uma intuição inicial sobre tudo
que entendemos no mundo, qual é a intuição inicial no caso do sistemas de
informação?
§ Ela está no sistema? Ela está na cabeça do projetista? Na cabeça
do usuário?
o O que é chamado de ontologia pela comunidade acadêmica de
sistemas de informação seria semelhante a esta intuição inicial de que
Heidegger nos fala?
o Qual é a fronteira entre o ôntico e o ontológico em sistemas de
informação?
§ Quando um programador escreve o código do sistema ele estaria
criando uma série de afirmações sobre o mundo ôntico?
§ Ou ele estaria criando algo ontológico?
§ E o que acontece quando o usuário “usa”este código (usa o
sistema)? Haveria então uma mudança neste tipo de conhecimento de ôntico para
ontológico?
§ Seria o mesmo caso quando o projeto na cabeça do projetista se
transforma em um sistema real?
§ Então o sistema (e o código) seriam ontológicos apenas quando
alguém está usando o sistema? Isto estaria relacionadocom a visão de Heidegger
de que ser não é uma entidade, um objeto, mas um acontecimento no tempo?
Biografia: Dr. Fonseca recebeu o seu Ph.D. em Engenharia e Ciência de Informação Espacial da Universidade do Maine
em 2001. Desde então ingressou na Universidade Estadual da
Pensilvânia como Professor Assistente da Escola de Ciências
e Tecnologia da Informação. Foi promovido a Professor Associado
em 2007 e é atualmente Decano Associado para Educação.
Seu trabalho em três áreas de pesquisa, Ciência da Informação
Geográfica, Ciência da Informação e Sistemas de Informação
, resultou em 18 artigos em periódicos, projetos de pesquisa
pela National Science
Foundation (NSF) e outras
agências, além
de estudantes de mestrado e doutorado de sucesso. Entre os seus
trabalhos mais citados, estão os artigos “Using Ontologies
for Integrated Geographic Information Systems” (Fonseca, Egenhofer et al. 2002), com 270 citações, e “Ontology-driven
geographic information systems”
(Fonseca and Egenhofer 1999), com 210 citações. Também recebeu o Prêmio
Pesquisador
2006 do Consórcio Universitário de Ciência da Informação
Geográfica (University Consortium of Geographic Information
Science – UCGIS) pelo seu trabalho
pioneiro em ontologias aplicadas a sistemas de informação geográfica.
Resumo: Este curso apresentará uma abordagem para
autoria de aplicações para a Web Semântica, dirigida por modelos.
Estes
modelos são descritos através de ontologias expressas nos formalismos da Web
Semântica, e possuem uma semântica
que
permite a sua tradução para um ambiente de execução na Web Semântica.
Especificamente, serão ilustrados exemplos
de re-uso
de dados e vocabulários na Linked
Open Data Cloud dentro de uma
aplicação, inclusive com ambiente de implementação.
Biografia: Dr. Daniel Schwabe possui
graduação em Matemática pela Pontifícia Universidade Católica do Rio de Janeiro
(1975),
mestrado
em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1976) e
doutorado em Computer Science
- University Of California Los Angeles (1981). Atualmente é professor
titular da Pontifícia Universidade Católica do Rio de Janeiro.
Tem
experiência na área de Ciência da Computação, com ênfase em Sistemas de
Informação, atuando principalmente nos
seguintes
temas: Autoria de aplicações Web (hipermídia), Web semântica, Sistemas de
Informação Avançados, Gestão do Conhecimento.
Patrocínio:
Realização:
Apoio: