Ghent University Academic Bibliography

Advanced

Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen.

P Verdée (2008)
abstract
In deze thesis werk ik enkele aspecten uit van het onderzoeksprogramma betreffende de formele explicatie van wetenschappelijke probleemoplossing. Het prospectieve bewijssysteem dat een cruciaal onderdeel vormt van dit programma, wordt uitgebreid naar de predikatieve klassieke logica en voorzien van een semantiek. Er worden enkele technieken voorgesteld om leren uit prospectieve bewijzen te formaliseren. Daarnaast heb ik een formaat ontwikkeld voor de constructie van prospectieve bewijzen voor een groot aantal adaptieve logica’s. Ten slotte worden enkele adaptieve logica’s voor het redeneren met vage termen geformuleerd.
Please use this url to cite or link to this publication:
author
promoter
D Batens
organization
year
type
dissertation
defense date
2008-04-22 00:00
DOI
1854/11284
UGent publication?
yes
classification
D1
id
469070
handle
http://hdl.handle.net/1854/LU-469070
alternative location
http://lib.ugent.be/fulltxt/RUG01/001/272/766/RUG01-001272766_2010_0001_AC.pdf
date created
2008-06-09 07:46:45
date last changed
2014-03-17 10:39:43
@phdthesis{469070,
  abstract     = {In deze thesis werk ik enkele aspecten uit van het onderzoeksprogramma betreffende de formele explicatie van wetenschappelijke probleemoplossing. Het prospectieve bewijssysteem dat een cruciaal onderdeel vormt van dit programma, wordt uitgebreid naar de predikatieve klassieke logica en voorzien van een semantiek. Er worden enkele technieken voorgesteld om leren uit prospectieve bewijzen te formaliseren. Daarnaast heb ik een formaat ontwikkeld voor de constructie van prospectieve bewijzen voor een groot aantal adaptieve logica{\textquoteright}s. Ten slotte worden enkele adaptieve logica{\textquoteright}s voor het redeneren met vage termen geformuleerd.},
  author       = {Verd{\'e}e, P},
  school       = {Ghent University},
  title        = {Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen.},
  url          = {http://dx.doi.org/1854/11284},
  year         = {2008},
}

Chicago
Verdée, P. 2008. “Logische Bewijsdynamieken Voor De Formele Explicatie Van Wetenschappelijke Probleemoplossingsprocessen.”
APA
Verdée, P. (2008). Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen.
Vancouver
1.
Verdée P. Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen. 2008.
MLA
Verdée, P. “Logische Bewijsdynamieken Voor De Formele Explicatie Van Wetenschappelijke Probleemoplossingsprocessen.” 2008 : n. pag. Print.