nu.kanga.list.mud-dev

25384: [MUD-Dev] descriptive logic

Maybe someone out there will find this interesting and do something new:

  http://www.coli.uni-sb.de/~koller/papers/dlws01.html

     "We describe an engine for a computer game which employs
     techniques from computational linguistics and theorem proving
     based on description logic. We show how we represent a world
     model as a DL knowledge base and then illustrate how we use it
     in the computational linguistics modules with the examples of
     analyzing and generating referring expressions."

- bruce


_______________________________________________
MUD-Dev mailing list
MUD-Dev@kanga.nu
https://www.kanga.nu/lists/listinfo/mud-dev