Log in

Relevant bibliographies by topics / Rule based programming / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Rule based programming.

Dissertations / Theses on the topic 'Rule based programming'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Rule based programming.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Kuo, Yung-Li. "Developing a rule-based expert system with C programming language." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/552943.

Full text

Abstract:

Expert system techniques are now being incorporated successfully in commercial computer software packages. This thesis introduces the techniques of developing a rule-based expert system in a general-purpose programming language -- C. The topics of this thesis include significance of expert system shells and approaches used, structure of the knowledge base, loading of the knowledge base, manipulation of the probabilities of rule attributes, and implementation of the inference engine. The inference engine uses the information that users supply to find an object that matches. Today C language is

APA, Harvard, Vancouver, ISO, and other styles

2

Soltan-Zadeh, Yasaman. "Improved rule-based document representation and classification using genetic programming." Thesis, Royal Holloway, University of London, 2011. http://repository.royalholloway.ac.uk/items/479a1773-779b-8b24-b334-7ed485311abe/8/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Williamson, C. J. "Computer aided process control systems synthesis using rule-based programming." Thesis, University of Canterbury. Chemical Engineering, 1989. http://hdl.handle.net/10092/9407.

Full text

Abstract:

Current steady-state process simulators have greatly increased the speed and efficiency of the development of Process Flow Diagrams. Chemical Engineers would benefit in the same way from a Computer Aided Design package to assist with generating completed Piping and Instrument Diagrams. Despite the many theoretical methods available in the control science area there is no single and complete available solution to the problem of synthesising control systems for whole chemical processes and therefore no concrete basis from which to develop a computer program. Design activities rely on a significa

APA, Harvard, Vancouver, ISO, and other styles

4

Pappa, Gisele Lobo. "Automatically evolving rule induction algorithms with grammar-based genetic programming." Thesis, University of Kent, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445792.

Full text

Abstract:

In the last 30 years, research in the field of rule induction algorithms produced a large number of algorithms. However, these algorithms are usually obtained from the combination of a basic rule induction algorithm (typically following the sequential covering approach) with new evaluation functions, pruning methods and stopping criteria for refining or producing rules, generating many "new" and more sophisticated sequential covering algorithms. We cannot deny that these attempts to improve the basic sequential covering ~approach have succeeded. Hence, if manually changing these major componen

APA, Harvard, Vancouver, ISO, and other styles

5

Liu, Youzhong. "Rule warehouse system for knowledge sharing and business collaboration." [Gainesville, Fla.] : University of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/anp4027/Youzhong%5FLiu%5FDissertation.pdf.

Full text

Abstract:

Thesis (Ph. D.)--University of Florida, 2001.<br>Title from first page of PDF file. Document formatted into pages; contains xi, 121 p.; also contains graphics. Vita. Includes bibliographical references (p. 113-120).

APA, Harvard, Vancouver, ISO, and other styles

6

Lum, Bik. "A rule-based analysis system for Chinese sentences /." [Hong Kong : University of Hong Kong], 1989. http://sunzi.lib.hku.hk/hkuto/record.jsp?B1240231X.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lakkaraju, Sai Kiran, University of Western Sydney, of Science Technology and Environment College, and School of Computing and Information Technology. "A SLDNF based formalization for updates and abduction." THESIS_CSTE_CIT_Lakkaraju_S.xml, 2001. http://handle.uws.edu.au:8081/1959.7/381.

Full text

Abstract:

Knowledge representation and inference are the backbone of artificial intelligence, and logic programming is one of the most widely used knowledge representation tools. Logic programming with deduction/induction/abduction as the reasoning technique is serving numerous fields of artificial intelligence. In dynamic domains where there are constant changes in knowledge, updating the knowledge base is crucial to keep it stable. This thesis investigates the issues in updating the knowledge base. Two types of logic program based updates are considered, simple fact based updates where the knowledge b

APA, Harvard, Vancouver, ISO, and other styles

8

Sahin, Yavuz. "A Programming Framework To Implement Rule-based Target Detection In Images." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12610213/index.pdf.

Full text

Abstract:

An expert system is useful when conventional programming techniques fall short of capturing human expert knowledge and making decisions using this information. In this study, we describe a framework for capturing expert knowledge under a decision tree form and this framework can be used for making decisions based on captured knowledge. The framework proposed in this study is generic and can be used to create domain specific expert systems for different problems. Features are created or processed by the nodes of decision tree and a final conclusion is reached for each feature. Framework supplie

APA, Harvard, Vancouver, ISO, and other styles

9

