Relevant bibliographies by topics / Reasoning processes

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Reasoning processes'

Author: Grafiati
Published: 4 June 2021
Last updated: 20 February 2023

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 'Reasoning processes.'

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 "Reasoning processes"

1

Graesser, Arthur C., Barry Gholson, and David Houston. "Reasoning Processes: Preface." Applied Cognitive Psychology 10, no. 7 (November 1996): 1. http://dx.doi.org/10.1002/(sici)1099-0720(199611)10:7<1::aid-acp442>3.0.co;2-i.

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

Brookes, Stephen. "Reasoning about recursive processes:." Electronic Notes in Theoretical Computer Science 20 (1999): 182–201. http://dx.doi.org/10.1016/s1571-0661(04)80074-4.

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

Jonker, Catholijn M., and Jan Treur. "Modelling the dynamics of reasoning processes: Reasoning by assumption." Cognitive Systems Research 4, no. 2 (June 2003): 119–36. http://dx.doi.org/10.1016/s1389-0417(02)00102-x.

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

Velázquez-Quesada, Fernando R. "Reasoning Processes as Epistemic Dynamics." Axiomathes 25, no. 1 (October 30, 2014): 41–60. http://dx.doi.org/10.1007/s10516-014-9255-6.

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

Misra, Jayadev. "Equational reasoning about nondeterministic processes." Formal Aspects of Computing 2, no. 1 (March 1990): 167–95. http://dx.doi.org/10.1007/bf01888222.

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

Strannegård, Claes, Simon Ulfsbäcker, David Hedqvist, and Tommy Gärling. "Reasoning Processes in Propositional Logic." Journal of Logic, Language and Information 19, no. 3 (October 10, 2009): 283–314. http://dx.doi.org/10.1007/s10849-009-9102-0.

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

Hershey, John C., and Jonathan Baron. "Clinical Reasoning and Cognitive Processes." Medical Decision Making 7, no. 4 (December 1987): 203–11. http://dx.doi.org/10.1177/0272989x8700700402.

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

Dou, Wenwen, Dong Hyun Jeong, Felesia Stukes, William Ribarsky, Heather Richter Lipford, and Remco Chang. "Recovering Reasoning Processes from User Interactions." IEEE Computer Graphics and Applications 29, no. 3 (May 2009): 52–61. http://dx.doi.org/10.1109/mcg.2009.49.

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

Shaw, Victoria F. "The Cognitive Processes in Informal Reasoning." Thinking & Reasoning 2, no. 1 (May 1996): 51–80. http://dx.doi.org/10.1080/135467896394564.

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

Oaksford, Mike, Frances Morris, Becki Grainger, and J. Mark G. Williams. "Mood, reasoning, and central executive processes." Journal of Experimental Psychology: Learning, Memory, and Cognition 22, no. 2 (1996): 476–92. http://dx.doi.org/10.1037/0278-7393.22.2.476.

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

Dissertations / Theses on the topic "Reasoning processes"

1

Inglis, Matthew. "Dual processes in mathematics : reasoning about conditionals." Thesis, University of Warwick, 2006. http://wrap.warwick.ac.uk/2847/.

