Academic literature on the topic 'Moral Reasoning'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Moral Reasoning.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Moral Reasoning"

1

Scheffler, Israel. "Moral education beyond moral reasoning." New Directions for Child and Adolescent Development 1990, no. 47 (1990): 99–102. http://dx.doi.org/10.1002/cd.23219904713.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Andre, Judith. "Beyond Moral Reasoning." Teaching Philosophy 14, no. 4 (1991): 359–73. http://dx.doi.org/10.5840/teachphil199114463.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Shangxi. "Gender Differences in Moral Development and Moral Reasoning." Journal of Education, Humanities and Social Sciences 8 (February 7, 2023): 1146–52. http://dx.doi.org/10.54097/ehss.v8i.4441.

Full text
Abstract:
Based on Kohlberg's stage theory, this paper reviews the gender and age differences of individuals in moral choice and moral reasoning. Most experimental study did not show significant differences in moral choices at the Kohlberg stage. However, more women have a moral preference for care in moral reasoning. Moreover, women show different moral reasoning for different contexts and give more reactions, which is more flexible and complex. Moreover, older participants placed more emphasis on the morality of justice while younger participants placed more emphasis on the morality of care. Moral reasoning reasoning can become comprehensive and complex with grade level. This paper systematically sorts out the moral differences between men and women by reviewing and summarizing previous empirical research, in order to provide some references for subsequent research. However, previous empirical studies have mostly been based on middle-class samples, so hopefully there will be experiments on a wider sample in the future.
APA, Harvard, Vancouver, ISO, and other styles
4

Flanigan, Jessica. "Charisma and Moral Reasoning." Religions 4, no. 2 (April 17, 2013): 216–29. http://dx.doi.org/10.3390/rel4020216.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sastre Vilarrassa, Genoveva, Montserrat Moreno Marimón, and Mónica Timón Herrero. "Moral reasoning and education." Educar 22 (February 1, 1998): 155. http://dx.doi.org/10.5565/rev/educar.353.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kim, Yeun Joon, and Chen-Bo Zhong. "Moral Reasoning and Creativity." Academy of Management Proceedings 2016, no. 1 (January 2016): 14090. http://dx.doi.org/10.5465/ambpp.2016.19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mower, Deborah. "Teaching Sympathetic Moral Reasoning." Teaching Ethics 8, no. 2 (2008): 1–14. http://dx.doi.org/10.5840/tej2008821.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mayton, Daniel M., Rhett Diessner, and Cheryl D. Granby. "Nonviolence and Moral Reasoning." Journal of Social Psychology 133, no. 5 (October 1993): 745–46. http://dx.doi.org/10.1080/00224545.1993.9713932.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sudić, Mislav, Pavle Valerjev, and Josip Ćirić. "Deontic Moral Reasoning Task." Psihologijske teme 28, no. 3 (2019): 483–506. http://dx.doi.org/10.31820/pt.28.3.2.

Full text
Abstract:
Domain theory suggests that moral rules and conventions are perceived differently and elicit a different response. A special procedure was designed to test this hypothesis in a laboratory setting using a deontic reasoning task. The goal was to gain insight into the cognitive and metacognitive processes of deontic reasoning from simple deontic premises. In the 3x2x2 within-subjects design, we varied rule-content (moral, conventional, abstract), rule-type (obligation, permission) and the induced dilemma (punishment dilemma, reward dilemma). Participants (N = 78) were presented with 12 laws. After memorizing a law, eight cases were presented to participants so that they make a quick judgment. Participants were tasked with punishing rule-violators, ignoring rule-conformists, and rewarding rule-supererogation. Response times (RT) and accuracy were measured for each judgment, and final confidence was measured after a set of judgments. No differences were expected between rule-types, except for superior performance for moral content and punishment dilemmas. RT correlated negatively with confidence levels, while accuracy correlated positively. Moral reasoning was more accurate than conventional and abstract reasoning, and produced higher confidence levels. Better performance was found for punishment dilemmas than reward dilemmas, likely due to the presence of a cheater-detection module; but the differences were not found in moral reasoning. Moral reasoning was also independent of rule-type, while conventional and abstract reasoning produced superior performance in obligation-type than in permission-type rules. A large drop-off in accuracy was detected for rules that allowed undesirable behaviour, a phenomenon we termed the "deontic blind spot". However, this blind spot was not present in moral reasoning. Three lines of evidence indicate a qualitative difference between the moral and other deontic domains: (1) performance for moral content was independent of rule-type, (2) moral content produced an equal activation of violator- and altruist-detection modules, and (3) moral content produces higher levels of confidence.
APA, Harvard, Vancouver, ISO, and other styles
10