Terfloth, Kirsten [Verfasser]. "A rule-based programming model for wireless sensor networks / Kirsten Terfloth." Berlin : Freie Universität Berlin, 2009. http://d-nb.info/1023664135/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Mehldau, Gerhard 1959. "A RULE-BASED PROGRAMMING LANGUAGE AND ITS APPLICATION TO IMAGE RECOGNITION." Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/276360.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Sankarasubramanian, Venkatasubramanian. "Rule based expert system for manufacturing process selection." Ohio : Ohio University, 2005. http://www.ohiolink.edu/etd/view.cgi?ohiou1126215558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Le, Truong Giang. "Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications." Phd thesis, Conservatoire national des arts et metiers - CNAM, 2013. http://tel.archives-ouvertes.fr/tel-00953368.

Full text

Abstract:

Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that support many manufacturing and daily life activities. For instance, industrial robots detect the changes of the working environment in the factory to adapt their operations to the requirements. Automotive control systems may observe other vehicles, detect obstacles, and monitor the essence level or the air quality in order to warn the drivers in case of emergency. Another example is power-aware embedded systems that need to work

APA, Harvard, Vancouver, ISO, and other styles

13

林碧 and Bik Lum. "A rule-based analysis system for Chinese sentences." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1989. http://hub.hku.hk/bib/B31208769.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Manamalkav, Shankar N. "A framework for specifying and generating alerts in relational medical databases." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1000139.

Full text

Abstract:

Thesis (M.S.)--University of Florida, 2002.<br>Title from title page of source document. Document formatted into pages; contains xi, 68 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

15

Shi, Yuan. "Integrated verification of constraints and event-and-action-oriented business rules." [Gainesville, Fla.] : University of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/anp1051/thesis%5Fyshi.pdf.

Full text

Abstract:

Thesis (M.S.)--University of Florida, 2001.<br>Title from first page of PDF file. Document formatted into pages; contains ix, 68 p.; also contains graphics. Vita. Includes bibliographical references (p. 64-67).

APA, Harvard, Vancouver, ISO, and other styles

16

Raj, Himanshu. "Integrated alerting for structured and free-text data in TriggerMan." [Gainesville, Fla.] : University of Florida, 2001. http://purl.fcla.edu/fcla/etd/UFE0000346.

Full text

Abstract:

Thesis (M.S.)--University of Florida, 2001.<br>Title from title page of source document. Document formatted into pages; contains viii, 60 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

17

Haldavnekar, Nikhil. "An algorithm and implementation for extracting schematic and semantic knowledge from relational database systems." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE0000541.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Medders, Stephen Charles. "Using rule-based structure to evaluate rule-based system testing completeness a case study of Loci and Quick Test /." Master's thesis, Mississippi State : Mississippi State University, 2008. http://library.msstate.edu/etd/show.asp?etd=etd-03052008-174707.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Joshi, Nicky. "IntelliBid an event-trigger-rule-based auction system over the Internet /." [Gainesville, Fla.] : University of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/anp1603/thesis%5Fsubmit2.pdf.

Full text

Abstract:

Thesis (M.S.)--University of Florida, 2001.<br>Title from first page of PDF file. Document formatted into pages; contains x, 61 p.; also contains graphics. Vita. Includes bibliographical references (p. 58-60).

APA, Harvard, Vancouver, ISO, and other styles

20

Thakore, Kushal. "Intellibid an Event-Trigger-Rule-Based auction system over the Internet /." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1001185.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Kopanas, Vassilios. "Relational database support for a rule based approach to information systems." Thesis, University of Manchester, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358052.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Blum, Jesse Michael. "Handling emergent conflicts in adaptable rule-based sensor networks." Thesis, University of Stirling, 2012. http://hdl.handle.net/1893/10622.

Full text

Abstract:

This thesis presents a study into conflicts that emerge amongst sensor device rules when such devices are formed into networks. It describes conflicting patterns of communication and computation that can disturb the monitoring of subjects, and lower the quality of service. Such conflicts can negatively affect the lifetimes of the devices and cause incorrect information to be reported. A novel approach to detecting and resolving conflicts is presented. The approach is considered within the context of home-based psychiatric Ambulatory Assessment (AA). Rules are considered that can be used to con

APA, Harvard, Vancouver, ISO, and other styles

23

Le, Truong Giang. "Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications." Electronic Thesis or Diss., Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0883.

Full text

Abstract:

