Geoff Sutcliffe es un informático estadounidense que trabaja en el campo del razonamiento automatizado . Nació en la antigua colonia británica de Rhodesia del Norte (ahora Zambia ), creció en Sudáfrica y obtuvo su doctorado en Australia . Sutcliffe trabaja actualmente en la Universidad de Miami y es de nacionalidad británica y australiana . [1]
Geoff Sutcliffe | |
---|---|
Nació | Ndola , Zambia | 28 de octubre de 1961
Nacionalidad | Australiano , Británico |
alma mater | |
Conocido por | TPTP , CASC |
Carrera científica | |
Campos |
|
Instituciones |
Geoff Sutcliffe es el desarrollador de la biblioteca de problemas de miles de problemas para probadores de teoremas (TPTP) y del lenguaje TPTP para la especificación formal del teorema automatizado que prueba problemas y soluciones. Desde 1996 organiza el Concurso anual CADE ATP System Competition (CASC), asociado a la Conferencia sobre Deducción Automatizada y la Conferencia Conjunta Internacional sobre Razonamiento Automatizado . Ha sido coorganizador de varios desafíos de razonamiento automatizado , incluido el desafío Modal Logic $ 100, [2] los desafíos MPTP $ 100, [3] y los desafíos SUMO $ 100. [ cita requerida ] Junto con Stephan Schulz , Sutcliffe fundó y ha estado organizando la serie de talleres ES *, [4] un lugar para la presentación y publicación de investigaciones de razonamiento automatizado con orientación práctica.
Referencias
- ^ "Curriculum Vitae, Geoff Sutcliffe" . Departamento de Ciencias de la Computación, Universidad de Miami . 2021 . Consultado el 10 de febrero de 2021 .
- ^ Sutcliffe, Geoff (2007). "El desafío de $ 100 de la lógica modal" . La biblioteca de problemas TPTP para la demostración automatizada de teoremas . Archivado desde el original el 4 de marzo de 2007 . Consultado el 2 de abril de 2021 .
- ^ Urban, Josef; Sutcliffe, Geoff (16 de julio de 2007). "Los desafíos del MPTP $ 100" . La biblioteca de problemas TPTP para la demostración automatizada de teoremas . Consultado el 2 de abril de 2021 .
- ^ "Temas empíricamente exitosos en la serie de talleres de deducción automatizada" . Archivado desde el original el 6 de febrero de 2010 . Consultado el 10 de diciembre de 2009 .
enlaces externos
- Geoff Sutcliffe
- TPTP
- Software articulado
- OntologyTalk: Una entrevista con el profesor Geoff Sutcliffe en YouTube