Construção de Conhecimento A partir da Análise Indutiva de Substantivos e Verbos

Construc¸a˜ o de Conhecimento a Partir da An´alise Indutiva de
Substantivos e Verbos
Luiz Ricardo M. Silva1
1

Centro de Ciˆencias Exatas e Tecnologia –
Programa de P´os Graduac¸a˜ o em Ciˆencias da Computac¸a˜ o –
Universidade Federal de S˜ao Carlos (Ufscar)
Caixa Postal 676 – 13.565-905 – S˜ao Carlos – SP – Brazil [e-mail] Abstract. This study presents a methodology for the automatic creation of knowledge base validated by a criminal resolution in predicate logic, based on inductive analysis of nouns and verbs.
Resumo. Estuda-se uma metodologia para a criac¸a˜ o autom´atica de base de conhecimento de natureza criminal validada por resoluc¸a˜ o em l´ogica de predicados, baseada na an´alise indutiva de substantivos e verbos.

1. Introduc¸ao
Atualmente tem havido grande interesse na criac¸a˜ o autom´atica de grande escala de bases de conhecimento. Estas bases de conhecimento tem sido usadas por uma grande quantidade de processamento de lingua natural.
As organizac¸o˜ es policiais vem modernizando seus trabalhos, dinamizando os resultados operacionais e administrativos, buscando eficiˆencia e excelˆencia no atendimento e resoluc¸a˜ o dos problemas [Alves et al. 1999].
L´ogica proposicional ou c´alculo sentencial e´ um sistema formal no qual as f´ormulas representam proposic¸o˜ es. Tais estruturas podem ser formadas pela combinac¸a˜ o de proposic¸o˜ es atˆomicas atrav´es da utilizac¸a˜ o de conectivos l´ogicos e um sistema de regras de derivac¸a˜ o. O sistema de regras de derivac¸a˜ o permite que certas f´ormulas sejam estabelecidas como ”teoremas” do sistema formal.
Sistema Formal consiste em um conjunto de express˜oes sint´aticas (f´ormulas bem formadas, ou fbfs), interpretadas por meio de equivalˆencia l´ogica, sendo que quando um sistema l´ogico tem um prop´osito de ser, as express˜oes devem ser interpretadas como asserc¸o˜ es matem´aticas, e as regras, conhecidas como regras de inferˆencia que normalmente s˜ao