Full text
Abstract:
This thesis studies the reasoning behaviour of successful mathematicians. It is based on the philosophy that, if the goal of an advanced education in mathematics is to develop talented mathematicians, it is important to have a thorough understanding of their reasoning behaviour. In particular, one needs to know the processes which mathematicians use to accomplish mathematical tasks. However, Rav (1999) has noted that there is currently no adequate theory of the role that logic plays in informal mathematical reasoning. The goal of this thesis is to begin to answer this specific criticism of the literature by developing a model of how conditional “if…then” statements are evaluated by successful mathematics students. Two stages of empirical work are reported. In the first the various theories of reasoning are empirically evaluated to see how they account for mathematicians’ responses to the Wason Selection Task, an apparently straightforward logic problem (Wason, 1968). Mathematics undergraduates are shown to have a different range of responses to the task than the general well-educated population. This finding is followed up by an eve-tracker inspection time experiment which measured which parts of the task participants attended to. It is argued that Evans’s (1984, 1989, 1996, 2006) heuristic-analytic theory provides the best account of these data. In the second stage of empirical work an in-depth qualitative interview study is reported. Mathematics research students were asked to evaluate and prove (or disprove) a series of conjectures in a realistic mathematical context. It is argued that preconscious heuristics play an important role in determining where participants allocate their attention whilst working with mathematical conditionals. Participants’ arguments are modelled using Toulmin’s (1958) argumentation scheme, and it is suggested that to accurately account for their reasoning it is necessary to use Toulmin’s full scheme, contrary to the practice of earlier researchers. The importance of recognising that arguments may sometimes only reduce uncertainty in the conditional statement’s truth/falsity, rather than remove uncertainty, is emphasised. In the final section of the thesis, these two stages are brought together. A model is developed which attempts to account for how mathematicians evaluate conditional statements. The model proposes that when encountering a mathematical conditional “if P then Q”, the mathematician hypothetically adds P to their stock of knowledge and looks for a warrant with which to conclude Q. The level of belief that the reasoner has in the conditional statement is given by a modal qualifier which they are prepared to pair with their warrant. It is argued that this level of belief is fixed by conducting a modified version of the so-called Ramsey Test (Evans & Over, 2004). Finally the differences between the proposed model and both formal logic and everyday reasoning are discussed.
APA, Harvard, Vancouver, ISO, and other styles
2

Stupple, Edward James Nairn. "Inspection-time analysis of syllogistic reasoning processes." Thesis, University of Derby, 2007. http://hdl.handle.net/10545/246212.

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

Gregory, D. J. "Age-related changes in inductive reasoning processes." Thesis, University of Aberdeen, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.372614.

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

Vowels, Christopher L. "Training an implicit reasoning strategy : engaging specific reasoning processes to enhance knowledge acquisition." Diss., Manhattan, Kan. : Kansas State University, 2008. http://hdl.handle.net/2097/715.

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

Schug, Brett W. "Standardized modular process design with interval reasoning." Diss., Georgia Institute of Technology, 1998. http://hdl.handle.net/1853/10239.

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

Cho, Soohyun. "Component processes of analogical reasoning and their neural substrates." Diss., Restricted to subscribing institutions, 2008. http://proquest.umi.com/pqdweb?did=1619392411&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.

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

Munroe, Helena A. "Clinical reasoning in community occupational therapy : patterns and processes." Thesis, Heriot-Watt University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315181.

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

Van, Den Bosch Magali Marie. "Simulation of ion exchange processes using neuro-fuzzy reasoning." Thesis, Cape Peninsula University of Technology, 2009. http://hdl.handle.net/20.500.11838/2161.

Full text
Abstract:
Thesis (MTech (Chemical Engineering))--Cape Peninsula University of Technology, 2009.
Neuro-fuzzy computing techniques have been approached and evaluated in areas of process control; researchers have recently begun to evaluate its potential in pattern recognition. Multi-component ion exchange is a non-linear process, which is difficult to model and simulate as there are many factors influencing the chemical process which are not well understood. In the past, empirical isotherm equations were used but there were definite shortcomings resulting in unreliable simulations. In this work, the use of artificial intelligence has therefore been researched to test the effectiveness in simulating ion exchange processes. The branch of artificial intelligence used was the adaptive neuro fuzzy inference system. The objective of this research was to develop a neuro-fuzzy software package to simulate ion exchange processes. The first step towards building this system was to collect data from laboratory scale ion exchange experiments. Different combinations of inputs (e.g. solution concentration, resin loading, impeller speed), were tested to determine whether it was necessary to monitor all available parameters. The software was developed in MSEXCEL where tools like SOLVER could be utilised whilst the code was written in Visual Basic. In order to compare the neuro-fuzzy simulations to previously used empirical methods, the Fritz and Schluender isotherm was used to model and simulate the same data. The results have shown that both methods were adequate but the neuro-fuzzyapproach was the more appropriate method. After completion of this study, it could be concluded that a neuro-fuzzy system does not always have the ability to describe ion exchange processes adequately.
APA, Harvard, Vancouver, ISO, and other styles
9

