An Overview of Some Truth Maintenance Systems
Mladen Stanojević, Dušan Velašević (1995)
The Yugoslav Journal of Operations Research
Similarity:
Mladen Stanojević, Dušan Velašević (1995)
The Yugoslav Journal of Operations Research
Similarity:
Luigia Aiello, Mario Aiello, Giuseppe Attardi, Gianfranco Prini (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Radosław Klimek (2014)
International Journal of Applied Mathematics and Computer Science
Similarity:
Roberto Cordeschi (1996)
Mathware and Soft Computing
Similarity:
The aim of this paper is to show how J.A. Robinson's resolution principle was perceived and discussed in the AI community between the mid sixties and the first seventies. During this time the so called heuristic search paradigm was still influential in the AI community, and both resolution principle and certain resolution based, apparently human-like, search strategies were matched with those problem solving heuristic procedures which were representative of the AI heuristic search paradigm. ...
Grzegorz J. Nalepa, Antoni Ligęza (2010)
International Journal of Applied Mathematics and Computer Science
Similarity:
This paper describes a new approach, the HeKatE methodology, to the design and development of complex rule-based systems for control and decision support. The main paradigm for rule representation, namely, eXtended Tabular Trees (XTT), ensures high density and transparency of visual knowledge representation. Contrary to traditional, flat rule-based systems, the XTT approach is focused on groups of similar rules rather than on single rules. Such groups form decision tables which are connected...
Barbara Dunin-Kęplicz, Linh Anh Nguyen, Andrzej Sza l as (2010)
Computer Science and Information Systems
Similarity:
Jan Štěpán (1991)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Miguel A. Laguna, José M. Marqués, Guillermo Rodríguez-Cano (2011)
Computer Science and Information Systems
Similarity:
Przemysław Kazienko (2009)
International Journal of Applied Mathematics and Computer Science
Similarity:
Classical association rules, here called “direct”, reflect relationships existing between items that relatively often co-occur in common transactions. In the web domain, items correspond to pages and transactions to user sessions. The main idea of the new approach presented is to discover indirect associations existing between pages that rarely occur together but there are other, “third” pages, called transitive, with which they appear relatively frequently. Two types of indirect associations...