Allen, Jan. "Promoting Preschoolers’ Moral Reasoning." Early Child Development and Care 33, no. 1-4 (January 1988): 171–80. http://dx.doi.org/10.1080/0300443880330113.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Moral Reasoning"

1

Lusenga, Richard Mishack. "School leaders' moral understanding and moral reasoning." Diss., University of Pretoria, 2010. http://hdl.handle.net/2263/25322.

Full text
Abstract:
School leaders are faced with serious moral challenges on a daily basis at schools, which often result in them making poor moral choices. In a situation of moral decay in schools, reports in the news media create the impression that school leaders often fail to demonstrate the necessary values advocated by the Moral Regeneration Movement and the Manifesto of Values, Education and Democracy. The purpose of this qualitative study was to explore school leaders’ understanding and reasoning regarding values and morality. For the purposes of the study a number of possible lenses, such as cultural relativism, religious beliefs, ethical subjectivism, classical utilitarian theory, Domain theory, and the ethic of justice, ethic of care, ethic of critique and the ethic of community, were identified and used in analysing the way school leaders reason about moral dilemmas. A design located within hermeneutic phenomenology was used in the study with the aim to understand school leaders’ understanding and reasoning regarding values and morality. A combination of quantitative and qualitative data gathering techniques was used in a concurrent mixed method design using a single questionnaire. The sample for the study consisted of educators enrolled for a formal management training programme. This group was largely homogenous in terms of religion, language, culture and was mainly from rural areas of Mpumalanga. Seventy-three participants took part in the study. It emerged from the data that the espoused theories used by school leaders could be related to the lenses identified in the literature. The school leaders’ espoused theories were mainly based on the ethic of justice and the ethic of care and were aligned to their preferred value orientations. At the espoused theory level, school leaders revealed a strong moral orientation. Further research is indicated to study school leaders’ theory in action.
Dissertation (MEd)--University of Pretoria, 2010.
Education Management and Policy Studies
unrestricted
APA, Harvard, Vancouver, ISO, and other styles
2

Toole, Briana Marie. "Reasoning and moral judgments." Tallahassee, Fla. : Florida State University, 2010. http://purl.fcla.edu/fsu/lib/digcoll/undergraduate/honors-theses/2181927.

Full text
Abstract:
Thesis (Honors paper)--Florida State University, 2010.
Advisor: Dr. David McNaughton, Florida State University, College of Arts and Sciences, Dept. of Philosophy. Includes bibliographical references.
APA, Harvard, Vancouver, ISO, and other styles
3

Lariguet, Guillermo. "Intuitionism and Moral Reasoning." Pontificia Universidad Católica del Perú, 2017. http://repositorio.pucp.edu.pe/index/handle/123456789/115831.

Full text
Abstract:
My goal for this paper can be presented as follows: I will attempt to show that objections to intuitionism, although they are serious, do not undermine entirely its fertility for knowledge and moral reasoning. This is probably the perception of contemporary philosophers like David Enoch, Robert Audi, Russ Shafer-Landau or John McDowell. In order to fulfill the objective mentioned above, I will do the following. First, I will outline broadly two of the paradigmatic features of moral intuitionism in order to identify it as a particular metaethics doctrine. Secondly, I will summarize some of the main objections that have been raised in order to discredit the value of moral intuitionism as a source both of moral knowledge and of valid support for moral reasoning. In third place, I will try, also briefly, to explain some of the possible (not all of course) answers to the objections previously mentioned in the paper. Fourth, I will recapitulate the more fruitful aspects of intuitionism, especially in regard to moral reasoning.
Mi objetivo para este trabajo puede presentarse de la siguiente forma: se intentará mostrar que las objeciones al intuicionismo, si bien son serias, no minan en forma absoluta su fertilidad para el conocimiento y el razonamiento moral. Probablemente esta sea la percepción de filósofos contemporáneos como David Enoch, Robert Audi, Russ Shafer-Landau o John McDowell. Para poder cumplir con el antes dicho objetivo, en este trabajo haré lo siguiente. En primer lugar, esbozaré, a grandes rasgos, dos de las características paradigmáticas del intuicionismo moral a fin de que podamos identificarlo como una corriente metaética particular. En segundo lugar, sintetizaré algunas de las principales objeciones que, por diversos conductos, han buscado desacreditar el valor del intuicionismo moral como fuente de conocimiento moral y también de apoyo válido para el razonamiento moral.En tercer lugar, intentaré, también de manera sumaria, explicitar algunas de las posibles (no todas, desde luego) respuestas a las antes mencionadas objeciones. En cuarto lugar, recapitularé los aspectos rescatables del intuicionismo, especialmente en lo que atañe al razonamiento moral.
APA, Harvard, Vancouver, ISO, and other styles
4