Kapetanakis, Stylianos. "Intelligent monitoring of business processes using case-based reasoning." Thesis, University of Greenwich, 2012. http://gala.gre.ac.uk/9809/.

Full text
Abstract:
The work in this thesis presents an approach towards the effective monitoring of business processes using Case-Based Reasoning (CBR). The rationale behind this research was that business processes constitute a fundamental concept of the modern world and there is a constantly emerging need for their efficient control. They can be efficiently represented but not necessarily monitored and diagnosed effectively via an appropriate platform. Motivated by the above observation this research pursued to which extent there can be efficient monitoring, diagnosis and explanation of the workflows. Workflows and their effective representation in terms of CBR were investigated as well as how similarity measures among them could be established appropriately. The monitoring results and their following explanation to users were questioned as well as which should be an appropriate software architecture to allow monitoring of workflow executions. Throughout the progress of this research, several sets of experiments have been conducted using existing enterprise systems which are coordinated via a predefined workflow business process. Past data produced over several years have been used for the needs of the conducted experiments. Based on those the necessary knowledge repositories were built and used afterwards in order to evaluate the suggesting approach towards the effective monitoring and diagnosis of business processes. The produced results show to which extent a business process can be monitored and diagnosed effectively. The results also provide hints on possible changes that would maximize the accuracy of the actual monitoring, diagnosis and explanation. Moreover the presented approach can be generalised and expanded further to enterprise systems that have as common characteristics a possible workflow representation and the presence of uncertainty. Further work motivated by this thesis could investigate how the knowledge acquisition can be transferred over workflow systems and be of benefit to large-scale multidimensional enterprises. Additionally the temporal uncertainty could be investigated further, in an attempt to address it while reasoning. Finally the provenance of cases and their solutions could be explored further, identifying correlations with the process of reasoning.
APA, Harvard, Vancouver, ISO, and other styles
10

Ortz, Courtney. "Aging and Associative and Inductive Reasoning Processes in Discrimination Learning." TopSCHOLAR®, 2006. http://digitalcommons.wku.edu/theses/266.

Full text
Abstract:
The purpose of this study was to investigate how associative and inductive reasoning processes develop over trials in feature positive (FP) and feature negative (FN) discrimination learning. Younger and older adults completed initial and transfer tasks with either consistent or inconsistent transfer. Participants articulated a rule on every trial. The measure of discrimination learning was the number of trials it took participants to articulate the exact rule. In the initial task, older adults articulated the rule more slowly than younger adults in FP discrimination and took marginally more trials to articulate the rule in FN discrimination than younger adults. Age differences were greater in FP discrimination than in FN discrimination learning because younger adults performed well in FP discrimination learning. In the transfer task, older adults articulated the FP rule more slowly than younger adults and both groups articulated the rule more quickly with consistent than inconsistent transfer. Older adults articulated the FN rule slower than older adults. The differences in trials to articulate the FN rule for the two groups were somewhat larger for inconsistent transfer than consistent transfer. Discrimination learning was explained in terms of associative and inductive reasoning processes reasonably well. The measure of associative processes was forgotten responses, whereas the measures of inductive reasoning processes were irrelevant cue shifts and perseverations. In FP discrimination learning in the initial task, older adults had a greater proportion of forgotten responses, irrelevant cue shifts, and marginally more perseverations than younger adults. Therefore, older adults had more difficulty with associative and inductive reasoning processes than younger adults in FP discrimination. In FN discrimination, older adults had a greater proportion of forgotten responses than younger adults. Older and younger adults had a similar number of irrelevant cue shifts and perseverations. Therefore, in FN discrimination older adults had more difficulty with associative processes than younger adults. Both groups had difficulty with inductive reasoning processes. In FP discrimination in the transfer task, older adults had a greater proportion of forgotten responses, irrelevant cue shifts, and perseverations than younger adults, and these proportions were similar in consistent and inconsistent transfer. Therefore, in FP discrimination older adults had more difficulty than younger adults with both associative and inductive reasoning processes. Both processes were similar with regards to consistent and inconsistent transfer. In FN discrimination, older adults had a greater proportion of forgotten responses than younger adults, and the proportion of forgotten responses was greater in inconsistent than in consistent transfer. Both groups made a similar number of irrelevant cue shifts, and there was a marginal difference in consistent and inconsistent transfer for this measure with a greater number in inconsistent transfer. Older adults had a greater proportion of perseverations than younger adults. However, there were no differences in the number of perseverations for consistent and inconsistent transfer. Thus, older adults had difficulty with associative and inductive reasoning processes. Younger adults' inductive reasoning skills improved. The associative and inductive reasoning processes in FN discrimination were not as efficient in inconsistent transfer as in consistent transfer.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Reasoning processes"

