Computational logik

Computational logik er brugen af ​​logik til at udføre eller grund om beregning. Det bærer et tilsvarende forhold til computer videnskab og teknik som matematisk logik bjørne til matematik og som filosofiske logik bjørne til filosofi. Det er synonymt med "logik i datalogi".

Udtrykket "Computational Logic" kom i forgrunden med grundlæggelsen af ​​ACM Transactions on Computational Logic. Men dens første brug var sandsynligvis i 1972, da Metamathematics Unit ved University of Edinburgh blev omdøbt til "Institut for Computational Logic" i School of kunstig intelligens. Begrebet blev derefter brugt af Robert S. Boyer og J Strother Moore, der arbejdede i afdelingen i begyndelsen af ​​1970'erne, at beskrive deres arbejde med kontrol-program og automatiserede ræsonnement. De grundlagde også en virksomhed Computational Logic Inc. af samme navn.

Udtrykket "Computational Logic" er også kommet til at være forbundet med logik programmering, fordi meget af det tidlige arbejde i logik programmering i begyndelsen af ​​1970'erne fandt også sted på Institut for Computational Logic i Edinburgh. Det blev genbrugt i begyndelsen af ​​1990'erne til at beskrive arbejdet med udvidelser af logik programmering i EU Basic Research Project "Compulog", og i den tilhørende Network of Excellence. Krzysztof Apt, der var koordinator af Basic Research Project Compulog-II, genbruges og generaliseret udtrykket, da han grundlagde ACM Transactions on Computational Logic i 2000 og blev dens første Editor-in-Chief.

  0   0
Forrige artikel Carburton

Kommentarer - 0

Ingen kommentar

Tilføj en kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tegn tilbage: 3000
captcha