Lagica De Primeira Ordem
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
2. Uma LÃgica de DescriÃÃo Default / A Description Logic for Default
A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2011
-
3. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
4. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
5. A infinitary system of the logic of least fixed-point / Um sistema infinitÃrio para a lÃgica de menor ponto fixo
A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para l
Publicado em: 2007
-
6. Minimal Model and hierarchy of expressive power / Modelos minimais e hierarquia de expressividade
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃt
Publicado em: 2007
-
7. MineraÃÃo de padrÃes temporais hÃbridos especificados na lÃgica temporal de intervalos
A descoberta de padrÃes freqÃentes em bancos de dados constitui um importante problema do domÃnio da descoberta de conhecimentos e sua importÃncia à justicada pela diversidade de Ãreas onde pode ser empregada, como no varejo, no mercado nanceiro, na medicina, na agricultura, na agropecuÃria, em empresas de telecomunicaÃÃes, etc. O problema de minera
Publicado em: 2007
-
8. O algoritmo polinomial de Shor para fatoraÃÃo em um computador quÃntico
Sistemas de criptografia largamente difundidos como o RSA fundamentam a sua eficiÃncia na suposiÃÃo de que, em termos prÃticos, à impossÃvel fatorar nÃmeros inteiros suficientemente grandes em uma escala de tempo aceitÃvel. Mais precisamente, nÃo existem, atà o momento, algoritmos de fatoraÃÃo em tempo polinomial que possam ser implementados nos
Publicado em: 2003
-
9. Principiologia juscibernÃtica. Processo telemÃtico. Uma nova teoria geral do processo e do direito processual civil / Principiology juscybernetic. Telematic Process. A new general teory of process and the civil law procedure
Esta tese de doutorado, apresentada como requisito para a obtenÃÃo do tÃtulo de doutor, pressupÃe o reconhecimento de uma principiologia especÃfica para o direito cibernÃtico, para, em seguida, propor uma nova teoria geral juscibernÃtica do processo e, em particular, do direito processual civil. Por opÃÃo metodolÃgica foi secionada em trÃs partes:
Publicado em: 2003