1

1938-, Myers Terry, Brown E. K, and McGonigle Brendan, eds. Reasoning and discourse processes. London: Academic Press, 1986.

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

Case-based reasoning: Processes, suitability and applications. Hauppauge, N.Y: Nova Science publishers, 2009.

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

Meyer, John-Jules Ch. Dynamics and Management of Reasoning Processes. Dordrecht: Springer Netherlands, 2001.

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

Ch, Meyer John-Jules, and Treur Jan 1952-, eds. Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic, 2001.

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

Meyer, John-Jules Ch, and Jan Treur, eds. Dynamics and Management of Reasoning Processes. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-1743-4.

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

Naidenova, Xenia. Machine learning methods for commonsense reasoning processes: Interactive models. Hershey, PA: Information Science Reference, 2010.

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

Hemachandran, K., Shubham Tayal, Preetha Mary George, Parveen Singla, and Utku Kose. Bayesian Reasoning and Gaussian Processes for Machine Learning Applications. Boca Raton: Chapman and Hall/CRC, 2022. http://dx.doi.org/10.1201/9781003164265.

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

Naidenova, Xenia. Machine learning methods for commonsense reasoning processes: Interactive models. Hershey, PA: Information Science Reference, 2010.

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

W, Proctor Robert, and Capaldi E. John, eds. Psychology of science: Implicit and explicit processes. New York: Oxford University Press, 2012.

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

Logical processes in humans and computers: Theory and research in psychology and artificial intelligence. Westport, Conn: Praeger, 2003.

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

Book chapters on the topic "Reasoning processes"

1

Novick, Laura R. "Analogical Transfer: Processes and Individual Differences." In Analogical Reasoning, 125–45. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-015-7811-0_6.

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

Roselló, Llorenç, Francesc Prats, Núria Agell, and Mónica Sánchez. "A Qualitative Reasoning Approach to Measure Consensus." In Consensual Processes, 235–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20533-0_14.

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

De Angelis, Emanuele, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, and Maurizio Proietti. "Verifying Controllability of Time-Aware Business Processes." In Rules and Reasoning, 103–18. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61252-2_8.

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

Melis⋆, Erica, and Carsten Ullrich. "Flexibly Interleaving Processes." In Case-Based Reasoning Research and Development, 263–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48508-2_19.

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

Di Francescomarino, Chiara, Chiara Ghidini, Marco Rospocher, Luciano Serafini, and Paolo Tonella. "Reasoning on Semantically Annotated Processes." In Service-Oriented Computing – ICSOC 2007, 132–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89652-4_13.

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

Amadio, Roberto M., and Mads Dam. "Reasoning about higher-order processes." In TAPSOFT '95: Theory and Practice of Software Development, 202–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59293-8_196.

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

Engelfriet, Joeri, and Jan Treur. "Specification of Nonmonotonic Reasoning." In Dynamics and Management of Reasoning Processes, 83–103. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-1743-4_6.

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

van Linder, Bernd, Wiebe van der Hoek, and John-Jules Ch Meyer. "The Dynamics of Default Reasoning." In Dynamics and Management of Reasoning Processes, 125–57. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-1743-4_8.

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

Deng, Yuxin, and Matthew Hennessy. "Compositional Reasoning for Markov Decision Processes." In Fundamentals of Software Engineering, 143–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29320-7_10.

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

Requicha, Aristides A. G. "Reasoning about Physical Solids and Processes." In Modeling in Computer Graphics, 411–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78114-8_26.

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