Les applications réactives et sensibles au contexte sont des applications intelligentes qui observent l’environnement (ou contexte) dans lequel elles s’exécutent et qui adaptent, si nécessaire, leur comportement en cas de changements dans ce contexte, ou afin de satisfaire les besoins ou d'anticiper les intentions des utilisateurs. La recherche dans ce domaine suscite un intérêt considérable tant de la part des académiques que des industriels. Les domaines d'applications sont nombreux: robots industriels qui peuvent détecter les changements dans l'environnement de travail de l'usine pour adapt

APA, Harvard, Vancouver, ISO, and other styles

24

Zhu, Leon Yang. "Dominant strategy double auction mechanisms design and implementation /." [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0011354.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Meng, Jie. "Achieving dynamic inter-organizational workflow management by integrating business processes, e-services, events, and rules." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1000143.

Full text

Abstract:

Thesis (Ph. D.)--University of Florida, 2002.<br>Title from title page of source document. Document formatted into pages; contains xii, 102 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

26

Chatterjee, Raja. "KBMS-based evolutionary prototyping of object-oriented software systems /." CLICK ON LINK, THEN SEARCH BY AUTHOR OR TITLE; ACCESS RESTRICTED TO COMPUTERS ON UF CAMPUS OR WITH UF IP ADDRESSES, 1998. http://wwwlib.umi.com/cr/ufl/main.

Full text

Abstract:

Thesis (Ph. D.)--University of Florida, 1998.<br>Typescript. Vita. Includes bibliographical references (leaves 115-118). Full text also available from UMI Current Research @ database; Adobe Acrobat Reader required to display text; see LINKS to connect

APA, Harvard, Vancouver, ISO, and other styles

27

Wadatkar, Ajit. "Process Selection for Hole Operations Using a Rule Based Approach." Ohio University / OhioLINK, 2004. http://www.ohiolink.edu/etd/view.cgi?ohiou1108480552.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Vitorino, dos Santos Filho Jairson. "CHROME: a model-driven component-based rule engine." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1638.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:51:39Z (GMT). No. of bitstreams: 2 arquivo2757_1.pdf: 5759741 bytes, checksum: 8075c58c36a6d409b242f2a7873fb02f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Vitorino dos Santos Filho, Jairson; Pierre Louis Robin, Jacques. CHROME: a model-driven component-based rule engine. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

APA, Harvard, Vancouver, ISO, and other styles

29

Jarvis, Matthew P. "Applying machine learning techniques to rule generation in intelligent tutoring systems." Link to electronic thesis, 2004. http://www.wpi.edu/Pubs/ETD/Available/etd-0429104-112724.

Full text

Abstract:

Thesis (M.S.)--Worcester Polytechnic Institute.<br>Keywords: Intelligent Tutoring Systems; Model Tracing; Machine Learning; Artificial Intelligence; Programming by Demonstration. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

30

Garzón, Miguel Alejandro. "Reverse Engineering Object-Oriented Systems into Umple: An Incremental and Rule-Based Approach." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/32615.

Full text

Abstract:

This thesis investigates a novel approach to reverse engineering, in which modeling information such as UML associations, state machines and attributes is incrementally added to code written in Java or C++, while maintaining the system in a textual format. Umple is a textual representation that blends modeling in UML with programming language code. The approach, called umplification, produces a program with behavior identical to the original one, but written in Umple and enhanced with model-level abstractions. As the resulting program is Umple code, our approach eliminates the distinction betw

APA, Harvard, Vancouver, ISO, and other styles

31

Burhans, Debra Thomas. "A question answering interpretation of resolution refutation." Buffalo, N.Y. : Dept. of Computer Science, State University of New York at Buffalo, 2002. http://www.cse.buffalo.edu/tech%2Dreports/2002%2D03.ps.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Lakkaraju, Sai Kiran. "A SLDNF formalization for updates and abduction /." View thesis View thesis, 2001. http://library.uws.edu.au/adt-NUWS/public/adt-NUWS20030507.112018/index.html.

Full text

Abstract:

Thesis (M.Sc. (Hons.)) -- University of Western Sydney, 2001.<br>"A thesis submitted for the degree of Master of Science (Honours) - Computing and Information Technology at University of Western Sydney" Bibliography : leaves 93-98.

APA, Harvard, Vancouver, ISO, and other styles

33

De, Kock Erika. "Decentralising the codification of rules in a decision support expert knowledge base." Pretoria : [s.n.], 2003. http://upetd.up.ac.za/thesis/available/etd-03042004-105746.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Endl, Rainer. "Regelbasierte Entwicklung betrieblicher Informationssysteme /." Bern : [s.n.], 2004. http://www.zb.unibe.ch/download/eldiss/04endl_r.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Ong, Yongzhi [Verfasser], Winfried [Akademischer Betreuer] Kurth, and Hans-Jörg [Akademischer Betreuer] Kreowski. "Extension of the Rule-Based Programming Language XL by Concepts for Multi-Scaled Modelling and Level-of-Detail Visualization / Yongzhi Ong. Gutachter: Winfried Kurth ; Hans-Jörg Kreowski. Betreuer: Winfried Kurth." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2015. http://d-nb.info/1070423653/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Håkansson, Anne. "Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process." Doctoral thesis, Uppsala University, Computer Science, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3812.

Full text

Abstract:

<p>The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. During the acquisition phase, a main obstacle to proper extraction of information is the absence of effective modelling techniques.</p><p>The contributions of the thesis are: introducing a methodology for user-centred knowledge modelling,

APA, Harvard, Vancouver, ISO, and other styles

37

Beatrix, Christopher. "Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX." Thesis, Angers, 2016. http://www.theses.fr/2016ANGE0026/document.

Full text

Abstract:

L’ Answer Set Programming (ASP) est un formalisme capable de représenter des connaissances en Intelligence Artificielle à l’aide d’un programme logique au premier ordre pouvant contenir des négations par défaut. En quelques années, plusieurs solveurs performants ont été proposés pour calculer les solutions d’un programme ASP que l’on nomme answer sets.Nous nous intéressons ici plus particulièrement au solveur ASPeRiX qui instancie les règles au premier ordre à la volée durant le calcul des answer sets. Pour réaliser cela, ASPeRiX applique un chaînage avant sur les règles à partir de littéraux

APA, Harvard, Vancouver, ISO, and other styles

38

Ellery, Ian Gareth. "The creation of missing rules for knowledge based systems." Thesis, University of Aberdeen, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.291022.

Full text

Abstract:

It is unlikely that any knowledge based system will have a complete rule-base when it is first built. Whether the rules are automatically generated from examples by machine learning methods, or hand encoded by a knowledge engineer, some rules will almost certainly be missing. It is the aim of Knowledge Refinement Systems to enable new rules to be created and included into an existing knowledge base as easily as possible. Previous approaches to this problem have either helped the expert detect that a rule is missing, or attempted to learn a new rule automatically from examples. However, in the

APA, Harvard, Vancouver, ISO, and other styles

39

Mário, Oliveira Rodrigues Cleyton. "Component assembly and theorem proving in constraint handling rules." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1821.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:52:36Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Devido á grande demanda por softwares cada vez mais robustos, complexos e flexíveis, e, sobretudo, pelo curtíssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provém do uso de uma metodologia baseada em agentes que se comunicam e com isso, ao invés dos prog

APA, Harvard, Vancouver, ISO, and other styles

40

Pierre-Louis, Péguy. "Algorithmic Developments in Monte Carlo Sampling-Based Methods for Stochastic Programming." Diss., The University of Arizona, 2012. http://hdl.handle.net/10150/228433.

Full text

Abstract:

Monte Carlo sampling-based methods are frequently used in stochastic programming when exact solution is not possible. In this dissertation, we develop two sets of Monte Carlo sampling-based algorithms to solve classes of two-stage stochastic programs. These algorithms follow a sequential framework such that a candidate solution is generated and evaluated at each step. If the solution is of desired quality, then the algorithm stops and outputs the candidate solution along with an approximate (1 - α) confidence interval on its optimality gap. The first set of algorithms proposed, which we refer

APA, Harvard, Vancouver, ISO, and other styles

41

Deng, Mario [Verfasser]. "Predicting Rules for Cancer Subtype Classification using Grammar-Based Genetic Programming on various Genomic Data Types / Mario Deng." Bonn : Universitäts- und Landesbibliothek Bonn, 2018. http://d-nb.info/115667946X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Gomes, Ana Sofia. "Derivation methods for hybrid knowledge bases with rules and ontologies." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2563.

Full text

Abstract:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática<br>First of all, I would like to thank my advisor, José Júlio Alferes, for his incredible support. Right from the start, during the first semester of this work, when we were 2700 km apart and meeting regularly via Skype, until the end of this dissertation, he was always committed and available for discussions, even when he had lots of other urgent things to do. A really special thanks to Terrance Swift, whom acted as an advisor, helping me a lo

APA, Harvard, Vancouver, ISO, and other styles

43

Espinosa, Oviedo Javier Alfonso. "Coordination fiable de services de données à base de politiques actives." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENM022/document.

Full text

Abstract:

Nous proposons une approche pour ajouter des propriétés non-fonctionnelles (traitement d'exceptions, atomicité, sécurité, persistance) à des coordinations de services. L'approche est basée sur un Modèle de Politiques Actives (AP Model) pour représenter les coordinations de services avec des propriétés non-fonctionnelles comme une collection de types. Dans notre modèle, une coordination de services est représentée comme un workflow compose d'un ensemble ordonné d'activité. Chaque activité est en charge d'implante un appel à l'opération d'un service. Nous utilisons le type Activité pour représen

APA, Harvard, Vancouver, ISO, and other styles

44

Wolf, Robert Pawel. "Declarative computer music programming: using Prolog to generate rule-based musical counterpoints." Thesis, 2015. http://hdl.handle.net/2440/96913.

Full text

Abstract:

This submission for the degree of Doctor of Philosophy at the Elder Conservatorium of Music, University of Adelaide, is presented as a conventional, text-based thesis, supported by computer code and audio files. The primary purpose of this research investigation in the field of Artificial Intelligence has been to test the capabilities of the declarative programming paradigm to generate musical counterpoints within the framework of a specially created expert system. The project has tested if such a contrapuntal expert system can evolve through a process of mutation of its own code and generate

APA, Harvard, Vancouver, ISO, and other styles

45

Lakkaraju, Sai K. "A SLDNF based formalization for updates and abduction." Thesis, 2001. http://handle.uws.edu.au:8081/1959.7/381.

Full text

Abstract:

Knowledge representation and inference are the backbone of artificial intelligence, and logic programming is one of the most widely used knowledge representation tools. Logic programming with deduction/induction/abduction as the reasoning technique is serving numerous fields of artificial intelligence. In dynamic domains where there are constant changes in knowledge, updating the knowledge base is crucial to keep it stable. This thesis investigates the issues in updating the knowledge base. Two types of logic program based updates are considered, simple fact based updates where the knowledge b

APA, Harvard, Vancouver, ISO, and other styles

46

Shyu, Jenq-Long, and 徐正龍. "CAROL4: An Object and Rule-Based Programming Language— An Interpreter Using C++ Implementation." Thesis, 1995. http://ndltd.ncl.edu.tw/handle/33635581927824809009.

Full text

Abstract:

碩士<br>國立中央大學<br>資訊及電子工程研究所<br>83<br>Most software developing systems do not provide a good language or mechanism to model the complex student model and teaching strategy in intelligent tutoring systems (ITSs). This motivates us to design a general-purpose language , named CAROL4, to achieve this objective. In CAROL4, we preserve the rule-based programming style inherited from its previous version, CAROL3, and use delegation for resource sharing between objects, instead of inheritance. Deleg

APA, Harvard, Vancouver, ISO, and other styles

47

Lei, Yiming. "Architectural aspects and a prototype system for handling disputes in electronic commerce transactions /." 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

Zhan, Ruo-Jie, and 詹若(木疌). "Cognitive Diagnosis of Learning Path in C++ Programming Language based on Rule Space Model for College Students." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/53739985985314916316.

Full text

Abstract:

碩士<br>中華大學<br>資訊管理學系(所)<br>98<br>Programming Language is a practical course, which trains students’ logical thinking and problem solving. It involves logical design, problem analysis and problem solving. Therefore, to promote students’ programming, debugging and basic concepts understanding is an important issue. Programming Language is one of the basic courses. Students learn the information planning, managing and manipulation from variable declaration, data processing, flow control and output progress. This study applied Rule Space Model to generalize, analyze and study the C++ teaching conc

APA, Harvard, Vancouver, ISO, and other styles

49

"Supervisory Control Optimization with Sequential Quadratic Programming for Parallel Hybrid Vehicle with Synchronous Power Sources." Master's thesis, 2017. http://hdl.handle.net/2286/R.I.44420.

Full text

Abstract:

abstract: The thesis covers the development and modeling of the supervisory hybrid controller using two different methods to achieve real-world optimization and power split of a parallel hybrid vehicle with a fixed shaft connecting the Internal Combustion Engine (ICE) and Electric Motor (EM). The first strategy uses a rule based controller to determine modes the vehicle should operate in. This approach is well suited for real-world applications. The second approach uses Sequential Quadratic Programming (SQP) approach in conjunction with an Equivalent Consumption Minimization Strategy (ECMS) st

APA, Harvard, Vancouver, ISO, and other styles

50

Ong, Yongzhi. "Extension of the Rule-Based Programming Language XL by Concepts for Multi-Scaled Modelling and Level-of-Detail Visualization." Doctoral thesis, 2015. http://hdl.handle.net/11858/00-1735-0000-0022-5FC5-B.

Full text

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!