Search Results

1 - 7 of 7 items :

  • "argumentation" x
  • Software Development x
Clear All
Conflicts in legal knowledge base

of the 10th international conference on Artificial Intelligence and Law, pp. 225-229. ACM, New York, NY, USA (2005) [4] Gordon, T.: Some problems with prolog as a knowledge representation language for legal expert system. International Review of Law, Computers and Technology 3, 52-67 (1987) [5] Gordon, T.: Constructing arguments with a computational model of an argumentation scheme for legal rules: Interpreting legal rules as reasoning policies. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law

Open access
Velocity Controller for a Class of Vehicles

Abstract

This paper addresses the problem of velocity tracking control for various fully-actuated robotic vehicles. The presented method, which is based on transformation of equations of motion allows one to use, in the control gain matrix, the dynamical couplings existing in the system. Consequently, the dynamics of the vehicle is incorporated into the control process what leads to fast velocity error convergence. The stability of the system under the controller is derived based on Lyapunov argument. Moreover, the robustness of the proposed controller is shown too. The general approach is valid for 6 DOF models as well as other reduced models of vehicles. Simulation results on a 6 DOF indoor airship validate the described velocity tracking methodology.

Open access
Automatic Enhancement of the Reference Set for Multi-Criteria Sorting in The Frame of Theseus Method

Abstract

Some recent works have established the importance of handling abundant reference information in multi-criteria sorting problems. More valid information allows a better characterization of the agent’s assignment policy, which can lead to an improved decision support. However, sometimes information for enhancing the reference set may be not available, or may be too expensive. This paper explores an automatic mode of enhancing the reference set in the framework of the THESEUS multi-criteria sorting method. Some performance measures are defined in order to test results of the enhancement. Several theoretical arguments and practical experiments are provided here, supporting a basic advantage of the automatic enhancement: a reduction of the vagueness measure that improves the THESEUS accuracy, without additional efforts from the decision agent. The experiments suggest that the errors coming from inadequate automatic assignments can be kept at a manageable level.

Open access
Universes and simulations: Civilizational development in nested embedding

in cognitive sciences, 7(11):505-512, 2003. [5] Beisbart C. Are we sims? how computer simulations represent and what this means for the simulation argument. The Monist, 97(3):399, 2014. [6] Bennett C. H. The thermodynamics of computation - a review. International Journal of Theoretical Physics, 21(12):905-940, 1982. [7] Birch J. On the ‘simulation argument’ and selective scepticism. Erkenntnis, 78(1):95-107, 2013. [8] Bładek I., Komosinski M., and Miazga K. Mappism: formalizing classical and artificial

Open access
Preface to the Special Issue on Philosophy in Computer Science

with the ATLAS detector at the LHC, „ Physics Letters B”, 710, 2012, 49–66. [5] Crombie A.C., Designed in the Mind: Western Visions of Science, Nature and Humankind , [in:] Science, Art and Nature in Medieval and Modern Thought , Hambledon Press, London, 1996, 1–12. [6] Crombie A.C., Styles of Scientific Thinking in the European Tradition: The History of Argument and Explanation Especially in the Mathematical and Biomedical Sciences and Arts ,: Gerald Duckworth & Company, London, 1994. [7] Fleck L., Powstanie i rozwój faktu naukowego

Open access
The progress of science from a computational point of view: the drive towards ever higher solvability

. Essays in Commemoration of Friedrich Hayek (1899-1992) of the series Studies in Logic, Grammar and Rhetoric ( http://logika.uwb.edu.pl/studies/index.php?page=search&vol=18 ), 5(18), 2002. [19] Marciszewski W., The Gödelian Speed-up and Other Strategies to Address Decidability and Tractability, Studies in Logic, Grammar and Rhetoric , 9(22), 2006. [20] Newman M. H. A., Alan Mathison Turing, Biographical memoirs of the Royal Society , 1955, 253-263. [21] Placek T., Mathematical Intuitionism and Intersubjectivity: A Critical Exposition of Arguments

Open access
A Semantic Retrieval System for Case Law

Liability: Preliminary Results of the BEST-Project,” Computable Models of the Law , LNCS , vol. 4884, pp. 291–311, 2008. https://doi.org/10.1007/978-3-540-85569-9_19 [13] A. Wyner, and R. Hoekstra, “A Legal Case OWL Ontology with an Instantiation of Popov v. Hayashi,” The Knowledge Engineering Review , vol. 14, no. 2, pp. 1–24, 2010. [14] A. Wyner, R. M. Palau, M. F. Moens, and D. Milward, “Approaches to Text Mining Arguments from Legal Cases”, in Lecture Notes in Computer Science LNCS, vol. 6036, pp. 60–79, 2010. https://doi.org/10

Open access