Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Autonomous Agents and Multi-Agent Systems
Published in: Autonomous Agents and Multi-Agent Systems 3/2017

26-07-2016

A dynamic default revision mechanism for speculative computation

Authors: Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Hiroshi Hosobe

Published in: Autonomous Agents and Multi-Agent Systems | Issue 3/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this work a default revision mechanism is introduced into speculative computation to manage incomplete information. The default revision is supported by a method for the generation of default constraints based on Bayesian networks. The method enables the generation of an initial set of defaults which is used to produce the most likely scenarios during the computation, represented by active processes. As facts arrive, the Bayesian network is used to derive new defaults. The objective with such a new dynamic mechanism is to keep the active processes coherent with arrived facts. This is achieved by changing the initial set of default constraints during the reasoning process in speculative computation. A practical example in clinical decision support is described.
previous article Positional scoring-based allocation of indivisible goods
next article Enhancing comparison shopping agents through ordering and gradual information disclosure

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Appendix
Available only for authorised users
Literature
1.
2.
Burton, F. W. (1985). Speculative computation, parallelism and functional programming. IEEE Transactions on Computers, 34(12), 1190–1193.CrossRef
3.
Cellini, S. R., & Kee, J. E. (2010). Cost effectiveness and cost-benefit analysis. In Handbook of practical program evaluation (pp. 493–530). Wiley Online Library. doi:10.​1002/​9781119171386.​ch24.
4.
5.
Franzén, T., Haridi, S., & Janson, S. (1992). An overview of the andorra kernel language. In L. H. Eriksson, L. HallnÃd’s, & P. Schroeder-Heister (Eds.), Extensions of logic programming (Vol. 596, pp. 163–179). Lecture notes in computer science. Berlin: Springer.
6.
Governatori, G., Olivieri, F., Scannapieco, S., & Cristani, M. (2010). Superiority based revision of defeasible theories. In M. Dean, D. J. Hall, A. Rotolo, & S. Tabet (Eds.), Semantic web rules (Vol. 6403, pp. 104–118). Lecture notes in computer science. Berlin: Springer.
7.
Gupta, V., Jagadeesan, R., & Saraswat, V. (1997). Probabilistic concurrent constraint programming. In A. Mazurkiewicz & J. Winkowski (Eds.), CONCUR’97: Concurrency theory (Vol. 1243, pp. 243–257). Lecture notes in computer science. Berlin: Springer.
8.
Hastie, T., Tibshirani, R., Friedman, J., Hastie, T., Friedman, J., & Tibshirani, R. (2009). The elements of statistical learning: Data mining, inference, and prediction (2nd ed.). New York: Springer.CrossRefMATH
9.
10.
Isern, D., & Moreno, A. (2008). Computer-based execution of clinical guidelines: A review. International Journal of Medical Informatics, 77(12), 787–808.CrossRef
11.
Korb, K., & Nicholson, A. (2011). Bayesian artificial intelligence (2nd ed.). London: CRC Press.MATH
12.
Lam, H. P., Governatori, G., Satoh, K., & Hosobe, H. (2012). Distributed defeasible speculative reasoning in ambient environment. In M. Fisher, L. Torre, M. Dastani, & G. Governatori (Eds.), Proceedings of the computational logic in multi-agent systems: 13th international workshop, CLIMA XIII. Lecture notes in computer science (pp. 43–60). Berlin: Springer. doi:10.​1007/​978-3-642-32897-8_​5.
13.
14.
Oliveira, T., Neves, J., Novais, P., & Satoh, K. (2014). Applying speculative computation to guideline-based decision support systems. In 2014 IEEE 27th international symposium on computer-based medical systems (CBMS) (pp. 42–47). IEEE. doi:10.​1109/​CBMS.​2014.​32.
15.
Oliveira, T., Novais, P., & Neves, J. (2013). Representation of clinical practice guideline components in owl. In J. B. Pérez, J. M. C. Rodríguez, J. Fëhndrich, P. Mathieu, A. Campbell, M. C. Suarez-Figueroa, A. Ortega, E. Adam, E. Navarro, R. Hermoso, & M. N. Moreno (Eds.), Trends in practical applications of agents and multiagent systems. Advances in intelligent systems and computing (Vol. 221, pp. 77–85). Springer. doi:10.​1007/​978-3-319-00563-8_​10.
16.
Peleg, M. (2013). Computer-interpretable clinical guidelines: A methodological review. Journal of Biomedical Informatics, 46(4), 744–763.CrossRef
17.
Prakken, H., & Sartor, G. (1997). Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics, 7(1–2), 25–75.MathSciNetCrossRefMATH
18.
19.
Sadri, F., & Toni, F. (2006). Interleaving belief updating and reasoning in abductive logic programming. Frontiers in Artificial Intelligence and Applications, 141, 442–446.
20.
Saraswat, V., Jagadeesan, R., & Gupta, V. (1996). Timed default concurrent constraint programming. Journal of Symbolic Computation, 22(5), 475–520.MathSciNetCrossRefMATH
21.
Satoh, K. (2005). Speculative computation and abduction for an autonomous agent. IEICE—Transactions on Information and Systems, E88-D(9), 2031–2038.
22.
Satoh, K., Codognet, P., & Hosobe, H. (2003). Speculative constraint processing in multi-agent systems. In Intelligent agents and multi-agent systems (Vol. 2891, pp. 133–144). Berlin: Springer.
23.
Satoh, K., Inoue, K., Iwanuma, K., & Sakama, C. (2000). Speculative computation by abduction under incomplete communication environments. In Proceedings of the fourth international conference on multi-agent systems (Vol. 12, pp. 263–270). Alamitos: IEEE.
24.
Satoh, K., & Yamamoto, K. (2002). Speculative computation with multi-agent belief revision. In Proceedings of the first international joint conference on autonomous agents and multi-agent systems: Part 2, AAMAS ’02 (pp. 897–904). New York: ACM.
25.
Scutari, M. (2010). Learning Bayesian networks with the bnlearn R package. Journal of Statistical Software, 35(3), 1–22.CrossRef
26.
Smolka, G. (1997). The oz programming model. In M. Broy & B. Schieder (Eds.), Mathematical methods in program development. NATO ASI series (Vol. 158, pp. 409–432). Berlin: Springer.
27.
Ten Teije, A., Miksch, S., & Lucas, P. (2008). Computer-based medical guidelines and protocols: A primer and current trends (Vol. 139). Amsterdam: IOS Press.
28.
29.
Van der Heijden, M., & Lucas, P. (2013). Describing disease processes using a probabilistic logic of qualitative time. Artificial Intelligence in Medicine, 59(3), 143–155.CrossRef
30.
31.
Weber, P., Medina-Oliva, G., Simon, C., & Iung, B. (2012). Overview on Bayesian networks applications for dependability, risk analysis and maintenance areas. Engineering Applications of Artificial Intelligence, 25(4), 671–682.CrossRef
32.
Witten, I., Frank, E., & Hall, M. (2011). Data mining: Practical machine learning tools and techniques (3rd ed.). San Francisco: Morgan Kaufmann.
Metadata
Title
A dynamic default revision mechanism for speculative computation
Authors
Tiago Oliveira
Ken Satoh
Paulo Novais
José Neves
Hiroshi Hosobe
Publication date
26-07-2016
Publisher
Springer US
Published in
Autonomous Agents and Multi-Agent Systems / Issue 3/2017
Print ISSN: 1387-2532
Electronic ISSN: 1573-7454
DOI
https://doi.org/10.1007/s10458-016-9341-9

Other articles of this Issue 3/2017

Autonomous Agents and Multi-Agent Systems 3/2017 Go to the issue

OriginalPaper

Requirements specification via activity diagrams for agent-based systems

OriginalPaper

Collaborative privacy preserving multi-agent planning

OriginalPaper

How to trust a few among many

OriginalPaper

The joint movement of pebbles in solving the ()-puzzle suboptimally and its applications in rule-based cooperative path-finding

OriginalPaper

A framework for organization-aware agents

OriginalPaper

Positional scoring-based allocation of indivisible goods

Premium Partner

    Image Credits