Joseph Y. Halpern. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 1–17.

Abstract In this paper, we realize knowledge-based discrete event simulation model’s representation, reasoning and implementation by means of object-oriented(OO) frame language. Firstly, a classes library of simulation models is built by using the OO frame language. And then, behaviours of simulation models can be generated by inference engines reasoning about knowledge base. Lastly, activity cycle diagrams can be used to construct simulation network logic models by connecting the components classes of simulation models. This kind of knowledge-based simulation models can effectively solve the modeling problems of complex and ill-structure systems.

Download Full-text

How Do Individuals Think About Knowledge and Knowing?

10.1093/oso/9780190944681.003.0005 ◽

2021 ◽

pp. 97-121

Author(s):

Gale M. Sinatra ◽

Barbara K. Hofer

Keyword(s):

Scientific Knowledge ◽

Public Understanding Of Science ◽

Public Understanding ◽

Epistemic Cognition ◽

Scientific Enterprise ◽

New Information ◽

Scientific Claims ◽

Understanding Of Science ◽

Source Of Information ◽

Reasoning About Knowledge

In everyday encounters with new information, conflicting ideas, and claims made by others, one has to decide who and what to believe. Can one trust what scientists say? What’s the best source of information? These are questions that involve thinking and reasoning about knowledge, or what psychologists call “epistemic cognition.” In Chapter 5, “How Do Individuals Think About Knowledge and Knowing?,” the authors explain how public misunderstanding of scientific claims can often be linked to misconceptions about the scientific enterprise itself. Drawing on their own research and that of others, the authors explain how individuals’ thinking about knowledge influences their science doubt, resistance, and denial. They explain how educators and communicators can enhance public understanding of science by emphasizing how scientific knowledge is created and evaluated and why it should be valued.

Download Full-text

Reasoning about Knowledge by SAT Solving

2006 International Conference on Computational Intelligence and Security ◽

10.1109/iccias.2006.294192 ◽

2006 ◽

Cited By ~ 1

Author(s):

Kaile Su ◽

Qingliang Chen ◽

Xizhong Zheng ◽

Weiya Yue

Keyword(s):

Sat Solving ◽

Reasoning About Knowledge

Download Full-text