Input-LASeD: BTCS: Lógica Matemática

Lógica Matemática

lógica 1. Um formalismo de representação do conhecimento e raciocínio desenvolvido originalmente por matemáticos para formalizar o raciocínio matemático. Na lógica matemática, a investigação envolve métodos matemáticos retirados da álgebra ou da teoria dos algoritmos. Os dois sistemas mais comuns são * cálculo proposicional e * cálculo predicado. A lógica tem sido amplamente adotada dentro da inteligência artificial, por exemplo, como uma alternativa às regras de produção em sistemas especialistas e para representar o significado das declarações de linguagem natural (consulte entendimento da linguagem natural). Muitas lógicas alternativas foram desenvolvidas em inteligência artificial para representar a imprecisão e a incerteza do senso comum (em oposição ao conhecimento matemático) e para representar a natureza provisória do raciocínio do senso comum; estes incluem * raciocínio não monotônico e raciocínio incerto (ver incerteza). 2. Consulte lógica do computador, lógica digital. A Dictionary of Computer Science (Oxford Quick Reference) (p. 316). OUP Oxford. Kindle Edition

http://lod.unicentro.br/2017/DiretrizesSBC#logicaMatematica

RDF/XML TURTLE JSON-LD

Input-LASeD