Ljungström, Andreas. "Moral Intuition Versus Moral Reasoning In the Brain." Thesis, Högskolan i Skövde, Institutionen för biovetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-9574.

Full text
Abstract:
Humans express complex moral behaviour, from altruism to antisocial acts. The investigationof the neural and cognitive mechanisms underlying our moral minds is of profoundimportance for understanding these behaviours. By reviewing recent findings in cognitive andmoral neuroscience, along with other relevant areas of research, the current study aims to: (1)Investigate the neural correlates of moral intuition and moral reasoning, and see how thesetwo systems relate to moral judgement and moral behaviour. (2) Examine how the moralintuitive system and the moral reasoning system relate to one another. Neuroscientificevidence suggests that these two systems are supported by different areas in the brain. Whiletheir relationship is argued to be both sequential, integrative and competitive, evidenceindicates that the moral reasoning system primarily functions as a post hoc rationalization ofour intuitive-driven judgements and behaviours. While our moral intuitive system motivateskin altruism, both moral intuition and moral reasoning serve to uphold reciprocal altruism.
APA, Harvard, Vancouver, ISO, and other styles
5

Haskuka, Mytaher. "War trauma and moral reasoning /." Prizren : [Selbstverl.], 2009. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=018934167&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cross, Natalie. "Moral reasoning in Aspergers syndrome." Thesis, University of East Anglia, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.569903.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lee, Kwok-chuen, and 李國川. "Juveniles and their moral reasoning." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2001. http://hub.hku.hk/bib/B31979233.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lee, Kwok-chuen. "Juveniles and their moral reasoning." Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk:8888/cgi-bin/hkuto%5Ftoc%5Fpdf?B23424710.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lit, Keith. "Moral Reasoning and Moral Emotions Linking Hoarding and Scrupulosity." NSUWorks, 2017. http://nsuworks.nova.edu/cps_stuetd/111.

Full text
Abstract:
Hoarding and scrupulous OCD are part of the Obsessive-Compulsive and Related Disorders, which are characterized by obsessional preoccupation and ritualistic behavior. Prior research has found a statistical relationship between hoarding and scrupulosity after controlling for these common factors, suggesting the existence of other features shared by these two disorders. Clinical accounts and empirical research of hoarding and scrupulosity suggest three such shared factors: a tendency to experience intense guilt and shame, rigid moralistic thinking, and general cognitive rigidity. However, results of the current study show that, although both hoarding and scrupulosity were related to cognitive rigidity and a tendency to experience guilt and shame, they are not associated with rigid moralistic thinking. Instead, beliefs about the importance of emotions as moral guides were related to both disorders. These results are interpreted in terms of dual-process theories of moral reasoning. Additionally, implications for the conceptualization and treatment of hoarding and scrupulosity are discussed.
APA, Harvard, Vancouver, ISO, and other styles
10

Tarry, Hammond. "Delinquency, moral reasoning and social control." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393994.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Moral Reasoning"

1

Hannaford, Robert V. Moral anatomy and moral reasoning. Lawrence, Kan: University Press of Kansas, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sykes, Karen, ed. Ethnographies of Moral Reasoning. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230617957.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kvalnes, øyvind. Moral Reasoning at Work. London: Palgrave Macmillan UK, 2015. http://dx.doi.org/10.1057/9781137532619.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kvalnes, Øyvind. Moral Reasoning at Work. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-15191-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Knowlton, Steven R. Moral reasoning for journalists. 2nd ed. Westport, Conn: Praeger Publishers, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yli-Luoma, Pertti V. J. Predictors of moral reasoning. Stockholm: Almqvist & Wiksell International, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

