![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
|
There is a merge proposal with Logic in Computer Science. I oppose the merge. IMO they refer to vary different thing. Computational logic refers to the logic (i.e. the process model) for ANY computer system. So a video game or an SAP module all have computational logic, the logic that governs their behavior. Logic in computer science is a very different topic, it's actually a very broad topic, the many applications of Logic to computer science. Theorem provers, prolog, program transformations, etc. Related but not the same. You would use Logic in computer science (e.g. a theorem prover) to reason about Computational logic (e.g. validate the control flow of a transaction system matches it's specification). MadScientistX11 ( talk) 19:18, 25 December 2013 (UTC)
I believe "computational logic" should be understood as having two unambiguous uses:
1) broadly, as an inclusive term for all uses of Logic in Computer Science or in practical computation. This broad use should not include things like process models, which do not belong to Logic proper, but rather to the vagaries of so-called "logical" design (which I believe is a widespread misuse of the adjective "logical"). On the other hand, Logic proper should be taken as including not only particular formalizaions of mathematical logics, but also a wide range of "meta" considerations on their development, design, use, and modification, plus consideration of material inference rules, their contextual application and formalized representation (e.g., "knowledge representation"), and their interaction with formal inference.
2) more narrowly, as especially concerned with logics of computable functions or constructive logics, as used for example in programming language theory and interactive theorem proving, with their practical applications. Unfortunately, people working in these latter areas do not currently much use the term "computational logic".
Historically, there has often been an unfortunate, overly narrow identification of computational logic with logic programming and logic programming with Prolog-like languages. Though it is a common social phenomenon, equation of general terms and concepts with much more specific implementations or approaches tends to eclipse the general meaning and hinder communication between specialist communities.--Brinklec (talk) 20:02, 16 April 2015 (UTC)
There is an International Center for Computational Logic at the Dresden University of Technology. — IslandGyrl ( talk) 05:43, 27 November 2014 (UTC)
What is a "rerm"? 140.177.152.128 ( talk) 23:32, 23 January 2024 (UTC)
![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
|
There is a merge proposal with Logic in Computer Science. I oppose the merge. IMO they refer to vary different thing. Computational logic refers to the logic (i.e. the process model) for ANY computer system. So a video game or an SAP module all have computational logic, the logic that governs their behavior. Logic in computer science is a very different topic, it's actually a very broad topic, the many applications of Logic to computer science. Theorem provers, prolog, program transformations, etc. Related but not the same. You would use Logic in computer science (e.g. a theorem prover) to reason about Computational logic (e.g. validate the control flow of a transaction system matches it's specification). MadScientistX11 ( talk) 19:18, 25 December 2013 (UTC)
I believe "computational logic" should be understood as having two unambiguous uses:
1) broadly, as an inclusive term for all uses of Logic in Computer Science or in practical computation. This broad use should not include things like process models, which do not belong to Logic proper, but rather to the vagaries of so-called "logical" design (which I believe is a widespread misuse of the adjective "logical"). On the other hand, Logic proper should be taken as including not only particular formalizaions of mathematical logics, but also a wide range of "meta" considerations on their development, design, use, and modification, plus consideration of material inference rules, their contextual application and formalized representation (e.g., "knowledge representation"), and their interaction with formal inference.
2) more narrowly, as especially concerned with logics of computable functions or constructive logics, as used for example in programming language theory and interactive theorem proving, with their practical applications. Unfortunately, people working in these latter areas do not currently much use the term "computational logic".
Historically, there has often been an unfortunate, overly narrow identification of computational logic with logic programming and logic programming with Prolog-like languages. Though it is a common social phenomenon, equation of general terms and concepts with much more specific implementations or approaches tends to eclipse the general meaning and hinder communication between specialist communities.--Brinklec (talk) 20:02, 16 April 2015 (UTC)
There is an International Center for Computational Logic at the Dresden University of Technology. — IslandGyrl ( talk) 05:43, 27 November 2014 (UTC)
What is a "rerm"? 140.177.152.128 ( talk) 23:32, 23 January 2024 (UTC)