Conference papers on the topic "Reasoning processes"

1

Mistra, J. "Equational reasoning about nondeterministic processes." In the eighth annual ACM Symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/72981.72983.

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

Kazic, Toni. "REASONING ABOUT BIOCHEMICAL COMPOUNDS AND PROCESSES." In Proceedings of the 2nd International Conference. WORLD SCIENTIFIC, 1993. http://dx.doi.org/10.1142/9789814503655_0004.

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

Galton, A. "Processes as Continuants (Abstract)." In Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06). IEEE, 2006. http://dx.doi.org/10.1109/time.2006.23.

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

Yang, Dong, Lixin Tong, and Hongwei Wu. "Specifying Reasoning Processes of a KBS Using Process Modeling Approaches." In 2006 Fifth International Conference on Grid and Cooperative Computing Workshops. IEEE, 2006. http://dx.doi.org/10.1109/gccw.2006.83.

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

Gupta, V., R. Jagadeesan, and P. Panangaden. "Approximate reasoning for real-time probabilistic processes." In First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. IEEE, 2004. http://dx.doi.org/10.1109/qest.2004.1348044.

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

Minor, Mirjam, Ralph Bergmann, Sebastian Gorg, and Kirstin Walter. "Reasoning on Business Processes to Support Change Reuse." In 2011 IEEE 13th Conference on Commerce and Enterprise Computing (CEC). IEEE, 2011. http://dx.doi.org/10.1109/cec.2011.16.

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

"Rule-based Behavioral Reasoning on Semantic Business Processes." In International Conference on Agents and Artificial Intelligence. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004255001300143.

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

Arias-Hernandez, R., L. T. Kaastra, T. M. Green, and B. Fisher. "Pair Analytics: Capturing Reasoning Processes in Collaborative Visual Analytics." In 2011 44th Hawaii International Conference on System Sciences (HICSS 2011). IEEE, 2011. http://dx.doi.org/10.1109/hicss.2011.339.

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

Clarke, E. M., O. Grumberg, and M. C. Browne. "Reasoning about networks with many identical finite-state processes." In the fifth annual ACM symposium. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/10590.10611.

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

Abbas, Adnan Jameel, Mohamad Minhat, Md Nizam Bin Abdul Rahman, and Habibullah Akbar. "Future prospects of turning processes optimization using metaheuristics methods." In 2012 2nd International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE). IEEE, 2012. http://dx.doi.org/10.1109/urke.2012.6319535.

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

Reports on the topic "Reasoning processes"

1

Clarke, E. M., O. Grumberg, and M. C. Browne. Reasoning about Networks with Many Identical Finite-State Processes. Fort Belvoir, VA: Defense Technical Information Center, December 1987. http://dx.doi.org/10.21236/ada188743.

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

Bott, T. F., S. W. Eisenhawer, and S. F. Agnew. Evaluation of high-level waste pretreatment processes with an approximate reasoning model. Office of Scientific and Technical Information (OSTI), April 1999. http://dx.doi.org/10.2172/334243.

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

Lutz, Carsten. NExpTime-complete Description Logics with Concrete Domains. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.104.

Full text
Abstract:
Aus der Einleitung: Description logics (DLs) are a family of logical formalisms well-suited for the representation of and reasoning about conceptual knowledge on an abstract logical level. However, for many knowledge representation applications, it is essential to integrate the abstract logical knowledge with knowledge of a more concrete nature. As an example, consider the modeling of manufacturing processes, where it is necessary to represent 'abstract' entities like subprocesses and workpieces and also 'concrete' knowledge, e.g., about the duration of processes and physical dimensions of the manufactured objects [2; 25].
APA, Harvard, Vancouver, ISO, and other styles
4

Lutz, Carsten. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Aachen University of Technology, 2002. http://dx.doi.org/10.25368/2022.119.