M, Fulford K. W., Gillett Grant 1950-, and Soskice Janet Martin, eds. Medicine and moral reasoning. Cambridge [England]: Cambridge University Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Emotions, imagination, and moral reasoning. New York, NY: Psychology Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Harding, Carol Gibb. Moral dilemmas and ethical reasoning. New Brunswick [N.J.]: Transaction Publishers, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

1963-, Dimock Susan, and Tucker Christopher, eds. Applied ethics: Reflective moral reasoning. Toronto: Nelson, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Moral Reasoning"

1

Sykes, Karen M. "Moral Reasoning." In A Companion to Moral Anthropology, 169–85. Chichester, UK: John Wiley & Sons, Ltd, 2012. http://dx.doi.org/10.1002/9781118290620.ch10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Banja, John D. "Moral Reasoning." In The Routledge Handbook of Neuroethics, 287–303. New York : Routledge, Taylor & Francis Group, 2017. | Series: Routledge handbooks in applied ethics: Routledge, 2017. http://dx.doi.org/10.4324/9781315708652-22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Seok, Bongrae. "Moral Reasoning." In Encyclopedia of Global Justice, 725–27. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-1-4020-9160-5_142.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Velasquez, Manuel. "Moral Reasoning." In The Blackwell Guide to Business Ethics, 102–16. Oxford, UK: Blackwell Publishing Ltd, 2017. http://dx.doi.org/10.1002/9781405164771.ch5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Palmer, Emma J. "Moral Reasoning Assessment." In Encyclopedia of Adolescence, 1790–93. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-1695-2_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Senland, Amie. "Conventional Moral Reasoning." In Encyclopedia of Child Behavior and Development, 413–14. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-79061-9_687.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Senland, Amie. "Preconventional Moral Reasoning." In Encyclopedia of Child Behavior and Development, 1140–41. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-79061-9_2213.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Palmer, Emma J. "Moral Reasoning Assessment." In Encyclopedia of Adolescence, 2412–17. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-33228-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Palmer, Emma J. "Moral Reasoning Assessment." In Encyclopedia of Adolescence, 1–6. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-32132-5_10-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Raffnsøe-Møller, Morten. "Moral Reasoning and Moral Practice." In Commonality and Particularity in Ethics, 343–85. London: Palgrave Macmillan UK, 1997. http://dx.doi.org/10.1007/978-1-349-25602-0_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Moral Reasoning"

1

Lee, Gi-bbeum, Namwoo Kang, and Ji-Hyun Lee. "Human Driver’s Reasoning on Moral Dilemma of Autonomous Vehicles: Values and Themes." In Intelligent Human Systems Integration (IHSI 2022) Integrating People and Intelligent Systems. AHFE International, 2022. http://dx.doi.org/10.54941/ahfe1001053.

Full text
Abstract:
The computing capacity of Autonomous Vehicles (AVs) has allowed the public to rediscover the classic trolley dilemma in a modern context. This paper aims to present an in-depth explanation of driver’s moral reasoning for AV moral dilemma situations. Moral dilemma vignettes for AVs were designed based on real crash data and in-depth interviews with drivers. With the vignettes, a thought experiment with 33 participants was conducted; think aloud method and open-ended interviews were used to examine participants’ reasoning processes. This paper qualitatively interpreted the data by thematic analysis. The results suggest that 1) human drivers’ moral reasoning relies on diverse moral values and 2) reasoning can be explained based on safety, justice, and crash context. The results can be used as an analysis and communication tool for AV engineers and machine ethicists to determine how well current AV algorithms convey actual human moral reasoning.
APA, Harvard, Vancouver, ISO, and other styles
2

