CycL Em ciências da computação e inteligência artificial, CycL é uma linguagem ontológico usado pelo projeto de inteligência artificial de Doug Lenat denominado como Cyc. A participação de V. Ramanathan Guha foi decisiva na concepção de linguagem.
Há uma variante fechada de CycL conhecida como MELD. É uma linguagem está fundado no cálculo de predicados, que tem uma sintaxe aproximado a Linguagem. Se expressam regras gerais que definem as inferências sobre os conceitos. A verdade ou falsidade de uma sentença CycL é relativa ao tema, estes contextos são anunciados em CycL como microteorías.
- 2 Atividades do desenvolvimento de software 2.1 Planejamento
- 12 Walt Gragg
- Como posso saber se um ovo está fresco
- 00 | 3.Sessenta
Os conceitos em Cyc são conhecidas como constantes. EquivalenceRelation (contendo todas as Relações de equivalência). Um membro de uma coleção é chamado uma instância desta coleção. As funções de verificação conseguem ser aplicadas a um ou mais conceitos e retornam fundado ou incorreto.
Exists, etc.) e predicados (como no modelo da irmandade). Há funções que produzem novos termos a partir de outros termos introduzidos. FruitFn que, no momento em que se lhe fornece um fundamento que descreve um tipo ou conjunto de plantas, retorna os frutos destas plantas.
Por convenção, as funções constantes começam com maiúscula e terminam em “Fn”. Os fatos e dados a respeito os conceitos se revelam usando certas sentenças de Cycl. As decisões bem como conseguem conter variáveis, essas são as strings que começam com “?”.
Ou melhor interpretada como “se OBJ é uma instância da coleção SUBSET e SUBSET é uma subcoleção de SUPERSET, assim sendo OBJ é uma instância da coleção SUPERSET”. A apoio de entendimento é dividida em microteorías (Mt), conjuntos de conceitos e detalhes, geralmente pertencentes a um domínio característico de conhecimento.
A diferença da apoio de conhecimentos como um todo, é preciso que cada microteoría esteja livre de contradições. Cada microteoría tem um nome que é uma frequente regular; As constantes de microteoría contêm a cadeia de caracteres “MT” por convenção. MathMt, ou seja, a microteoría de conhecimentos matemáticos. GeometryGMt, ou melhor, a microteoría sobre a geometria. R. V. Guha; Douglas B. Lenat. “CYC: A Mid-Term Report”. Freedman, David H. (1996). “Capítulo 2: Os pais fundadores”. Cumpridores de cérebros. (url com visualização restrita). Editorial Andres Bello. pp.
Agora, minha cabeça está pela nuvem, no pc, no celular, no tablet. E prontamente não se podes regressar atrás. As moças neste momento nascem em uma cultura digital. E isto é positivo ou negativo? É impossível fazer um julgamento. Nada pode ser pior do que as lutas de religião no Renascimento.
