• Kroghstræde 3

    9220 Aalborg Ø


Organization profile

Organisation profile

The research unit Language, Knowledge & Formalisation is centered on the important interaction between computer science and theory of language. What is here termed theory of language involves and draws on linguistics, philosophy of language, logic, rhetoric, narratology and issues in knowledge representation. Seen in combination with computer science this gives rise to four major fields of research in our area:

  • Computational modelling of natural language

  • Knowledge representation formalisms based on concepts and structures found in natural language

  • Rhetorical and pragmatic theories about effective communication

  • The foundational questions on the relationship between formal and natural languages

The first point is a branch of linguistics and hence devoted to the empirical facts of natural language.

The next two points are more abstract: they are not primarily concerned with working towards an empirically correct description of natural language. Rather, they deal with the question of how to structure and represent knowledge for a specific purpose - that is, formalisation - and how to communicate such formalisation in a rhetorically effective way. In this connection it is worth noting that even the pivotal computer science subject of programming languages has a substantial basis in theory of natural language in the sense just described. For example, fields such a logic programming and object orientation have an obvious background in the analysis of natural language and in conceptual systems which such analysis has brought forth (logic, categorisation and ontologies are cases in point).

The final point is of an epistemological nature: what is formalisation, and what happens when a formal representation of some segment of knowledge is made? To what extent have we here to do with the discovery of structures inherent in language, that is, an essentially descriptive endeavour? And to what extent should we rather think of formalisation as the invention of suitable or purposeful but not necessarily inherent structures, that is, a prescriptive endeavour?

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Robots Engineering & Materials Science
formalization Social Sciences
Ontology Engineering & Materials Science
facial expression Social Sciences
Prosthetics Engineering & Materials Science
contingency Social Sciences
electronic learning Social Sciences
Teaching Social Sciences

Network Dive into details by clicking on the dots.

Projects 2003 2013

Syntaktisk stilistik

Brunø, L., Salomonsen, L., Kristensen, S. A. & Østergaard, L. K.

06/10/2011 → …

Project: Research

Geminoid | DK

Østergaard, M. P., Knudsen, S. H., Schärfe, H. & Vlachos, E.

IT-vest, Det Obelske Familiefond

01/06/2010 → …

Project: Research

Research Output 1975 2018

A.N. Prior's Logic

Øhrstrøm, P., Hasle, P. F. V. & Jakobsen, D., 2018, Internet Encyclopedia of Philosophy. (Internet Encyclopedia of Philosophy).

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterResearchpeer-review

Open Access
1 Citation (Scopus)

A critical discussion of Prior’s philosophical and tense-logical analysis of the ideas of indeterminism and human freedom

Øhrstrøm, P., 2018, In : Synthese. 196, 1, p. 69–85

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Prior's Grappling with Peirce's Existential Graphs

Øhrstrøm, P., 2018, In : History and Philosophy of Logic. 39, 2, p. 158-163 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Existential Graphs
Charles Sanders Peirce

Activities 2005 2013

  • 13 Talks and presentations in private or public companies
  • 5 Conference organisation or participation
  • 4 Membership of committees, commissions, boards, councils, associations, organisations, or similar
  • 1 Peer review of manuscripts

2007Seminar 1 om forskning I Persuasive Design ved Institut for Kommunikation

Per F. V. Hasle. (Organizer)
22 Mar 200725 Mar 2007

Activity: Attending an eventConference organisation or participation

2012 AAU Workshop on Human-Centered Robotics

Henrik Schärfe (Participant)
15 Nov 2012

Activity: Attending an eventConference organisation or participation

Android in the Loop

Henrik Schärfe (Lecturer)
2 Mar 2012

Activity: Talks and presentationsTalks and presentations in private or public companies

Press / Media

Tro og videnskab er ikke uforenelige modsætninger

Peter Øhrstrøm


2 items of media coverage

Press/Media: Press / Media

Et myreflittigt renæssancemenneske

Peter Øhrstrøm


3 items of media coverage

Press/Media: Press / Media