Ferkova, Stefania, Jitka Derkova, and Martin Kuruc. "THE MORAL REASONING OF PUPILS IN MANAGING CONFLICTS." In 12th International Conference on Education and New Learning Technologies. IATED, 2020. http://dx.doi.org/10.21125/edulearn.2020.1826.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gregov, Ljiljana, Ana Proroković, and Andrea Tokić. "SOME ASPECTS OF MORAL REASONING OF LAW STUDENTS." In 10th International Conference on Education and New Learning Technologies. IATED, 2018. http://dx.doi.org/10.21125/edulearn.2018.0685.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Banas, Amy. "Revisiting Moral Reasoning in the Context of NCAA Sport." In 2020 AERA Annual Meeting. Washington DC: AERA, 2020. http://dx.doi.org/10.3102/1580602.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yaqin, Ainul. "Developing Moral Reasoning Theory Based on Islamic Education Perspective." In Proceedings of the 3rd International Conference on Education Innovation (ICEI 2019). Paris, France: Atlantis Press, 2019. http://dx.doi.org/10.2991/icei-19.2019.13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Afriyenti, Mayar. "The Influence of Moral Reasoning and Gender towards Whistleblowing Intention." In First Padang International Conference On Economics Education, Economics, Business and Management, Accounting and Entrepreneurship (PICEEBA 2018). Paris, France: Atlantis Press, 2018. http://dx.doi.org/10.2991/piceeba-18.2018.71.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Prorokovic, Ana. "INTELLECTUAL ABILITIES AND EDUCATION AS MORAL REASONING DETERMINANTS IN EMPLOYEES." In 4th SGEM International Multidisciplinary Scientific Conferences on SOCIAL SCIENCES and ARTS Proceedings. STEF92 Technology, 2017. http://dx.doi.org/10.5593/sgemsocial2017/32/s11.023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chen, Weilin. "Purpose in Life, Moral Reasoning, and College Students' Drinking Behaviors." In 2022 AERA Annual Meeting. Washington DC: AERA, 2022. http://dx.doi.org/10.3102/1883075.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kalisky, Jan. "THE ANALYTICAL THINKING IN THE MORAL REASONING OF A LEADER." In 12th annual International Conference of Education, Research and Innovation. IATED, 2019. http://dx.doi.org/10.21125/iceri.2019.2394.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Yu, Hongqing. "A study on the development of web-based moral education course." In 2011 International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE). IEEE, 2011. http://dx.doi.org/10.1109/urke.2011.6007918.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Moral Reasoning"

1

Bénabou, Roland, Armin Falk, and Jean Tirole. Narratives, Imperatives, and Moral Reasoning. Cambridge, MA: National Bureau of Economic Research, July 2018. http://dx.doi.org/10.3386/w24798.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Boghossian, Peter. Socratic pedagogy, critical thinking, moral reasoning and inmate education : an exploratory study. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5552.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lutz, Carsten, and Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics (Extended Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.105.

Full text
Abstract:
Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic model parameters.
APA, Harvard, Vancouver, ISO, and other styles
4

Horrocks, Ian, and Stephan Tobies. Optimisation of Terminological Reasoning. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.99.

Full text
Abstract:
An extended abstract of this report was submitted to the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000). When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to be effective in real applications. This is particularly relevant to Description Logics, where subsumption reasoning with respect to a terminology is a fundamental problem. Two optimisation techniques that have proved to be particularly effective in dealing with terminologies are lazy unfolding and absorption. In this paper we seek to improve our theoretical understanding of these important techniques. We define a formal framework that allows the techniques to be precisely described, establish conditions under which they can be safely applied, and prove that, provided these conditions are respected, subsumption testing algorithms will still function correctly. These results are used to show that the procedures used in the FaCT system are correct and, moreover, to show how effiency an be significantly improved, while still retaining the guarantee of correctness, by relaxing the safety conditions for absorption.
APA, Harvard, Vancouver, ISO, and other styles
5

Lutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.

Full text
Abstract:
The eight topological RCC8(or Egenhofer-Franzosa)- relations between spatial regions play a fundamental role in spatial reasoning, spatial and constraint databases, and geographical information systems. In analogy with Halpern and Shoham’s modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the RCC8-relations. The semantics is based on region spaces induced by standard topological spaces, in particular the real plane. We investigate the expressive power and computational complexity of the logics obtained in this way. It turns our that, similar to Halpern and Shoham’s logic, the expressive power is rather natural, but the computational behavior is problematic: topological modal logics are usually undecidable and often not even recursively enumerable. This even holds if we restrict ourselves to classes of finite region spaces or to substructures of region spaces induced by topological spaces. We also analyze modal logics based on the set of RCC5relations, with similar results.
APA, Harvard, Vancouver, ISO, and other styles
6

Lutz, Carsten, and Dirk Walther. PDL with Negation of Atomic Programs. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.129.

Full text
Abstract:
Propositional dynamic logic (PDL) is one of the most succesful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, it is long-known that reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using an approach based on Büchi tree automata.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography