The main aim of this paper is to raise awareness of higherorder knowledge (knowledge about someone else’s knowledge) as an issue for computer game AI. We argue that a number of existing game genres, especially those involving social interaction, are natural fields of application for an approach we call explicit knowledge programming. We motivate the use of this approach, and describe a simple i...

Among empirical disciplines, computer science and the engineering fields share the distinction of creating their own subject matter, raising questions about the kinds of knowledge they engender. The authors argue that knowledge acquisition in computer science fits models as diverse as those proposed by Piaget and Lakatos. However, contrary to natural science, the knowledge acquired by computer ...

We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecological and environmental sciences. Formal, structured approaches to knowledge representation used by the team (e.g., ontologies) can be informed by unstructured approaches to knowledge representation and semantic tagging...

In this paper, we review AI research on computational discovery and its recent application to the discovery of new scientiic knowledge. We characterize ve historical stages of the scientiic discovery process , which we use as an organizational framework in describing applications. We also identify ve distinct steps during which developers or users can innuence the behavior of a computational di...

Logic engineering often involves the development of modeling tools and inference mechanisms (both standard and non-standard) which are targeted for use in practical applications where expressiveness in representation must be traded off for efficiency in use. Some representative examples of such applications would be the structuring and querying of knowledge on the semantic web, or the represent...

In this study we review the area of Knowledge-Based Computer Vision (KBCV), putting in focus its knowledge representation aspects, starting from the year 2000. We introduce the topic by reviewing what researchers during the 1990’s saw as the future path to be taken and how these influenced recent contributions. We then proceed analysing the contributions in visual knowledge representation. We d...

There are a lot of examples of efficient intelligent tutoring systems for teaching procedural knowledge (ability to solve practical problems) in the formal fields such as geometry, algebra, and programming. However, there are considerable difficulties encountered in developing the systems aimed at giving procedural knowledge in a number of important, albeit imprecisely defined, fields as, for e...

In this paper, we review AI research on computational discovery and its recent application to the discovery of new scientiic knowledge. We characterize ve historical stages of the scientiic discovery process , which we use as an organizational framework in describing applications. We also identify ve distinct steps during which developers or users can innuence the behavior of a computational di...