Adrian Walker (computer scientist)

Source: Wikipedia, the free encyclopedia.

Adrian David Walker is a US Computer Scientist, born in London, England.

Education

Adrian Walker attended

Sheffield University (where he also chaired the Arts Society and edited a poetry magazine), and a master's degree in systems engineering[1]
from the University of Surrey. He next obtained a PhD in computer science[2] from the State University of New York.

Career

He was assistant professor at Rutgers university in New Jersey,

Logic Programming.[5][6]
After 17 years at IBM, he formed his own company, where he works on Internet Business Logic,[7] a system for social knowledge acquisition and use in executable English.

Selected work: Walker's early work[8][9] established a novel correspondence between stable patterns in formalised biological systems and the well known Chomsky hierarchy of languages—regular, context free, and context sensitive. He continued in grammar-based research[10] by showing how

hidden Markov models. Walker next showed[11][12][13]
that, under certain practically useful assumptions, it is possible to compute the
databases. This relaxes an onerous assumption made in many computational natural language
understanding systems—namely, that the vocabulary must be narrowly restricted to obtain a useful level of understanding. A [15] is applied in a system on the Web (reference 7, below) that combines three kinds of semantics – (a) data, as in SQL or Resource Description Framework, (b) inference, and (c) English, to answer questions over networked databases, and to explain the results in hypertexted English. The subject knowledge needed to do this (e.g. knowledge about the oil industry, or about energy independence, etc.) can be captured in social network style, by typing executable English into browsers. This contrasts with other social media, such as Twitter and Facebook, in which knowledge written in English is readable, but cannot be executed as a computer program.

References

  1. ^ "Process Systems Engineering - University of Surrey - Guildford". Archived from the original on 27 June 2011. Retrieved 16 July 2011.
  2. ^ Formal grammars and the stability of biological systems. PhD Thesis. Technical Report Number 85, Department of Computer Science, State University of New York, 1974.
  3. ^ Research resource in AI and biomedicine at Rutgers University
  4. ^ R*: An overview of the architecture
  5. ^ Adrian Walker – ACM author profile page
  6. ^ Knowledge Systems and Prolog: Developing Expert, Database, and Natural Language Systems, book, second edition, Addison-Wesley, 1990, (with M. McCord, J. Sowa and W. Wilson).
  7. ^ A Wiki for Business Rules in Open Vocabulary, Executable English. White paper, Reengineering LLC. Findable via Google, or "Archived copy" (PDF). Archived from the original (PDF) on 27 March 2012. Retrieved 30 June 2011.{{cite web}}: CS1 maint: archived copy as title (link)
  8. ^ Formal grammars and the stability of biological systems. Ph.D. Thesis. Technical Report Number 85, Department of Computer Science, State University of New York, 1974.
  9. ^ Formal grammars and the regeneration capability of biological systems. Journal of Computer and System Sciences Volume 11, Issue 2, October 1975.
  10. ^ On the inference of stochastic regular grammars (with A Van der Mude). Information and Control, Volume 38, Issue 3, September 1978.
  11. ^ Syllog: a knowledge-based data management system. Report No. 34, Department of Computer Science, New York University, 1981.
  12. ^ People Oriented Software Technology, and its Use in Environmental Reporting. (with Terry Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter Reintjes, Andrew Taylor, and Daphne Tzoar). Proc. 6th International Conference and Workshop on Database and Expert Systems, September 1995.
  13. ^ Semantics and the Web: e-Government Implications of some Emerging Technology Beyond W3C. Presentation for the Collaborative Expedition Workshop #35, 14 September 2004, at NSF: Design Workshop to Frame National Dialogue on Intelligent Information Use in Manufacturing and Implications for e-Government. Findable via Google.
  14. Morgan Kaufmann
    1988.
  15. ^ Backchain Iteration: Towards a Practical Inference Method that is Simple Enough to be Proved Terminating, Sound and Complete. Journal of Automated Reasoning, 11:1–22, 1993.

External links