• Kroghstræde 3

    9220 Aalborg Ø

    Danmark

Organisationsprofil

Organisationsprofil

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 Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.

Robots Teknik og materialevidenskab
formalization Samfundsvidenskab
Ontology Teknik og materialevidenskab
decision making leeway Samfundsvidenskab
Teaching Samfundsvidenskab
facial expression Samfundsvidenskab
Prosthetics Teknik og materialevidenskab
contingency Samfundsvidenskab

Netværk Klik på punkterne for at se detaljerne.

Projekter 2003 2013

Masteruddannelse i sprogundervisning, lingvistik og it

Kristensen, S. A.

01/09/2013 → …

Projekter: ProjektForskning

Fil

Syntaktisk stilistik

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

06/10/2011 → …

Projekter: ProjektForskning

Geminoid | DK

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

IT-vest, Det Obelske Familiefond

01/06/2010 → …

Projekter: ProjektForskning

Robots
Human robot interaction
Warehouses
Industrial plants
Trajectories

Publikationer 1975 2019

Compounds as idioms: A case study of a ‘meta-trend’

Götzsche, H., 2019, I : SKASE. Journal of Theoretical Linguistics. 16, 1, s. 70-76 7 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

Logic and Philosophy of Time: Further Themes from Prior, Vol. 2

Blackburn, P. R. (red.), Hasle, P. (red.) & Øhrstrøm, P. (red.), 2019, 1 udg. Aalborg Universitetsforlag. 230 s. (Logic and Philosophy of Time, Bind 2).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang
Fil
Primacy
Arthur Prior
Tense
Philosophy of Time
Logic

Teaching Propositional and Syllogistic Logic Using E-learning Tools

Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U. & Ploug, T., 1 jan. 2019, Innovative Technologies and Learning - 2nd International Conference, ICITL 2019, Proceedings. Rønningsbakk, L., Wu, T-T., Sandnes, F. E. & Huang, Y-M. (red.). Springer VS, s. 854-864 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11937 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Teaching
learning
logic
communication
experiment

Aktiviteter 2005 2013

  • 13 Foredrag og præsentationer i privat eller offentlig virksomhed
  • 5 Organisering af eller deltagelse i konference
  • 4 Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
  • 1 Peer reviewer/fagfællebedømmer af manuskripter

Hyr en sproghaj til dit danskhold

Susanne Annikki Kristensen (Foredragsholder)
1 sep. 20134 sep. 2013

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Stay Human

Henrik Schärfe (Foredragsholder)
11 mar. 2013

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Mennesker og robotter

Henrik Schärfe (Foredragsholder)
5 mar. 2013

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Presse/medie

I samtale med middelalderen

Hans Götzsche

30/12/2019

1 element af Mediedækning

Presse/medie

Samtale med middelalderen ville være svært

Hans Götzsche

22/12/2019

13 elementer af Mediedækning

Presse/medie

Debat: Brug for særlige dage og højtider

Peter Øhrstrøm

16/12/2019

2 elementer af Mediedækning

Presse/medie