Full text
Abstract:
Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design [7, 12, 17, 6]. Their classical use in the (usually computer aided) database design process can roughly be described as follows: after evaluating the requirements of the application, the database designer constructs an ER schema, which represents the conceptual model of the new database. CASE tools can be used to automatically transform the ER schema into a relational database schema, which is then manually fine-tuned. During the last years, the initially rather simple ER formalisms has been extended by various means of expressivity to account for new, more complex application areas such as schema integration for data warehouses [12, 3, 13]. Designing a conceptual model with such enriched ER diagrams is a nontrivial task: there exist complex interactions between the various means of expressivity, which quite often result in unnoticed inconsistencies in the ER schemas and in implicit ramifications of the modeling that have not been intended by the designer. To address this problem, Description Logics (DLs) have been proposed and succesfully used as a tool for reasoning about ER diagrams and thereby detecting the aforementioned anomalies [5, 6, 8].
APA, Harvard, Vancouver, ISO, and other styles
5

Rigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Full text
Abstract:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient.
APA, Harvard, Vancouver, ISO, and other styles
6

Rigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Full text
Abstract:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient.
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, Carsten Lutz, Eldar Karabaev, and Manfred Theißen. A New n-ary Existential Quantifier in Description Logics. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.151.

Full text
Abstract:
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constructor, which generalizes both the usual existential restrictions and so-called qualified number restrictions. We show that the new constructor can be expressed in ALCQ, the extension of the basic DL ALC by qualified number restrictions. However, this representation results in an exponential blow-up. By giving direct algorithms for ALC extended with the new constructor, we can show that the complexity of reasoning in this new DL is actually not harder than the one of reasoning in ALCQ. Moreover, in our chemical process engineering application, a restricted DL that provides only the new constructor together with conjunction, and satisfies an additional restriction on the occurrence of roles names, is sufficient. For this DL, the subsumption problem is polynomial.
APA, Harvard, Vancouver, ISO, and other styles
8

Koopmann, Patrick. Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.242.

Full text
Abstract:
Especially in the field of stream reasoning, there is an increased interest in reasoning about temporal data in order to detect situations of interest or complex events. Ontologies have been proved a useful way to infer missing information from incomplete data, or simply to allow for a higher order vocabulary to be used in the event descriptions. Motivated by this, ontology-based temporal query answering has been proposed as a means for the recognition of situations and complex events. But often, the data to be processed do not only contain temporal information, but also probabilistic information, for example because of uncertain sensor measurements. While there has been a plethora of research on ontologybased temporal query answering, only little is known so far about querying temporal probabilistic data using ontologies. This work addresses this problem by introducing a temporal query language that extends a well-investigated temporal query language with probability operators, and investigating the complexity of answering queries using this query language together with ontologies formulated in the description logic EL.
APA, Harvard, Vancouver, ISO, and other styles
9

Zachry, Anne, J. Flick, and S. Lancaster. Tune Up Your Teaching Toolbox! University of Tennessee Health Science Center, 2016. http://dx.doi.org/10.21007/chp.ot.fp.2016.0001.

Full text
Abstract:
Occupational therapy (OT) educators strive to prepare entry-level practitioners who have the expertise to meet the diverse health care needs of society. A variety of instructional methods are used in the University of Tennessee Health Science Center (UTHSC) MOT program, including traditional lecture-based instruction (LBI), problem-based learning (PBL), team-based learning (TBL), and game-based learning (GBL). Research suggests that active learning strategies develop the critical thinking and problem-solving skills that are necessary for effective clinical reasoning and decision-making abilities. PBL, TBL, GBL are being successfully implemented in the UTHSC MOT Program to enhance the learning process and improve student engagement.
APA, Harvard, Vancouver, ISO, and other styles
10

Bourgaux, Camille, and Anni-Yasmin Turhan. Temporal Query Answering in DL-Lite over Inconsistent Data. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.236.

Full text
Abstract:
In ontology-based systems that process data stemming from different sources and that is received over time, as in context-aware systems, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology-based query answering. We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic and extend to this setting three inconsistency-tolerant semantics that have been introduced for querying inconsistent description logic knowledge bases. We investigate their complexity for DL-LiteR temporal knowledge bases, and furthermore complete the picture for the consistent case.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Reasoning processes' for particular source types:
Journal articles Dissertations / Theses Books
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