| dbo:abstract
|
- La lògica computacional és la mateixa lògica matemàtica aplicada al context de les ciències de la computació. El seu ús és fonamental a diversos nivells: en els circuits computacionals, a la programació lògica i a l'anàlisi i optimització (de recursos temporals i espacials) d'algorismes. (ca)
- La komputa logiko estas la matematika logiko aplikita al la kunteksto de la komputoscienco. Ties uzo estas fundamenta en variaj niveloj: en la komputaj cirkvitoj, en la logika programaro kaj en la analizo kaj optimigo (de tempaj kaj spacaj rimedoj) de algoritmoj. La logiko etendiĝas al la kerno de la informadiko dum ĝi aperas kiel fako: nome la verko de Alan Turing pri la Entscheidungsproblem (decidproblemo) sekve de la laboro de Kurt Gödel pri nekompletaj teoremoj. La nocio de la komputilo de ĝenerala uzado kiu aperis el tiu laboro estis ege grava por la desegnistoj de la informadika maŝinaro en la 1940-aj jaroj. En la 1950-aj kaj 1960-aj jaroj, esploroj antaŭdiris, ke, kiam la homa sciaro povu esprimi sin uzante la logikon kun matematikaj notacioj, estus eble krei maŝinon kapablan rezoni nome artefarita inteligenteco. Tio rezultis pli malfacila ol esperita pro la komplekseco de la homa rezonado. En la logiko de programaro, programo konsistas en kolekto de aksiomoj kaj reguloj. La sistemoj de logika programaro (kiel Prolog) kalkulas la konsekvencojn de la aksiomoj kaj de la reguloj organizitaj por respondi konsulton. Aktuale, la logiko estas etende aplikita en la kampoj de artefarita inteligenteco kaj de sciencoj de komputiko, kaj tiuj kampoj havigas riĉan fonton de problemoj en la formala kaj neformala logikoj. La teorio de la argumentado estas bona ekzemplo de kiel la logiko estas aplikata al la artefarita inteligenteco. (eo)
- Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science". The term “computational logic” came to prominence with the founding of the ACM Transactions on Computational Logic in 2000. However, the term was introduced much earlier, by J.A. Robinson in 1970. The expression is used in the second paragraph with a footnote claiming that "computational logic" is "surely a better phrase than 'theorem proving', for the branch of artificial intelligence which deals with how to make machines do deduction efficiently". In 1972 the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence. The term was then used by Robert S. Boyer and J Strother Moore, who worked in the Department in the early 1970s, to describe their work on program verification and automated reasoning. They also founded Computational Logic Inc. Computational logic has also come to be associated with logic programming, because much of the early work in logic programming in the early 1970s also took place in the Department of Computational Logic in Edinburgh. It was reused in the early 1990s to describe work on extensions of logic programming in the EU Basic Research Project "Compulog" and in the associated Network of Excellence. Krzysztof Apt, who was the co-ordinator of the Basic Research Project Compulog-II, reused and generalized the term when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief. (en)
- La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos. La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de Kurt Gödel sobre teoremas incompletos. La noción de la computadora de uso general que surgió de este trabajo fue de gran importancia para los diseñadores de la maquinaria informática en la década de 1940. En los años 50 y 60, investigaciones predijeron que, cuando el conocimiento humano se pudiera expresar usando la lógica con notaciones matemáticas, sería posible crear una máquina capaz de razonar o una inteligencia artificial. Esto fue más difícil de lo esperado a causa de la complejidad del razonamiento humano. En la lógica de programación, un programa consiste en una colección de axiomas y reglas. Los sistemas de programación lógicos (como Prolog) calculan las consecuencias de los axiomas y las reglas organizadas para responder a una consulta. Hoy en día, la lógica es extensamente aplicada en los campos de inteligencia artificial y de ciencias de computación, y estos campos proporcionan una rica fuente de problemas en la lógica formal e informal. La teoría de la argumentación es un buen ejemplo de cómo la lógica está siendo aplicada a la inteligencia artificial. El sistema de clasificación computacional ACM, en particular, considera:
* Sección F.3 en Lógicas y significados de programas y F.4 en Lógica matemática y lenguajes formales como parte de la teoría de la ciencia de computación: este trabajo cubre la semántica formal de los lenguajes de programación tan bien como el trabajo de métodos formales como la lógica de Hoare.
* Lógica booleana como fundamento en el hardware de la computadora, particularmente la sección del sistema B.2 en la estructura aritmética y lógica, relacionado con operadores AND, NOT y OR.
* Muchos formalismos lógicos fundamentales son esenciales para la sección I.2 sobre inteligencia artificial, por ejemplo la lógica modal y la lógica por defecto en los formalismos y métodos de representación del conocimiento, las cláusulas de Horn en la programación lógica y la lógica de descripción. Además, las computadoras se pueden usar como herramientas para los lógicos. Por ejemplo, en lógica simbólica y lógica matemática, las pruebas de los seres humanos pueden ser asistidas por computadoras. Usando la prueba automatizada del teorema, las máquinas pueden encontrar y comprobar pruebas, así como trabajar con las pruebas demasiado largas para escribir a mano. (es)
- Logika konputazionala informatikara aplikatutako logika matematikoa da. Oro Har, funtsezkoa da honen erabilera zenbait mailatan: , eta eta algoritmoen optimizazioan (aldi baterako baliabideetan eta baliabide espazialetan). (eu)
- A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia. É sinônimo de " lógica na ciência da computação ". O termo “lógica computacional” ganhou destaque com a fundação da ACM Transactions on Computational Logic em 2000. No entanto, o termo foi introduzido muito antes, por JA Robinson em 1970. A expressão é usada no segundo parágrafo com uma nota de rodapé afirmando que "lógica computacional" é "certamente uma frase melhor do que 'prova de teorema', para o ramo da inteligência artificial que trata de como fazer as máquinas fazerem deduções com eficiência". Em 1972, a Unidade de Metamatemática da Universidade de Edimburgo foi renomeada para “O Departamento de Lógica Computacional” na Escola de Inteligência Artificial. O termo foi então usado por Robert S. Boyer e J Strother Moore, que trabalharam no Departamento no início dos anos 1970, para descrever seu trabalho sobre verificação de programa e raciocínio automatizado. Eles também fundaram a Computational Logic Inc. A lógica computacional também passou a ser associada à programação lógica, porque muitos dos primeiros trabalhos em programação lógica no início dos anos 1970 também ocorreram no Departamento de Lógica Computacional em Edimburgo. Foi reutilizado no início dos anos 1990 para descrever o trabalho em extensões de programação lógica no Projeto de Pesquisa Básica da UE "Compulog" e na Rede de Excelência associada. Krzysztof Apt, que era o coordenador do Projeto de Pesquisa Básica Compulog-II, reutilizou e generalizou o termo quando fundou a ACM Transactions on Computational Logic em 2000 e se tornou seu primeiro Editor-Chefe. (pt)
|
| rdfs:comment
|
- La lògica computacional és la mateixa lògica matemàtica aplicada al context de les ciències de la computació. El seu ús és fonamental a diversos nivells: en els circuits computacionals, a la programació lògica i a l'anàlisi i optimització (de recursos temporals i espacials) d'algorismes. (ca)
- Logika konputazionala informatikara aplikatutako logika matematikoa da. Oro Har, funtsezkoa da honen erabilera zenbait mailatan: , eta eta algoritmoen optimizazioan (aldi baterako baliabideetan eta baliabide espazialetan). (eu)
- La komputa logiko estas la matematika logiko aplikita al la kunteksto de la komputoscienco. Ties uzo estas fundamenta en variaj niveloj: en la komputaj cirkvitoj, en la logika programaro kaj en la analizo kaj optimigo (de tempaj kaj spacaj rimedoj) de algoritmoj. Aktuale, la logiko estas etende aplikita en la kampoj de artefarita inteligenteco kaj de sciencoj de komputiko, kaj tiuj kampoj havigas riĉan fonton de problemoj en la formala kaj neformala logikoj. La teorio de la argumentado estas bona ekzemplo de kiel la logiko estas aplikata al la artefarita inteligenteco. (eo)
- Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science". (en)
- La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos. (es)
- A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ele tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia. É sinônimo de " lógica na ciência da computação ". (pt)
|
